El cálculo relacional es un lenguaje de consulta declarativo para bases de datos relacionales basado en el cálculo de predicados de primer orden. Permite describir la información deseada sin especificar cómo obtenerla a diferencia del álgebra relacional que es procedural. Existe en dos variantes, orientado a tuplas y orientado a dominios.