Klassendiagramme

sind im wesentlichen nur eine andere Syntax für ER-Diagramme (Übung: Unterschiede),

Semantik stimmt überein, außer

• für jede Hyperkante S_i(y₁,…, y_k) mit Annotation A an Position j:

  Für jedes x∈t^-(y₁)×…×t^-(y_k):

  die Anzahl der Tupel x' = (x₁',…, x_k')∈R_i, die mit x in allen Komponenten ≠i übereinstimmen,

  ist Element von A.

Übung: Unterschied zu ER-Semantik (wird erst bei 3- und mehrstelligen Relationen deutlich)