3.4 Cálculo Relacional de Tuplas

Tuplas

Una tupla se define como una función finita que asocia unívocamente los nombres de los atributos de una relación con los valores de una instanciación de la misma. En términos simplistas, es una fila de una tabla relacional.

Cálculo relacional basado en tuplas. 

Está basado en el cálculo de predicados utilizando variables-tupla que representan tuplas, esto obliga a introducir algunos cambios en las definiciones comentadas anteriormente, y que pasamos a exponer.

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 es el conjunto de todas las tuplas t para las cuales la fórmula es verdadera.

Variable de tipo tupla

Una variable tipo tupla T es una variable capaz de tomar cualquier valor tupla que pertenece a una relación (o tabla).

Sintaxis de consulta en TRC

La sintaxis es definida a partir de la lógica de primer orden. Donde la variable a utilizar son de tipo tupla. Una variable es libre en una fórmula (o subfórmula) si la (sub) fórmula no contiene ninguna ocurrencia de cuantificadores que la limiten. En una consulta en TRC de la forma: {T | φ(T )}, T es la única variable libre.