Calculo Racional

El Cálculo relacional es un lenguaje de consulta que describe la respuesta deseada sobre una Base de datos sin especificar como obtenerla, a diferencia del Álgebra relacional que es de tipo procedural, el cálculo relacional es de tipo declarativo; pero siempre ambos métodos logran los mismos resultados

Clases de Cálculo Relacional

Cálculo Relacional basado en Tuplas. (TRC)
Cálculo Relacional basado en Dominios (DRC)

Cálculo Relacional basado en Tuplas. (TRC)
Una consulta en TRC es de la forma:

{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