Una aproximación formal al modelo relacional básico mediante el lenguaje de especificación Z

• Autores: Amador Durán Toro , José Miguel Toro Bonilla , Carlos Arévalo Maldonado
• Localización: Actas de las Primeras Jornadas de Investigación y Docencia en Bases de Datos / coord. por Nieves R. Brisaboa , 1996, ISBN 84-88301-46-4, págs. 230-241
• Idioma: español
• Texto completo no disponible (Saber más ...)
• Resumen

  • 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.