Escolar Documentos
Profissional Documentos
Cultura Documentos
{T φ(T )}
donde T es una variable tipo tupla y φ(T )
es una fórmula que describe a T. El
resultado de esta consulta, son todas las
tuplas t para las cuales la fórmula es
verdadera.
Cálculo Relacional basado en
Dominios (DRC)
Está constituido con los mismos operadores que el calculo relacional
de tuplas pero no hay tuplas sino variables dominio. Las
expresiones del cálculo relacional de dominios son de la forma { (x,
y, z, ...) / P(x, y, z, ...) }. Donde x, y, z representan las variables de
dominio, P representa una fórmula compuesta de átomos (igual que
en el CRT). Los átomos del cálculo relacional de dominios tienen
una de las siguientes formas:
1. (x, y, z ) r, donde r es una relación con n atributos y x , y, z
.son variables de dominio o constantes.
2. x y, donde x e y son variables de dominio y es un operador
de comparación aritmética (>, <, =, ). Es necesario que los
atributos x e y, tengan dominios cuyos miembros puedan
compararse mediante .
3. x c, donde x es una variable de dominio, es un operador de
comparación y c es una constante en el dominio del atributo x