Das Objektorientierte Modell

Eine Klasse repräsentiert einen Entity-Typ zusammen mit darauf erlaubten Operationen. Attribute müssen nicht atomar sein, sondern bestehen ggf. aus Tupeln, Listen und Mengen. Die Struktur einer Klasse kann an eine Unterklasse vererbt werden. Binäre Beziehungen können durch mengenwertige Attribute modelliert werden.

Die Definition des Entity-Typen Person mit seiner Spezialisierung Student incl. der Beziehung hoert sieht im objektorientierten Datenbanksystem O₂ wie folgt aus:

class Person
  type tuple (name        : String,
              geb_datum   : Date,
              kinder      : list(Person))
end;

class Student inherit Person
  type tuple (mat_nr      : Integer,
              hoert       : set (Vorlesung))
end;

class Vorlesung
  type tuple (titel       : String,
              gehoert_von : set (Student))
end;