En este tema se presenta el modelo relacional, que es el modelo lógico en el que se basan la mayoría de los sistemas de gestión de bases de datos comerciales en uso hoy en día. En primer lugar, se trata la descripción de los principios básicos del modelo relacional: la estructura de datos relacional y las reglas de integridad. La relación es la estructura de datos del modelo relacional. Las relaciones se representan gráficamente como tablas, donde las filas corresponden a las tuplas y las columnas corresponden a los atributos, que se definen sobre dominios. También se describen los conceptos de clave primaria y clave ajena. Toda relación tiene una clave primaria, que es un atributo o un conjunto de atributos que se escogen para identificar las tuplas de la relación. La regla de integridad de entidades es una restricción que dice que ninguno de los atributos que forman la clave primaria puede ser nulo. Una clave ajena es un atributo o un conjunto de atributos que hacen referencia a la clave primaria de otra relación. La regla de integridad referencial dice que los valores de las claves ajenas deben coincidir con alguno de los valores de la clave primaria a la que hacen referencia, o bien ser completamente nulos.
A continuación, se presentan los lenguajes relacionales de manejo de datos. Estos lenguajes pueden clasificarse como procedurales, no procedurales, orientados a transformaciones, gráficos, de cuarta generación o de quinta generación. El álgebra relacional es un lenguaje procedural formal. Sus operaciones básicas son: restricción, proyección, producto cartesiano, unión, intersección, diferencia, división y varios tipos de concatenación (join). El cálculo relacional es un lenguaje no procedural formal que utiliza predicados. El álgebra relacional y el cálculo relacional son lenguajes equivalentes. El uso de estos lenguajes se practica resolviendo consultas de datos propuestas en un boletín de ejercicios
Por último se estudian las vistas. Una vista es una relación virtual. Las vistas proporcionan seguridad y permiten que el diseñador haga esquemas a medida de cada usuario. Además, se generan dinámicamente y no todas son actualizables.