CALCULO RELACIONAL DE DOMINIOS (557849)

Es posible que se puedan escribir
expresiones que puedan generar
relaciones infinitas.
Utiliza variables de dominio que
toman sus valores del dominio se
un atributo , en ves de tomarlos de
una tupla completa.
no son seguras, por que permiten valores
del resultado que no están en el dominio
de la expresión
Las expresiones como :
En el calculo relacional de tuplas se
restringió cualquier variable cuantificada
existencialmente a variar sobre una
relación concreta.
SEGURIDAD DE LAS
EXPRESIONES
El propósito de la reglas adicionales es
asegurar que se puedan probar las
subformas para todo y existe sin tener
que probar infinitas posibilidades.
Se halla estrechamente relacionado son
el calculo relacional de tuplas.
Son de la forma
CALCULO
RELACIONAL DE
DOMINIOS
Donde x1, x2, ....xn representan las
variables de dominio, P representa una
formula compuesta de átomos, como era
el caso en el calculo relacional de tuplas.
DEFINICIÓN FORMAL
CONSULTAS DE EJEMPLO
Los átomos del calculo relacional de
dominios tienen una de las siguientes
formas:
- -