Tema2 Entidad-Relacion

Tema 2
Modelo Entidad/Interrelacin
Objetivos
Conocer el Modelo Entidad/Interrelacin (ME/R), que es el Modelo de Datos Conceptual ms utilizado desde hace bastante aos debido a su sencillez y amigabilidad. Abordar en detalle la esttica del ME/R bsico y del ME/R extendido. Presentar brevemente los aspectos dinmicos del modelo.
Referencias
Bibliografa:
[de Miguel et al, 1999]
cap. 2 De Miguel, A.; Piattini, M.; Marcos, E.; Diseo de Bases de Datos Relacionales. RaMa, 1999.
[de Miguel y Piattini, 1999]

cap. 4 De Miguel, A.; Piattini, M.; Fundamentos y Modelos de Bases de Datos (2 edicin). Ra-Ma, 1999.
ndice
1. 2. Presentacin del modelo. Esttica.
2.1 2.2 2.3 2.4 Entidades. Interrelaciones. Dominios y valores. Atributos. Identificadores. Cardinalidades de atributos. Cardinalidades. Dependencias en existencia y en identificacin.
3.
Restricciones.
3.1 3.2
4.
Semntica de las interrelaciones.

4.1 4.2
5. 6. 7.
Control de redundancias. Interrelaciones n-arias. Extensiones del modelo bsico.

7.1 7.2 7.3 Otras restricciones sobre interrelaciones. Generalizacin y herencia. Agregacin.
8.
La dimensin temporal.
5
1. Presentacin del Modelo
Entre los MD conceptuales, destaca el Modelo Entidad/Interrelacin (ME/R), propuesto por Chen en dos artculos ya histricos, en 1976 y 1977. Segn Chen, El ME/R puede ser usado como una base para una vista unificada de los datos, adoptando el enfoque ms natural del mundo real que consiste en entidades e interrelaciones. Posteriormente otros autores lo han ampliado con importantes aportaciones, formndose en realidad una familia de MDs. En este tema vamos a exponer tanto los conceptos del modelo E/R bsico, como las principales aportaciones (modelo E/R extendido). El ME/R ha tenido una gran difusin en la comunidad informtica dedicada a las bases de datos, prueba de ello es que ha sido el modelo ms extendido en las herramientas CASE de ayuda al diseo de bases de datos.
2. Esttica
En el ME/R, tal como fue propuesto por Chen, se distinguen los siguientes elementos para la componente esttica: Entidad (entity), Interrelacin (relationship), Dominio (domain), y Atributo (atribute).
2.1 Entidades
2. Esttica
Definiciones de Entidad:
Cualquier objeto (real o abstracto) que existe en la realidad y acerca del cual queremos almacenar informacin en la base de datos. Algo con realidad objetiva que existe o puede ser pensado; Hall (1976). Una persona, lugar, cosa, concepto o suceso, real o abstracto, de inters para la empresa.
Teniendo en cuenta la abstraccin de clasificacin, debemos distinguir entre:

El tipo de entidades o estructura genrica que describe un conjunto de entidades aplicando la abstraccin de clasificacin; y Las entidades o ejemplares de ese tipo de entidad; por tanto, el tipo de entidad es el resultado de la clasificacin de un conjunto de entidades.
2.1 Entidades
2. Esttica
En otra dimensin, tambin debemos distinguir entre

La extensin o conjunto de ejemplares de un tipo de entidad en un momento dado; y La intensin que es el tipo de entidad propiamente dicho. Chen le llam conjunto de entidades (entity set).
Una entidad pertenece a un tipo de entidad si cumple el predicado asociado a ese tipo de entidad.
Matemticamente, 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 ensea una materia o arte tiene un ejemplar Snchez que pertenece a el, ya que cumple dicho predicado.
9
2.1 Entidades
2. Esttica
DOCUMENTO
LIBRO AUTOR SOCIO
Representacin de tipos de entidades

10
2.1 Entidades
2. Esttica
Existen dos categoras de tipos de entidades:

Regulares o fuertes, que son aquellas cuyos ejemplares tienen existencia por s mismos (como LIBRO y AUTOR), y Dbiles, en las cuales la existencia de un ejemplar depende de que exista un cierto ejemplar de otro tipo de entidad:
por ejemplo, EJEMPLAR depende de LIBRO, y por tanto, la desaparicin de un determinado libro de la base de datos hace que desaparezcan tambin todos los ejemplares de dicho libro.
LIBRO
EJEMPLAR
11
2.1 Entidades
2. Esttica
Uno de los problemas que existirn en el diseo E/R es la decisin de si un determinado objeto o concepto se modela como un tipo de entidad o no.
Por ejemplo, el color es habitualmente una propiedad de una entidad (como es el caso del color de un coche), pero en una fbrica de pinturas probablemente sera apropiado modelar el color como una entidad con sus propias propiedades.
Por esta razn, algunos autores han intentado precisar el concepto de entidad. As, TARDIEU et al. (1979) propone tres reglas generales que debe cumplir una entidad:
tiene que tener existencia propia, cada ejemplar de un tipo de entidad debe poder distinguirse de las dems, y todos los ejemplares de un tipo de entidad deben tener las mismas propiedades.
Pero ...
La primera de estas reglas no es aplicable a las entidades dbiles. La segunda supone la obligacin de un identificador que permita distinguir los distintos ejemplares de un tipo de entidad, lo que tampoco es universalmente aceptado (ni por los autores, ni por los modelos, ni por los productos). Y La tercera es relativa: exactamente las mismas?, las mismas entre las que nos interesan?, ...
12
2.2 Interrelaciones
2. Esttica
Se entiende por interrelacin una asociacin, vinculacin o correspondencia entre entidades. Igual que en el caso de las entidades, distinguiremos entre
el tipo de interrelacin o estructura genrica que describe un conjunto de interrelaciones, y cada interrelacin, es decir, cada uno de los ejemplares concretos.
Matemticamente, el conjunto de interrelaciones de un tipo de interrelacin I se define como: { <e1, e2, ..., en > }
donde ei es un ejemplar del tipo de entidad Ei y n el grado del tipo de interrelacin, es decir, el nmero de tipos de entidades participantes (que estn asociados en el tipo de interrelacin).
Ejemplo:
IMPARTE es un tipo de interrelacin que vincula los tipos de entidad PROFESOR y CURSO; un ejemplar del tipo de interrelacin IMPARTE es la vinculacin entre el profesor Snchez y el curso Diseo de Bases de Datos Relacionales.
13
2.2 Interrelaciones
Conjunto de interrelaciones POSEE
2. Esttica
111 Juan Fernndez 5876589 C. Real 222 Antonio Muz 67412021 Madrid 333
12000 pts
800 pts 5300 pts
Mara Alonso
4821998
Toledo
444
8500 pts
555 Luis Martnez 2045678 Albacete 666 Jos Diaz 54622119 Madrid 777 Jaime Garca 75645321 Cuenca
34000 pts
2500 pts 1400 pts
888
200 pts
Conjunto de entidades CLIENTE
Conjunto de entidades CUENTA
Conjuntos de entidades y conjunto de interrelaciones

14
2.2 Interrelaciones
2. Esttica
Elementos de un tipo de interrelacin:

Nombre, (identificador nico en el esquema ) Grado, (nmero de tipos de entidades participantes) (1 a 1, 1 a muchos, muchos a muchos) Tipo de correspondencia:
PROFESOR
PROFESOR
ESTUDIANTE
Dirige
1:1
Imparte
1:N
Se_matricula N:N
CURSO
CURSO
CURSO
Rol,
(Funcin que desempea cada tipo de entidad participante)

15
2.2 Interrelaciones
2. Esttica
a1
b1
1
b1 a1
1 1
A
1
a2
1
b2
1
A
1
b2 a2
1 1
a3
1
b3
1
b3 a3
1
B
b4
1
a4
b4
b5
Interrelacin 1:1
Interrelacin 1:N
a1
b1
1
A
1
a2
1
b2
1
Interrelacin N:M
B
a3
1
b3
1
a4
b4
Conjuntos de interrelaciones con correspondencias 1:1, 1:n y n:m

16
2.2 Interrelaciones
2. Esttica
Muchas veces es importante indicar el rol, es decir, la funcin que desempea un tipo de entidad en una interrelacin.
Los roles suelen ser implcitos y no se especifican, pero pueden ser tiles si se necesita aclarar el significado de una interrelacin. Un caso tpico en que se necesita precisar el rol de cada tipo de entidad participante es cuando existe una interrelacin reflexiva (un tipo de entidad asociado consigo mismo);
por ejemplo, si tenemos el tipo de interrelacin MADRE_DE, en el cual participa repetido dos veces el tipo de entidad PERSONA; cada elemento del conjunto de interrelaciones MADRE_DE es del tipo (p1, p2) siendo pi instancias de tipo PERSONA. En este caso se hace necesario indicar el papel de cada entidad participante, es decir, indicar que p1 es el hijo y p2 es la madre o viceversa.
17
2.2 Interrelaciones
principal LIBRO escribe AUTOR TEMA
2. Esttica
secundario
Interrelacin binaria Interrelacin reflexiva

escribe
consta
AUTOR LIBRO PERSONA
edita
INSTITUCION
escribe
Dos tipos de entidad entre los que existen dos tipos de interrelaciones
Interrelacin ternaria
TEMA
Diferentes casos de tipos de interrelaciones

18
2.3 Dominios y valores
2. Esttica
Las distintas propiedades o caractersticas de un tipo de entidad o de interrelacin toman valores para cada ejemplar de stas. Un dominio se define como un conjunto de valores homogneos con un nombre que lo identifica. Una cierta caracterstica 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 intensin, especificando el tipo de datos (por ejemplo, carcter 30 para el Nombre); o por extensin, enumerando los valores que pertenecen al dominio (por ejemplo, los das de la semana).
19
2.4 Atributos
2. Esttica
Atributo: cada una de las propiedades o caractersticas que tiene un tipo de entidad o un tipo de interrelacin.
Los atributos toman valores de u o varios dominios (*). Por tanto, podemos decir que el atributo le da una determinada interpretacin al dominio (o dominios) en el contexto de un tipo de entidad o de un tipo de interrelacin. Matemticamente, un atributo consiste en una funcin de un tipo de entidad o de interrelacin 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 interrelacin.
A diferencia de los dominios que existen por s mismos, la existencia de un atributo est ligada a la del correspondiente tipo de entidad.
(*) se refiere a los atributos compuestos.
20
2.4 Atributos
TIPO DE ENTIDAD Ei ATRIBUTOS Fi DOMINIOS Vi
V1
2. Esttica
(Libro)
F1: cdigo V2
333
CDIGOS
Ei
F2: ttulo
SGBDR
TITULOS
F3: idioma V3
espaol
IDIOMAS
F4: ao_edicin V4
1989 1994
AOS
F5: ao_compra
Tipos de entidades, atributos y dominios

21
2.4 Atributos
2. Esttica
Atributos de interrelaciones:
HOMBRE 1:1 (0,1) matrimonio
MUJER
(0,1)
fecha
EDICIN
En interrelaciones 1:n el atributo se puede poner en la interrelacin, pero casi siempre es mejor ponerlo en la entidad con cardinalidad mxima n:
Tiene Fecha_Imparte
CURSO
22
2.4 Atributos
2. Esttica
nombre
atributo
fecha
dia mes ao
dia mes ao fecha cdigo atributo compuesto
EJEMPLAR
tiene
LIBRO
ttulo N ejemplares atributo derivado
Representacin de atributos
23
3. Restricciones
Restricciones inherentes al modelo:

Slo permite establecer interrelaciones entre entidades, no estando admitidas entre entidades e interrelaciones ni entre interrelaciones.
Restricciones
nicamente consideramos las restricciones especficas, distinguiendo entre: Las restricciones sobre valores, que se establecen mediante la definicin de dominio. Las restricciones estructurales, que se refieren a:
Atributos:
Identificadores Cardinalidades
de
integridad:
e Interrelaciones:
Cardinalidades mnima y mxima Dependencias en existencia y en identificacin Otras restricciones
24
3.1 Identificadores
3. Restricciones
Entre todos los atributos de un tipo de entidad han de existir uno o varios (simples y/o compuestos) que identifiquen unvocamente cada una de los ejemplares de ese tipo de entidad. Cada uno de estos conjuntos de atributos se denomina Identificador Candidato (IC).
Todo IC debe cumplir la condicin de ser unvoco y mnimo: cuando un IC es compuesto, el nmero de los atributos que lo componen debe ser mnimo, en el sentido de que la eliminacin de cualquiera de ellos le hara perder su carcter de identificador.
Entre los IC se elige uno como Identificador Principal (IP) y el resto sern Identificadores Alternativos (IA).
DNI NSS DNI NSS atributo identificador principal atributo identificador alternativo
25
3.2 Cardinalidades de Atributos
3. Restricciones
Atributos Multivaluados vs Univaluados:

Multivaluados: Pueden tomar ms de un valor a lo vez (una persona puede tener ms de un telfono); Univaluados: toman un solo valor.
Atributos Opcionales vs Obligatorios:

Opcionales: Por otro lado, puede obligarse a un atributo de un tipo de entidad a que tome, como mnimo, un valor del (o de los) dominio(s) subyacente(s) para cada ejemplar de entidad, es decir, el valor de ese atributo es obligatorio (no puede ser nulo) para todo ejemplar de la entidad.
nombre (1,1) nombre (0,1) nombre (1,n) nombre (0,n) nombre nombre nombre nombre atributo univaluado obligatorio atributo univaluado opcional
(valor por defecto) (admite nulos)
atributo multivaluado obligatorio atributo multivaluado opcional

(admite nulos)
26
3.2 Cardinalidades de Atributos

Tipo de entidad Atributos* Dominios
3. Restricciones
CURSO
Nombre Num_horas Idioma (1,n) Fecha_1_edicion Fecha_ult_edicin
Nombres Horas Idiomas Das Meses Aos

Valores de dominios
Ejemplares
Valores de atributos Nombre Num_Horas idioma
Introduccin a las BD Nombres 30 Espaol Ingls Francs 10 2 Enero 1980 1999 Horas Idiomas Das Meses Aos
CURSO 1
Fecha_1_edicin Fecha_ult_edicin
Ejemplos de tipo de entidad, atributos y dominios; ejemplares y valores

27
4.1 Cardinalidades
4. Semntica de las Interrelaciones
Definicin: nmero mximo y mnimo de ejemplares de un tipo de entidad que pueden estar interrelacionados con un ejemplar del otro u otros tipos de entidad que participan en el tipo de interrelacin. Notacin: I(E1(n1,m1)):E2(n2,m2))
siendo:
I un tipo de interrelacin binaria, E1 y E2 los tipos de entidad asociados por ella, n1 y n2 las cardinalidades mnimas de E1 y E2 respectivamente, y m1 y m2 las cardinalidades mximas de E1 y E2 respectivamente.
Semntica:
un ejemplar de E2 puede estar relacionado con un mnimo de n1 y un mximo de m1 ejemplares de E1.. un ejemplar de E1 puede estar relacionado con un mnimo de n2 y un mximo de m2 ejemplares de E2..
Los valores de las cardinalidades mximas coinciden con el tipo de correspondencia definido por Chen (ya comentado); pero, !Cuidado!, algunos autores dan una definicin diferente => valores diferentes.
28
4.1 Cardinalidades
4. Semntica de las Interrelaciones ({0,1},{1,n}) ({0,1},{1,n})
Representacin Grfica:
E1
E2
({0,1},1)
({0,1},n)
E1
E2
P erten ece (D E P A R T A M E N T O (1 ,1 ):E M P L E A D O (0 ,n )) (E 1 (1 ,1)):E 2 (0,n )) D E P A R T A M E N T O (1 ,1 ) E M P L E A D O (0,n)
Ejemplo:
29
4.2 Dependencias en existencia y en identificacin
Los tipos de interrelacin se clasifican tambin en regulares y dbiles, segn estn asociando dos tipos de entidad regulares, o un tipo de entidad dbil con un tipo de entidad (regular o dbil), respectivamente. Dentro del tipo de interrelacin dbil, se distinguen dos tipos especiales de restricciones:
Dependencia en existencia: los ejemplares de un tipo de entidad (entidad dbil) no pueden existir si desaparece el ejemplar del tipo de entidad regular del cual dependen. Dependencia en identificacin: adems de cumplirse la condicin anterior, los ejemplares del tipo de entidad dbil no se pueden identificar por s mismos, es decir, mediante los atributos propios del tipo de entidad y es necesario aadir el IP del tipo de entidad regular del cual dependen.
Una dependencia en identificacin es siempre una dependencia en existencia.
30
4.2 Dependencias en existencia y en identificacin
EMPLEADO
LIBRO
ISBN
(1,1) E depende
(1,1) ID tiene
(0,N)
(0,N) EJEMPLAR
FAMILIAR
Signatura Id-Ejemplar
Dependencia en existencia
Dependencia en identificacin
31
5. Control de redundancias
En los esquemas E/R, y en general en los de cualquier MD, es necesario evitar las redundancias para no tener problemas de inconsistencias de la representacin. Un elemento de un esquema es redundante si puede ser eliminado sin prdida de semntica. Existen dos formas principales de redundancia:
En los atributos (atributos derivados o calculados):
Aunque son redundantes, no dan lugar a inconsistencias siempre que en el esquema se indique su condicin de derivados y la frmula mediante la que han de ser calculados.
En las interrelaciones (tambin llamadas interrelaciones derivadas):

Una interrelacin es redundante si su eliminacin no implica prdida de semntica porque existe la posibilidad de realizar la misma asociacin de ejemplares por medio de otras interrelaciones. Para ello es condicin necesaria pero no suficiente, que forme parte de un ciclo => Hay que estudiar detenidamente los ciclos en el diagrama E/R.
32
AUTOR (1,n) (1,n)
escribe
redundante
publica
(1,n) (1,n) LIBRO edita (1,1)
(1,n)
b) Ciclo de interrelaciones sin redundancia
EDITORIAL
AUTOR (1,n) (1,n)
a) Ciclo con un tipo de interrelacin redundante
edita
escribe
(0,n) (0,n) RECOPILACION aparece (1,n)
(1,n)
ARTICULO
33
La existencia de un ciclo no implica la existencia de interrelaciones redundantes. Para que una interrelacin pueda ser eliminada por redundante se tiene que cumplir :
a) que exista un ciclo, b) que las interrelaciones que componen el ciclo sean equivalentes semnticamente, c) que se puedan asociar los ejemplares de las dos entidades que estaban interrelacionadas, an habindose eliminado la interrelacin, y d) que la interrelacin no tenga atributos o que stos puedan ser transferidos a otro elemento del esquema a fin de no perder su semntica.
34
6. Interrelaciones n-arias
Las interrelaciones de grado mayor de 2 son bastante ms difciles de manejar que las binarias. Casi nunca se utilizan interrelaciones de grado igual o superior a 4. Algunas veces es posible transformar una interrelacin ternaria a varias binarias (lo mismo para n=4, 5, ...) que recogen la misma semntica. !Otras veces no es posible! La determinacin de las cardinalidades mnimas y mximas de cada tipo de entidad participante debe realizarse con cuidado. Segn la definicin dada de cardinalidades, una interrelacin ternaria
I ( E1(n1,m1) : E2(n2,m2) : E3(n3,m3) )

significa que:
Cada pareja de ejemplares (e2i,e3i) pertenecientes a E2 y E3 respectivamente- se puede asociar a un mnimo de n1 y un mximo de m1 ejemplares e1i de E1. Cada pareja de ejemplares (e1i,e3i) pertenecientes a E1 y E3 respectivamente- se puede asociar a un mnimo de n2 y un mximo de m2 ejemplares e2i de E2. Cada pareja de ejemplares (e1i,e2i) pertenecientes a E1 y E2 respectivamente- se puede asociar a un mnimo de n3 y un mximo de m3 ejemplares e3i de E3.
35
6
nombre
cantidad
nombre
(0,1) PROVEEDOR suministrar
(0,n) PROYECTO
cdigo
(0,n)
PIEZA
Una pieza Y en un proyecto Z una pareja (pieza, proyecto) la suministran 0 o 1 proveedores. Un proveedor X en un proyecto Z una pareja (proveedor, proyecto) suministra 0, 1, 2, .., n piezas. Un proveedor X suministra una pieza Y una pareja (proveedor, pieza) en 0, 1, 2, .., n proyectos.
36
6
nombre
cantidad
nombre
(0,1) PROVEEDOR suministrar
(0,n) PROYECTO
cdigo
(0,n)
PIEZA
6
nombre
nombre
(0,n) PROVEEDOR provee
(1,n) PROYECTO
Tres interrelaciones binarias que no son equivalentes a la ternaria suministrar
cdigo
(1,n)
(1,n)
puede suministrar (1,n)
PIEZA (1,n)
utiliza
37
PROFESOR
( 1,n ) ( 1,n ) ( 1,n )
Trata
Imparte
Imparte1
( 1,n ) ( 1,n ) ( 1,n ) ( 1,n )
( 1,n ) ( 1,n )
TEMA
Trata
CURSO CURSO
Interrelacin ternaria que no puede ser descompuesta sin prdida de semntica

38
PROFESOR
( 1,1 ) ( 1,1 ) ( 1,n )
Imparte1
Imparte
Da_clase
( 1,n ) ( 1,n ) ( 1,n ) ( 1,n )
( 1,n ) ( 1,n )
CURSO
Asiste
ESTUDIANTE
Interrelacin ternaria que puede descomponerse sin prdida de semntica

39
Precio_mximo** ( 0,n )
( 0,n )
Interviene S2
PROVEEDOR
( 1,n )
Puede_suministrar S1
( 0,n ) ( 1,n )
( 1,n )
PROYECTO
( 0,n )
Suministra
( 1,n ) Precio Cantidad
PIEZA
( 1,n )
Necesita S3
Cantidad_total*
* Cantidad_total(Proyectoi, Pezaj) = k.Cantidad(Proyectoi, Pezaj, Proveedork) en Suministra ** Precio_max Precio
Interrelacin ternaria que coexiste con interrelaciones binarias sin redundancia

40
7. Extensiones del Modelo Bsico
Existen, adems de las vistas hasta ahora, otras restricciones que afectan a los tipos de interrelacin y a sus ejemplares, como son:
Restriccin de exclusividad, Restriccin de exclusin, Restriccin de inclusividad, y Restriccin de inclusin.
Tambin, en el ME/R extendido se ha definido un mtodo para utilizar el mecanismo de Generalizacin y poder incorporar la herencia de propiedades de unos tipos de entidades desde otros tipos. Otro mecanismo de abstraccin incorporado es la Agregacin, en dos variantes:
Agregacin compuesto/componente. Agregacin miembro/coleccin.
41
7.1 Otras restricciones sobre interrelaciones (0,1)
Percibe
(0,1)
BECA
PROFESOR (1,n)
(0,n)
Contratado
(1,n)
PROYECTO
Dos (o ms) tipos de interrelaciones tienen una restriccin de Exclusividad con respecto a un tipo de entidad que participa en ambas interrelaciones si cada ejemplar de dicho tipo de entidad slo puede participar en uno de los tipos de la interrelacin a la vez (en el momento en que participa en uno ya no podr formar parte del otro).
(1,n) => Un ejemplar de PROFESOR participa en alguna de las dos
interrelaciones una o varias veces.

42
7.1 Otras restricciones sobre interrelaciones
(1,1)
Imparte
(0,n) {exclusin}
PROFESOR (1,n)
CURSO
(0,n)
Recibe
(0,n)
Restriccin de Exclusin: un profesor no puede estar impartiendo y recibiendo el mismo curso a la vez.
=>Todo ejemplar de profesor que est unido a un ejemplar de curso mediante la interrelacin imparte, no podr estar unido al mismo ejemplar de curso mediante la interrelacin recibe.
43
(1,1)
Imparte
(0,n)
PROFESOR
(1,n)
(3,n)
CURSO
(0,n)
(0,n)
Recibe
Restriccin de Inclusividad: todo ejemplar del tipo de entidad afectado que participa en uno de los tipos de interrelacin tiene necesariamente que participar en la otra:
si un profesor participa en imparte tiene necesariamente que participar en recibe
La restriccin tiene cardinalidades mnima y mxima (3,n):

=> el nmero mnimo y mximo de cursos que tiene que recibir un determinado profesor para que se le permita impartir cursos.
44
(1,1)
Imparte
(0,n)
PROFESOR
{inclusin} (1,n)
CURSO
(0,n)
(0,n)
Recibe
Restriccin de Inclusin: todo ejemplar de profesor que est unido a un ejemplar de curso, mediante la interrelacin imparte, tiene necesariamente que estar unido al mismo ejemplar de curso mediante la interrelacin recibe.
45
7.2 Generalizacin y herencia
La Generalizacin se considera como un caso especial de interrelacin entre uno o varios tipos de entidad (subtipos) y un tipo ms general (supertipo), cuyas caractersticas son comunes a todos los subtipos. La interrelacin que se establece entre los subtipos y el supertipo es de la forma ES_UN:
Un ejemplar de un subtipo ES_UN ejemplar (tambin) del supertipo. !OJO!, al contrario no es seguro.
=> las cardinalidades mnimas y mximas siempre son

(1,1) en el supertipo, y (0,1) en los subtipos.
El mecanismo de abstraccin contrario se llama especializacin.

46
E E
ES-UN discriminante
E1
E2
E1
E2
....
E3
Representacin de la Generalizacin/Especializacin
47
TRABAJADOR
TRABAJADOR FIJO
fecha de confirmacin
Subconjuntos: Especializaciones con un nico subtipo
48
Una caracterstica muy importante de esta clase de interrelaciones es la herencia:

Toda propiedad (atributo, identificadores, o participacin en tipos de interrelacin) del supertipo pasa a ser un atributo de los subtipos. Los propiedades comunes a todos los subtipos se asignan al supertipo, mientras que las propiedades especficas se asocian al subtipo al cual pertenecen.
La divisin en subtipos (especializacin) puede venir determinada por una condicin predefinida (por ejemplo, en funcin de los valores de un atributo llamado discriminante). La Generalizacin/Especializacin tiene dos restricciones semnticas asociadas:
Totalidad (todo ejemplar del supertipo tiene que pertenecer a algn subtipo). El caso contrario se llama Parcialidad. Solapamiento (un mismo ejemplar del supertipo puede pertenecer a ms de un subtipo). El caso contrario se llama Exclusividad.
49

PUBLICACIN
ES-UN
tipo
LIBRO
REVISTA
materia ES-UN
periodicidad ES-UN ES-UN
etc
LIBRO DE INFORMTICA LIBRO DE MATEMTICA S DIARIO SEMANARIO
...
Jerarqua de Generalizaciones
50

cdigo nombre
6
PERSONA
ocupacin sueldo EMPLEADO jornada
ES-UN
ESTUDIANTE
jornada
clase de trabajo
ES-UN
tipo
ES-UN
DOCENTE
NO DOCENTE
BECARIO
NO BECARIO
empleado.jornada
Jerarqua de Generalizaciones con Herencia Mltiple: conflicto con un atributo

51
G
(p,s)
G
discriminante
ES_UN
E1
E2 E1 E2
G
(t,e)
ES_UN
discriminante
E1
E2 E1 E2
Restricciones de totalidad/parcialidad y solapamiento/exclusividad

52

PERSONA PERSONA
(t,e)
a) Cobertura total sin solapamiento (exclusiva)
(p,e)
b) Cobertura parcial sin solapamiento (exclusiva)
VARON
HEMBRA
DIRECTOR
ADMINISTRATIVO
PERSONA
EMPLEADO
(t,s)
c) Cobertura total con solapamiento
(p,s)
d) Cobertura parcial con solapamiento
EMPLEADO
ESTUDIANTE
DOCENTE
INVESTIGADOR
Ejemplos de diferentes generalizaciones

53
7.3 Agregacin
En el ME/R extendido la agregacin es un tipo especial de interrelacin en la cual:

las cardinalidades mnima y mxima del tipo de entidad agregada siempre son (1,1), y por eso no se indican.
Existen dos clases de agregaciones:

Compuesto/Componente:
Abstraccin que permite representar que un todo o agregado se obtiene por la unin de diversas partes o componentes que pueden ser tipos de entidades distintas y que juegan diferentes roles en la agregacin.
Miembro/Coleccin:
Abstraccin que permite representar un todo o agregado como una coleccin de miembros, todos de un mismo tipo de entidad y todos jugando el mismo rol. Esta agregacin puede incluir una restriccin de orden de los miembros dentro de la coleccin (indicando el atributo de ordenacin).
54
7.3 Agregacin
COCHE
Agregacin Compuesto/Componente
(1,1) CHASIS (1,1) MOTOR RUEDA (4,4)
FLOTA
(1 , n ) {ord en p or N u m_ b a r c o }
BARCO
Agregacin Miembro/Coleccin con cardinalidades y restriccin de orden
55
7.3 Agregacin
PROFESOR
Explica
ASIGNATURA CURSO
Utiliza
MEDIO
Ejemplo de interrelaciones no permitidas (restriccin inherente al ME/R)

56
7.3 Agregacin
PROFESOR
Explica
ASIGNATURA
EXPLICACION
Utiliza
MEDIO
La agregacin como mecanismo para representar interrelaciones no permitidas

(notar que una interrelacin tambin puede ser componente de una agregacin)
57
8. La Dimensin Temporal
Es necesario de establecer un mtodo semntico y grfico que recoja de algn modo, en el esquema conceptual, el transcurso del tiempo y su influencia en la forma en que cambian los datos. Existen varias aproximaciones:
La ms simple la constituyen los atributos de tipo fecha asociados a algunas entidades o interrelaciones:
Para sucesos instantneos, es decir, sin duracin, bastar con un slo atributo de este tipo. Para poder almacenar hechos que transcurren en un intervalo de tiempo determinado necesitaremos una fecha_inicio y una fecha_fin. En las bases de datos histricas, en las que una interrelacin entre dos ejemplares concretos se pueda repetir en el tiempo, el atributo fecha ser multivaluado.
Cuando es necesario representar la evolucin de un tipo de entidad a lo largo del tiempo se utiliza un atributo de estado, que indicar en qu estado concreto se encuentra la entidad.
En muchos casos lleva asociado otro atributo, que es la fecha en la que se ha producido el cambio de estado o el intervalo de tiempo en que ha permanecido en dicho estado.
58
8. La Dimensin Temporal
fecha_prstamo (1,n)
fecha_devolucin (0,n)
(1,n) EJEMPLAR prestamo
(0,n) USUARIO
a) Base de datos con informacin histrica y posibilidad de varios prstamos del mismo ejemplar al mismo usuario
b) Base de datos con slo el estado actual de la informacin

EJEMPLAR
fecha_prstamo
(1,n) prestamo
(0,n) USUARIO
Representacin del tiempo en esquemas E/R
59

Tema2 Entidad-Relacion

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Tema2 Entidad-Relacion

Cargado por

Copyright:

Formatos disponibles

Tema 2

[de Miguel y Piattini, 1999]

Semntica de las interrelaciones.

Control de redundancias. Interrelaciones n-arias. Extensiones del modelo bsico.

1. Presentacin del Modelo

Teniendo en cuenta la abstraccin de clasificacin, debemos distinguir entre:

En otra dimensin, tambin debemos distinguir entre

LIBRO AUTOR SOCIO

Representacin de tipos de entidades

Existen dos categoras de tipos de entidades:

800 pts 5300 pts

2500 pts 1400 pts

Conjunto de entidades CLIENTE

Conjunto de entidades CUENTA

Conjuntos de entidades y conjunto de interrelaciones

Elementos de un tipo de interrelacin:

(Funcin que desempea cada tipo de entidad participante)

Conjuntos de interrelaciones con correspondencias 1:1, 1:n y n:m

Interrelacin binaria Interrelacin reflexiva

AUTOR LIBRO PERSONA

Diferentes casos de tipos de interrelaciones

2.3 Dominios y valores

Tipos de entidades, atributos y dominios

HOMBRE 1:1 (0,1) matrimonio

dia mes ao fecha cdigo atributo compuesto

ttulo N ejemplares atributo derivado

Restricciones inherentes al modelo:

3.2 Cardinalidades de Atributos

Atributos Multivaluados vs Univaluados:

Atributos Opcionales vs Obligatorios:

atributo multivaluado obligatorio atributo multivaluado opcional

3.2 Cardinalidades de Atributos

Nombre Num_horas Idioma (1,n) Fecha_1_edicion Fecha_ult_edicin

Nombres Horas Idiomas Das Meses Aos

Valores de atributos Nombre Num_Horas idioma

Ejemplos de tipo de entidad, atributos y dominios; ejemplares y valores

4. Semntica de las Interrelaciones

4. Semntica de las Interrelaciones ({0,1},{1,n}) ({0,1},{1,n})

P erten ece (D E P A R T A M E N T O (1 ,1 ):E M P L E A D O (0 ,n )) (E 1 (1 ,1)):E 2 (0,n )) D E P A R T A M E N T O (1 ,1 ) E M P L E A D O (0,n)

4.2 Dependencias en existencia y en identificacin

4. Semntica de las Interrelaciones

4.2 Dependencias en existencia y en identificacin

4. Semntica de las Interrelaciones

En las interrelaciones (tambin llamadas interrelaciones derivadas):

AUTOR (1,n) (1,n)

(1,n) (1,n) LIBRO edita (1,1)

b) Ciclo de interrelaciones sin redundancia

AUTOR (1,n) (1,n)

a) Ciclo con un tipo de interrelacin redundante

(0,n) (0,n) RECOPILACION aparece (1,n)

(0,1) PROVEEDOR suministrar

(0,1) PROVEEDOR suministrar

(0,n) PROVEEDOR provee

Tres interrelaciones binarias que no son equivalentes a la ternaria suministrar

puede suministrar (1,n)

( 1,n ) ( 1,n ) ( 1,n ) ( 1,n )

Interrelacin ternaria que no puede ser descompuesta sin prdida de semntica

( 1,n ) ( 1,n ) ( 1,n ) ( 1,n )

Interrelacin ternaria que puede descomponerse sin prdida de semntica

Interrelacin ternaria que coexiste con interrelaciones binarias sin redundancia

7. Extensiones del Modelo Bsico

7.1 Otras restricciones sobre interrelaciones (0,1)

7. Extensiones del Modelo Bsico