El cálculo relacional de tuplas (Tuple Relational Calculus, TRC) es un lenguaje declarativo.
El usuario indica qué quiere obtener, no cómo debe obtenerse.
Ejemplo conceptual:
«Quiero todas las tuplas de empleados cuyo salario sea mayor de 3.000 €.»
No especifica el algoritmo para obtenerlas.
Álgebra relacional
- ✅ Procedimental.
- Indica cómo obtener el resultado.
- Operadores:
- selección (σ),
- proyección (π),
- unión,
- diferencia,
- producto cartesiano,
- join.
Cálculo relacional
- ✅ Declarativo.
- Indica qué resultado quiere obtener.
- Basado en lógica de predicados.
Puede presentarse como:
- cálculo relacional de tuplas;
- cálculo relacional de dominios.
SQL
- Principalmente declarativo.
- Está basado en el cálculo relacional, aunque incorpora algunos aspectos procedimentales en extensiones como PL/SQL o T-SQL.
Truco para recordar
| Concepto | Tipo |
|---|---|
| Álgebra relacional | Procedimental («cómo») |
| Cálculo relacional | Declarativo («qué») |
| SQL | Declarativo (basado en el cálculo relacional) |
💡 Regla mnemotécnica:
- Álgebra = Algoritmo = Cómo.
- Cálculo = Consulta = Qué.