3.5 Cálculo Relacional de Dominios

Cálculo Relacional de Dominios

Es un lenguaje de consulta formal que permite expresar las consultas a partir de fórmulas
bien formadas, donde cada variable se interpreta como variante sobre el dominio del
atributo de una relación. Al igual que el anterior, éste se deduce del cálculo de predicados,
pero en este caso:
1. las variables están asociadas a los dominios de los atributos y se denota como  relación (atributo1: variable1, atributo2: variable2, ... ). Ejm: ModeloCarro(modelo: m, marca: c).
2. los predicados utilizados se construyen igual que para el cálculo relacional de tuplas.