1.

TEMAS A TRATAR
Restricciones sobre la Especializacin y Generalizacin

2. Subtipos definidos por predicado o condicin

3. Subtipos definidos por atributo

4. Subtipos definidos por el usuario

5. Disyuncin / Solapamiento

6. Completitud / Parcialidad
 Modelo Entidad-Relacin Extendido (E-R E)

Restricciones sobre la Especializacin

y Generalizacin

Definicin
Qu instancias de la superclase pertenecen a cada subclase?

1. Subtipos definidos por predicado o condicin

2. Subtipos definidos por atributo
3. Subtipos definidos por el usuario

Disyuncin/Solapamiento
A cuntas subclases puede pertenecer (a la vez) una instancia de la
superclase?

Completitud/Parcialidad
Debe toda instancia de la superclase pertenecer a alguna subclase?
 Modelo Entidad-Relacin Extendido (E-R E)

Restricciones sobre la Especializacin

y Generalizacin

Subtipos definidos por predicado o condicin

Condicin de pertenencia a cada subtipo con base en el valor

de algn atributo del supertipo.

Restriccin que especifica que:

Las instancias del subtipo deben satisfacer la condicin

Todas las instancias del supertipo que cumplen la condicin,
deben pertenecer al subtipo.
 Modelo Entidad-Relacin Extendido (E-R E)

Restricciones sobre la Especializacin

y Generalizacin

Subtipos definidos por predicado o

condicin
 Modelo Entidad-Relacin Extendido (E-R E)

Restricciones sobre la Especializacin

y Generalizacin

Subtipos definidos por atributo

Todas las subclases definen la condicin de

pertenencia en trminos del mismo atributo

Es el discriminante de la especializacin
 Modelo Entidad-Relacin Extendido (E-R E)

Restricciones sobre la Especializacin

y Generalizacin

Subtipos definidos por atributo

Modelo Entidad-Relacin Extendido (E-R E)
Restricciones sobre la Especializacin
y Generalizacin

Subtipos definidos por el usuario

No existe (o no interesa definir) ninguna

condicin de pertenencia a los subtipos

El usuario, al insertar una instancia, elige a

qu subtipo pertenece
Modelo Entidad-Relacin Extendido (E-R E)

Restricciones sobre la Especializacin

y Generalizacin

Subtipos definidos por el usuario

Modelo Entidad-Relacin Extendido (E-R E)
Restricciones sobre la Especializacin
y Generalizacin
Disyuncin / Solapamiento

Subtipos disjuntos si una instancia del supertipo puede ser miembro de, como
mximo, uno de los subtipos (la condicin es excluyente).
Modelo Entidad-Relacin Extendido (E-R E)
Restricciones sobre la Especializacin
y Generalizacin
Disyuncin / Solapamiento

Subtipos solapados si una instancia del supertipo puede ser, a la vez, miembro de
ms de un subtipo
Es la opcin por defecto.
Modelo Entidad-Relacin Extendido (E-R E)
Restricciones sobre la Especializacin
y Generalizacin
Completitud / Parcialidad

Especializacin total (completa) indica que toda instancia del supertipo tambin
debe ser instancia de algn subtipo.
Modelo Entidad-Relacin Extendido (E-R E)
Restricciones sobre la Especializacin
y Generalizacin
Completitud / Parcialidad

Especializacin parcial indica que es posible que alguna instancia del supertipo no
pertenezca a ninguno de los subtipos.
Es la opcin por defecto.
La unin de las extensiones de los subtipos no es la extensin del supertipo en su
totalidad.
Prxima clase
tipos de especializacin