Resumen de Una aproximación formal al modelo relacional básico mediante el lenguaje de especificación Z
Amador Durán Toro 
, José Miguel Toro Bonilla , Carlos Arévalo Maldonado
La primera definición del modelo relacional hecha por Codd en 1970 ha sido modificada y ampliada por diversos autores a lo largo del tiempo para que su semántica coincidiera con la semántica asociada a una relación en el sentido relacional. Ello ha conducido a una dualidad entre relación en sentido matemático y relación en sentido relacional que no es deseable desde nuestro punto de vista. Para intentar solucionar este problema, en este artículo se propone una especificación formal de las estructuras y operadores básicos del álgebra relacional del modelo relacional básico. Para realizar la especificación se utiliza el lengujaje formal Z, con las mismas bases teóricas que el modelo relacional: lógica de primer orden y teoría de conjuntos. Entre los beneficios esperados de esta especificación formal está la construcción mediante técnicas de animación de especificaciones de un intérprete de álgebra relacional experimental.
