DEFINICIÓN
Una base de datos relacional es una base de datos en donde todos los datos visibles al usuario están organizados estrictamente como tablas de valores, y en donde todas las operaciones de la base de datos operan sobre estas tablas.
Estas bases de datos son percibidas por los usuarios como una colección de relaciones normalizadas de diversos grados que varían con el tiempo.
El modelo relacional representa un sistema de bases de datos en un nivel de
abstracción un tanto alejado de los detalles de la máquina subyacente, de la
misma manera como, por ejemplo, un lenguaje del tipo de PL/1 representa un
sistema de programación con un nivel de abstracción un tanto alejado de los
detalles de la máquina subyacente. De hecho, el modelo relacional puede
considerarse como un lenguaje de programación mas bien abstracto, orientado de
manera específica hacia las aplicaciones de bases de datos.
En términos tradicionales una relación se asemeja a un archivo, una tulpa a
un registro, y un atributo a un campo. Pero estas correspondencias son
aproximadas, en el mejor de los casos. Una relación no debe considerarse como
``solo un archivo'', sino mas bien como un archivo disciplinado, siendo el
resultado de esta disciplina una simplificación considerable de las estructuras
de datos con las cuales debe interactuar el usuario, lo cual a su vez simplifica
los operadores requeridos para manejar esas estructuras.