Polymorphe Typen (1) Erweiterung des relationalen Datenmodells: Domänen: Wie im herkömmlichen Relationenmodell sind die Mengen D 1,...,D m die (atomaren) Domänen. Zusätzlich ist die Menge der komplexen Domänen unter Zuhilfenahme der atomaren Domänen D j wie folgt definiert: 1. Basis: Für jede atomare Domäne D j gilt: D j C. Jede atomare Domäne ist also auch eine komplexe Domäne. 2. Potenzmengenbildung: Wenn C 1, C 2,..., C k C, so auch P(C 1 × C 2 ×... × C k ) C. Mengenwertige Domänen lassen sich aus bestehenden Domänen unter Ausnutzung des Prinzips der Potenzmengenbildung P( ) zusammensetzen. 3. Abschluss: Genau durch die vorigen Vorschriften ist C vollständig konstruierbar.
Polymorphe Typen (2) Relation: Eine n-stellige Relation R ist weiterhin Teilmenge eines kartesischen Produkts von Domänen. Unterschied zu früher: Domänen sind komplex. Also: R C 1 ×... × C n mit n komplexen Domänen C i C, 1 i n (R P(C 1 × C 2 ×... × C n ) ).
Bewertung Strukturelle Mächtigkeit unverändert gering. Verbesserte strukturelle Orthogonalität: Zulassen relationenwertiger Attribute. Somit Schachtelung von Relationen möglich. Relation TupelAtomarer Typ
Nutzen Erfassung des Enthaltenseins von Informationselementen in anderen Elementen, also der Aggregierung im Sinne der Unter- /Oberobjektbeziehung. Wir haben Strukturierungsmöglichkeiten gewonnen, ohne den (beispielsweise für die Lagerverwaltung) bewährten flachen Ansatz aufgeben zu müssen.