Estatica+de+modelo+entidad+relacion

=TEMA 6=

=2. Estática del modelo E/R= = = Se distinguen los siguientes elementos estructurales para configurar la estática del modelo en dos categorías: Dominio conceptual superior:  Entidad (entity)  Interrelación (relationship) Dominio conceptual inferior: Dominio (domain) Atributo (atribute). =2.1 Diagramas entidad/relación (ERD)=

Chen introduce una notación gráfica para especificar los conceptos y reglas del modelo. La notación por él introducida cobra identidad propia en un tipo singular de grafo denominado diagrama entidad relación (Entity relationship diagram o ERD). A continuación se exponen los distintos conceptos del modelo y la notación gráfica dentro de los diagramas entidad relación. =2.2 Entidad (Entity)= Puede considerarse “entidad”: “Cualquier objeto (real o abstracto)” o bien “una persona, lugar, cosa, concepto o suceso”. Teniendo en cuenta la abstracción de clasificación, puede distinguirse entre entidad (entity) y entidad tipo (entity type):

Una entidad es distinguible o inconfundible con otra (p.ej., el alumno Pedro es distinto de la alumna Juana). Una entidad queda caracterizada o descrita por un conjunto de propiedades o atributos. La estructura genérica que describe un conjunto de entidades aplicando la abstracción de clasificación se denomina entidad tipo (entity type) (p.ej.: la entidad tipo alumno es una abstracción de generalización del conjunto de entidades de alumnos: {Pedro, Juana, ....}, siendo Pedro, Juana especializaciones o instancias de alumno). Una entidad pertenece a un tipo de entidad si cumple el predicado que caracteriza a ese tipo de entidad. Matemáticamente, un conjunto de ejemplares de un tipo de entidad se define como: { e : p(e) } siendo e un ejemplar del tipo de entidad E y p el predicado asociado a E. Ejemplo: el tipo de entidad PROFESOR, cuyo predicado asociado es “Persona que ejerce o enseña una materia o arte” tiene un ejemplar “Sánchez” que pertenece a el, ya que cumple dicho predicado. Las entidades tipo se representan en el ERD por un rectángulo con el nombre (sustantivo común en singular). Existen dos categorías de entidades tipo: Regular o fuerte (Regular). Las instancias de este tipo tienen existencia por sí mismas en el universo de discurso independientemente de cualquier otra entidad o entidad tipo (como LIBRO y AUTOR). Débil (Weak). Las instancias de esta entidad tipo dependen de una entidad existente en el universo; a su vez, al desaparecer esta entidad superior, desaparecerán todas las entidades débiles vinculadas a la misma. EJEMPLAR depende de LIBRO, y por tanto no podrá existir un ejemplar si no definimos el vínculo con el libro a que pertenece; la desaparición de un determinado libro implica la desaparición de todos los ejemplares de dicho libro. Uno de los problemas fundamentales del diseñador ERM es la decisión de si un determinado objeto o concepto se modela como un tipo de entidad o no. Por Ej., el color es habitualmente una propiedad de una entidad (como es el caso del color de un coche), pero en una fábrica de pinturas probablemente sería apropiado modelar el color como una entidad con sus propiedades características. Profesor Autor Libro Libro Ejemplar Algunos autores han intentado precisar el concepto de entidad. Tardieu propone tres reglas generales que debe cumplir una entidad: Tiene que tener existencia en el universo Cada instancia de un tipo de entidad debe poder distinguirse de las demás. Todos los ejemplares de un tipo de entidad deben tener las mismas propiedades características. =Interrelación (Relationship)= Una interrelación es una vinculación o correspondencia entre entidades. Igual que en el caso de las entidades, distinguiremos entre tipo de interrelación o estructura genérica que describe un conjunto de interrelaciones y cada interrelación, es decir, cada uno de las instancias o vínculos concretos entre entidades o instancias de entidades tipo. Matemáticamente, el conjunto de interrelaciones de un tipo de interrelación se define como: {} donde ei es un ejemplar del tipo de entidad Ei y n el grado del tipo de interrelación, es decir, el número de tipos de entidades participantes (que están asociados en el tipo de interrelación). Ejemplo: POSEE es un tipo de interrelación que vincula los tipos de entidad CLIENTE y CUENTA; una instancia del tipo de interrelación POSEE es la vinculación entre el cliente “Juan Fernández” y la cuenta “111 que tiene un saldo de 12.000Pts”.

Las interrelaciones se representan en el ERD con un rombo y el nombre (verbo en singular) de la misma.

=2.3.1 Cardinalidad.= Define el tipo de correspondencia o número de ocurrencias de una entidad que se interrelacionan con otra entidad. Puede ser: 1:1, 1:N, N:M, 0:M, 0:1, etc. =2.3.2 Rol= Es el papel o función que desempeña una tipo de entidad en una interrelación tipo. Los roles suelen ser implícitos (no siempre se especifican en el ERD), pero pueden ser útil distinguirlos si se necesita aclarar el significado de una interrelación. Un caso típico en que se necesita precisar el rol de cada tipo de entidad participante es cuando existe una interrelación reflexiva (un tipo de entidad asociado consigo mismo); Ejemplo: el tipo de interrelación forma_pareja, en el cual participan (opcionalmente) dos instancias el tipo de entidad persona; cada elemento del conjunto de interrelaciones forma_pareja es del tipo p{p1, p2} siendo pi instancias de tipo persona. Cada persona, si está casada, tendrá un rol pi (en este caso esposo-1 o esposo-2 o convencionalmente marido y/o mujer). Autor Libro Escribe esposo-1 0:1 esposo-2 0:1 forma pareja Persona

Debe distinguirse entre grado de la interrelación (en este caso 1:1 que indica el máximo de ocurrencias o instancias que pueden entrar en correspondencia) y cardinalidad del rol (0:1 en ambos casos). El cardinalidad del rol se define mediante el rango (min:MAX), entendiéndose el mínimo de instancias de ese rol y el máximo. Ejemplo: si una persona está soltera tendrá la cardinalidad mínima (0) y si está casada (forma pareja) tendrá la cardinalidad máxima (1). Es mucho más preciso incluir en un ERD la cardinalidad del rol que la de la interrelación, pues esta se deriva de la combinación de cardinalidades máximas de los roles de entidades participantes. Una especificación de sólo la cardinalidad de la interrelación no precisará la contribución de cada entidad tipo en dicha interrelación.

=2.3.3 Grado= Es el número de tipos de entidades tipo participantes en una interrelación. Pueden ser binarias (grado 2), reflexivas (grado 1), ternarias (grado 3) o n-arias (grado n). Conforme aumenta el grado, disminuye la frecuencia de aparición en los distintos universos (es decir, cuanto mayor es el grado menos frecuente es encontrarse un buen modelo con este tipo de interrelaciones). Autor Esposo-1 0:1 Esposo-2 forma pareja 0:N Persona Tema 0:M Escribe Ternaria (3-aria) Escribe Edita 0:1 0:P Institución Recursiva Entre dos entidades tipo pueden existir diversas interrelaciones tipo. 0:N 1:N Persona Libro 1:N 0:N =2.4 Dominios y valores= Las distintas propiedades o características de un tipo de entidad o de interrelación toman valores para cada ocurrencia de éstas. Un dominio se define como un conjunto de valores homogéneos con un nombre que lo identifica. Una cierta característica o propiedad de un objeto toma valores que pertenecen a un determinado dominio. Un dominio lleva siempre asociado un predicado que permite comprobar si un determinado valor pertenece al dominio: D={vi :p(vi)} donde D es el dominio, vi es un valor y p es el predicado asociado a dicho dominio. Un dominio puede definirse por intensión, especificando el tipo de datos (por ejemplo, carácter 30 para el Nombre); o por extensión, enumerando los valores que pertenecen al dominio (por ejemplo, los días de la semana). =2.5 Propiedades o atributos= Cada una de las propiedades o características que describen a un tipo de entidad o un tipo de interrelación. Los atributos toman valores de uno o varios dominios (atributos compuestos). Por tanto, podemos decir que el atributo le da una determinada interpretación al dominio (o dominios) en el contexto de un tipo de entidad o de un tipo de interrelación. Matemáticamente, un atributo consiste en una función que aplica un tipo de entidad o de interrelación sobre todos los posibles subconjuntos de los valores de un dominio (o de un conjunto de dominios): A: E →S(D) ó A: E →S(D1) x S(D2) x ... x S(Dn) A: I →S(D) ó A: I →S(D1) x S(D2) x ... x S(Dn) donde A es el atributo, S(Di) todos los posibles subconjuntos de los valores de los dominios, E el tipo de entidad e I el tipo de interrelación. A diferencia de los dominios que existen por sí mismos, la existencia de un atributo está ligada a la del correspondiente tipo de entidad. Fecha Dni Nombre ISBN Titulo 0:N 0:N Persona Libro Pide prestado =2.6 Propiedades identificadoras= Entre todos los atributos de un tipo de entidad existen siempre (pues una entidad siempre puede distinguirse de las demás) uno o varios (simples y/o compuestos) que identifiquen unívocamente cada una de las instancias de ese tipo de entidad. Al conjunto de atributos que permiten identificar y/o distinguir una entidad de otra se le denomina identificador primario (IP). Una entidad puede tener otros conjuntos que permiten, adicionalmente, identificar a las entidades; a estos se les denomina identificadores alternativos (IA).