Este documento explica el Cálculo Relacional, un lenguaje formal para consultar bases de datos. Explica conceptos como tuplas, predicados, cuantificadores existenciales y universales, y cómo se pueden usar para expresar consultas equivalentes a las operaciones del Álgebra Relacional como proyección, selección, unión e intersección. También muestra ejemplos de consultas sobre relaciones de estudiantes y profesores.