[Enciclopedia Online Gratuita] Diccionario de Internet y Tecnologías de la Información y la Comunicación (TIC):
ıllı Cálculo relacional basado en tuplas wiki: info, historia y vídeos
La información contenida en esta web debe ser considerada como información general, de carácter formativo, educativo o divulgativo, y no puede ser utilizada o interpretada como consejo o diagnótico médico, psicológico o de ningún otro tipo. Es posible que algunos datos mostrados no esten actualizados. Por ello, en caso de duda lo recomentable es consultar a un experto cualificado.
- Detalles
- Categoría: INTERNET
Cálculo relacional basado en tuplas
Debido a que es un lenguaje de consulta para bases de datos relacionales, primero se debe acotar una base de datos relacional. El bloque de construcción relacional básico es el dominio o bien género de datos. Una tupla o bien registro es un multiconjunto de atributos, los que son pares ordenados de dominio y valor, o bien solo una fila. Una relación es un conjunto de tuplas. Una tabla es una representación visual admitida de una relación. Se acepta la existencia de un conjunto C de columnas, por poner un ejemplo, "nombre", "autor" o bien "dirección"; y de cabeceras como subconjuntos finitos de C. Un esquema de bases de datos relacional es definido como una tupla S = (D, R, h), donde: Dado un dominio D se define una tupla sobre D como una función parcial que mapea ciertos nombres de columna a un valor atómico en D; por servirnos de un ejemplo, name: "Harry", age : veinticinco. El conjunto de todas y cada una de las tuplas sobre D se indica como TD. El subconjunto de C para el que se define una tupla t se conoce como el dominio de t (que no debe confundirse con el dominio en el esquema) y es escrito como dom(t). Entonces se puede acotar una base de datos relacional dado un esquema S = (D, R, h) como una función: que mapea los nombres de relación en R a subconjuntos finitos de TD, semejantes que por cada nombre de relación r en R y tupla t en db(r) se cumple que: Es decir, que todas y cada una de las tuplas de una relación deben contener exactamente los mismos nombres de columna que se definen para el esquema. Para la construcción de las fórmulas se acepta un conjunto infinito V de variables de tupla. Las fórmulas se definen dado un esquema de bases de datos S = (D, R, h) y una función parcial tipo : V -> 2C que define una asignación de tipo que asigna cabeceras a ciertas variables de tupla. Entonces se definen el conjunto de fórmulas atómicasAcon las próximas reglas: Ejemplos de átomos son: La semántica formal de aquellos átomos es definida dada una base de datos db sobre S y una variable de tupla val : V -> TD que mapea las variables de tupla a tuplas sobre el dominio en S: Los átomos pueden ser combinados en fórmulas, como es común en la lógica de primera importancia, con los operadores lógicos ? (and o bien y), ? (or o bien o bien) y ¬ (not o bien no), y puede utilizarse el cuantificador existencial (?) y el cuantificador universal (?) para enlazar o bien unir las variables. Se define el conjunto de fórmulas Fpor inducción con las próximas reglas: Ejemplos de fórmulas son: Asumimos que los cuantificadores se aplican sobre el cosmos de todas y cada una de las tuplas sobre el dominio en el esquema. Esto conduce a la formulación de las próximas semánticas para fórmulas dada una base de datos db sobreS y una variable de tupla val: V -> TD: Dado un esquema S = (D, R, h), se expresa una consulta como: Donde v es una variable de tupla, H es una cabecera y f(v) una fórmula en Fdonde tipo = y con v como su única variable libre. El resultado de una consulta como estas para una base de datos db sobre S es el conjunto de todas y cada una de las tuplas t sobre D con dom(t) = H semejantes que f es auténtico para db y val = . Ejemplos de consultas son: Debido a que la semántica de los cuantificadores es tal que cuantifican sobre todas y cada una de las tuplas en el dominio del esquema, puede que una consulta retorne un resultado diferente para una base de datos concreta si se alardea otro esquema. Por servirnos de un ejemplo, considerando los 2 esquemas S1 = ( D1, R, h ) y S2 = ( D2, R, h ) con dominios D1 = , D2 = , nombres de relación R = y cabeceras h = . Los dos esquemas tienen una instancia común: Si consideramos la próxima consulta: Entonces su resultado en db o bien es bajo S1 o bajo S2. Es claro asimismo que si tomamos el dominio como un conjunto infinito, entonces el resultado de la consulta va a ser infinito. Para solucionar esos inconvenientes se consideran las consultas independiente del dominio, aquellas que regresan exactamente el mismo resultado para una base de datos bajo sus esquemas. Con el fin de limitar las consultas de forma que expresen solamente consultas independiente del dominio, una noción sintáctica de consulta segura es introducida. Para determinar si una consulta es segura is safe se derivan 2 géneros de información de una consulta. La primera es si un par columna-variablet.a está delimitado a la columna de una relación o bien una incesante, y la segunda es si hay 2 pares columna-variable que son directa o bien de manera indirecta equivalentes (indicado t.v == s.w). Por derivar el acotamiento se introducen las próximas reglas: Por derivar la equivalencia se introducen las próximas reglas: Entonces diríase que una consulta f(v) es segura si:Base de datos relacional
db : R ? 2TD Consultas independiente del dominio
Consultas seguras