Base de Datos

CÁLCULO RELACIONAL

DEFINICIÓN:

· Lenguaje basado en el cálculo de predicados de primer orden.
· No procedimental, se expresa qué se quiere obtener y no cómo.
· Relación: predicado Seleccionar aquellas tuplas cuyo predicado es verdadero.
Predicado permite operaciones {=, <>, <=, >=} entre una variable y una constante o entre dos variables.

TIPOS DE CÁLCULO RELACIONAL:

Cálculo relacional orientado a tuplas:

· Se procesan tuplas de una o más relaciones.
· SQL orientado a la tupla utilizando nombres de relación y etiquetas como variables de tupla.
· 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 orientado a los dominios:

· Variables de tupla se reemplazan por variables de dominio.
· Se procesan dominios que alcanzan una o más relaciones.
· 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 q y, donde x e y son variables de dominio y q es un operador de comparación aritmética (>, <, =, ¹). Es necesario que los atributos x e y, tengan dominios cuyos miembros puedan compararse mediante q.

3. x q c, donde x es una variable de dominio, q es un operador de comparación y c es una constante en el dominio del atributo x.