El documento habla sobre el cálculo relacional, un lenguaje de consulta declarativo para bases de datos relacionales. Explica que el cálculo relacional describe la respuesta deseada sobre una base de datos sin especificar cómo obtenerla, a diferencia del álgebra relacional que es procedural. También define conceptos como variables de tupla, sintaxis de consulta basada en lógica de primer orden, y cálculo relacional basado en dominios.