Cálculo relacional

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 procedimental, el cálculo relacional es de tipo declarativo; pero siempre ambos métodos

logran los mismos resultados.

Relación con la lógica de primer orden

Podemos definir una fórmula con base a combinaciones de fórmulas atómicas.

Una fórmula atómica es una combinación de variables (tipo tupla o tipo dominio, según

corresponda) y atributos o constantes, gracias al uso de operadores como <, >, =, !=, <=,

>=.

También es una fórmula atómica variable ∈ Relación.

Las combinaciones de fórmulas atómicas se generan a partir del uso de operadores como

NOT (¬), AND (∧), OR (∨), →.

Los cuantificadores ∃, ∀ limitan una variable.