Cálculo relacional

El cálculo relacional consta de dos cálculos, el cálculo relacional de tuplas y el cálculo relacional de dominios, que forma parte del modelo relacional para bases de datos y proporciona una forma declarativa de especificar consultas de bases de datos. La razón de ser del cálculo relacional es la formalización de la optimización de consultas, que consiste en encontrar formas más eficientes de ejecutar la misma consulta en una base de datos.

El cálculo relacional es similar al álgebra relacional, que también forma parte del modelo relacional: mientras que el cálculo relacional se entiende como un lenguaje declarativo que no prescribe ningún orden de ejecución en las subexpresiones de una expresión de cálculo relacional, el álgebra relacional es se entiende como un lenguaje imperativo: las subexpresiones de una expresión algebraica relacional están destinadas a ejecutarse de izquierda a derecha y de adentro hacia afuera después de su anidamiento.

Según el teorema de Codd, el álgebra relacional y el cálculo relacional independiente del dominio son lógicamente equivalentes.

Ejemplo

Una expresión de álgebra relacional podría prescribir los siguientes pasos para recuperar los números de teléfono y los nombres de las librerías que ofrecen Algunos libros de muestra:

1. Únase a librerías y títulos sobre la librería.
2. Restrict the result of that join to tuples for the book Algunos libros de muestras.
3. Proyecte el resultado de esa restricción sobre StoreName y StorePhone.

Una expresión de cálculo relacional formularía esta consulta de la siguiente manera descriptiva o declarativa:

Obtener StoreName y Store Teléfono para librerías tales que existe un título BK con el mismo valor BookstoreID y con un valor BookTitle Algunos libros de muestras.

Propiedades matemáticas

El álgebra relacional y el cálculo relacional independiente del dominio son lógicamente equivalentes: para cualquier expresión algebraica, hay una expresión equivalente en el cálculo, y viceversa. Este resultado se conoce como teorema de Codd.

Propósito

La razón de ser del cálculo relacional es la formalización de la optimización de consultas. La optimización de consultas consiste en determinar a partir de una consulta la forma (o formas) más eficientes de ejecutarla. La optimización de consultas se puede formalizar como la traducción de una expresión de cálculo relacional que entrega una respuesta A en expresiones algebraicas relacionales eficientes que entregan la misma respuesta A.