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: - -