ER-Diagramme (Semantik)

Objekt-Diagramm (Hypergraph) (O, R₁,…, R_n),

paßt zu ER-Diagramm (Hypergraph) (T, S₁,…, S_n),

falls:

• es gibt Typ-Abbildung t : O→T,
• so daß jedes Tupel aus jeder Relation (im Objektiagramm) den richtigen Typ (im ER-Diagramm) hat:

  wenn R_i(x₁,…, x_k), dann S_i(t(x₁),…, t(x_k)).

(die Relation R_i hat den deklarierten Typ S_i,

vgl. Deklarationen von Methoden in Java)