El modelo relacional es un modelo de datos basado en la lógica de predicados y la teoría de conjuntos que es el más utilizado actualmente para modelar problemas reales y administrar datos dinámicamente. Relaciona elementos mediante categorías para analizarlos posteriormente. Algunas características clave son que respeta la independencia entre los niveles conceptual y físico y garantiza la independencia entre el nivel conceptual y el entorno físico.