Generalisierung/Spezialisierung (1) Ein Entity-Typ ist eine Zusammenfassung ähnlicher Entities. Oft lässt sich diese Menge in Untergruppen aufteilen. Diese Untergruppen sind gekennzeichnet durch Eigenschaften, die nicht allen Entities des Typs gemeinsam sind („Untertypen“). Man bezeichnet die Abstraktion von verschiedenen Untergruppen auf einen allgemeineren Typ als Generalisierung, die Aufteilung eines allgemeineren Typs in verschiedene Untergruppen als Spezialisierung.
Generalisierung/Spezialisierung (2) Definition: S = {E1, E2, …, En} (alle Ei paarweise verschieden) ist eine Spezialisierung von E bzw. E ist eine Generalisierung von S, wenn Für jeden Typ Ei in S gilt: Eit Et zu jedem Zeitpunkt t („is-a“-Beziehung). Ei hat denselben Primärschlüssel wie E. Ei hat insgesamt mindestens so viele Attribute wie E, i.Allg. sogar mehr (Zusatzattribute). Sprechweise: Die Attribute von E werden an die Subtypen Ei vererbt.
Generalisierung/Spezialisierung (3) Generalisierungen/Spezialisierungen können weiter unterschieden werden: Wenn E1t E2t … Ent = Et ist, dann ist S vollständige Spezialisierung, sonst partielle Spezialisierung. Wenn alle Ei paarweise disjunkt sind, d.h. Eit Ejt = für i j und alle t, dann ist S disjunkte Spezialisierung, sonst überlappende Spezialisierung.