Notas de referencia de Martha Elena Millán sobre la teoría formal de las bases de datos: los principios para definir y manipular datos estructurados e interrelacionados. Presenta los modelos de datos y los sistemas de gestión, y desarrolla el modelo relacional con rigor —definición, notación, enfoques nombrado y no nombrado, convencional y basado en programación lógica—. La segunda parte trata los lenguajes de consulta: qué es una consulta, los paradigmas existentes, el cálculo relacional y la estimación del tamaño de los resultados de una combinación.