Resumen de Aproximación formal a las restricciones de cardinalidad en un marco metodológico de desarrollo de bases de datos relacionales

Dolores Cuadra Fernández

• Las metodologías de desarrollo de bases de datos constan de tres fases principales: conceptual, lógica y física. Cada una de las fases se realiza a través de la aplicación de un modelo de datos. La proliferación de modelos de datos conceptuales, en la primera de las fases, y sobre todo las distintas características que cada uno ofrece, contribuyen a la confusión en su manejo y por ende a que los esquemas construidos en esta fase no reflejen todas las características del sistema a modelar.

  Esta tesis realiza un tratamiento formal de los elementos más problemáticos.

  Para ello define el constructor interrelación y se describen las restricciones de cardinalidad asociadas y la semántica que reflejan. Para facilitar la comprensión de estas restricciones, difíciles de entender y aplicar, presentamos sus definiciones a partir de la definición formal de interrelación y un conjunto de reglas para su validación. Para la segunda fase de la metodología, utilizamos el modelo relacional y se realizará un estudio exhaustivo de la repercusión de estas cardinalidades en las estructuras lógicas provenientes de la transformación de esquemas conceptuales en lógicos. Este estudio se basará principalmente en las interrelaciones binarias y ternarias y se definirán mecanismos de control para conservar la semántica de las restricciones de cadinalidades definidas en la fase anterior.