Complejo Deportivo Andres Eloy Banco

CI-3315: Sistemas de Bases de Datos I Material de Apoyo I: Un Lenguaje Lógico para Restricciones Explícitas

Un Lenguaje Lógico para especificar Restricciones Explícitas en el Modelo Entidad-Interrelación y sus Extensiones
El lenguaje de la lógica de primer puede ser tomado como base para la definición de un lenguaje particular adecuado para expresar, sin ambigüedades, las diferentesrestricciones explícitas que permiten describir aquellos aspectos de un mini-mundo particular que no pueden representarse a través de las estructuras y restricciones implícitas del modelo entidad-interrelación y de las extensiones estudiadas en el curso. El basamento del lenguaje lógico propuesto busca extender la lógica de primer orden con: • Operadores que permitan la manipulación directa de conjuntos ysus elementos, ya que el modelo entidad-interrelación se basa en la teoría de conjuntos. • Cuantificadores que permitan expresar, de una forma concisa, la existencia de un número específico de elementos en el universo específico de elementos que se están estudiando. Para un esquema E desarrollado utilizando el modelo entidad-interrelación y sus extensiones se tendrá un lenguaje específico queutilizará los siguientes elementos de lógica de primer orden: • Cualquier símbolo alfabético (letra) con o sin subíndices constituirá una variable. En este lenguaje, las variables serán utilizadas para indicar los elementos de un conjunto que, para el caso del modelo entidad-interrelación estudiado, podrá indicar una entidad, una interrelación, o un valor de un atributo multivaluado (cuyarepresentación formal en el modelo será un conjunto de valores) . En ningún momento, podrá utilizarse como variable un símbolo alfabético que corresponda al nombre de un conjunto de entidades, un conjunto de interrelaciones, el nombre de un atributo, o el nombre de un rol. • Las constantes permitidas en el lenguaje de especificación de restricciones explícitas de un esquema entidad-interrelación E serán lassiguientes: o Las constantes numéricas y cadenas de caracteres, cuya finalidad será representar valores específicos de un atributo simple. o Los conjuntos de constantes numéricas y cadenas de caracteres, cuya finalidad será representar valores específicos de un atributo multivaluado. o Las tuplas de cualquier aridad, con elementos en el dominio de constantes numéricas (naturales, enteros, racionalese irracionales y reales) y secuencias de caracteres, para representar valores de un atributo compuesto. o Constantes particulares de interés que representan los nombres de los conjuntos de entidades y conjuntos de interrelaciones definidos en el esquema. o Constantes particulares de interés que representan los nombres asignados a los roles que califican la participación de un conjunto deentidades en un conjunto de interrelaciones. o Constantes de interés que representan los nombres de los atributos definidos para un conjunto de entidad o un conjunto de interrelaciones. o La constante IS_A será utilizada para representar explícitamente las diferentes interrelaciones que pueden establecerse entre las subclases y superclases en un esquema desarrollado utilizando las extensiones del modelo entidad-interrelación estudiadas. Las estructuras en las que podrá utilizarse la constante IS_A serán las interrelaciones subclase/superclase, las generalizaciones, las especializaciones y las categorizaciones. o En lo que respecta a las constantes permitidas, es importante hacer la siguiente salvedad: Aún cuando la definición matemática del modelo entidad-interrelación establece que los valoresde un

AI-1

CI-3315: Sistemas de Bases de Datos I Material de Apoyo I: Un Lenguaje Lógico para Restricciones Explícitas atributo serán considerados como elementos en el conjunto de partes del dominio de valores, se relajará la notación de valores de la siguiente forma: § Si {v } es el valor de interés para un atributo simple en una restricción explícita, se utilizará sólo v para indicar...