En este artículo, se dará la definición formal a través del Lenguaje de la Lógica de Primer Orden y conceptos de la Teoría de Conjuntos, de algunas de la abstracciones del Modelo Entidad Relación Extendido + df. El modelo E-R-E +df es una extensión al modelo Entidad Relación [3, 6] en el cual se consideran además de los conjuntos entidad y relación, las abstracciones de Clasificación y Tipificación de cualquiera de estos conjuntos de objetos. [5] Esta definición consta de un grupo de axiomas que definen la semántica de las abstracciones que ofrece el modelo y, un grupo de restricciones mediante las cuales se expresan las condiciones que se deben cumplir cada vez que una abstracción es usada. Dado que en esta especificación de define el Modelo E-R-E +df en función del Modelo E-R + df + RI, al utilizar el algoritmo de traducción [9] se pueden obtener traducciones de esquemas E-R-E + df a Relacional + RI que preservan toda la semántica.
© 2001-2024 Fundación Dialnet · Todos los derechos reservados