El documento describe el cálculo relacional, un lenguaje de consulta basado en el cálculo de predicados de primer orden que describe los resultados deseados de una base de datos sin especificar cómo obtenerlos. Usa variables de dominio y de tupla para representar valores en las relaciones. Existen dos tipos principales de cálculo relacional: orientado a dominios y orientado a tuplas. Se proveen ejemplos de consultas.