El cálculo relacional es un lenguaje de consulta que describe la respuesta deseada sobre una base de datos sin especificar cómo 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.
Una variable tipo tupla T es una variable capaz de tomar cualquier valor tupla que pertenece a una relación (o tabla).
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.
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).