Interpretation von Attributen
- Ein Entity-Attribut
zu einem Entity-Typ wird interpretiert als $$\text{Abbildung } a : E \to \operatorname{dom}(a) \text{,}$$wobei den Wertebereich des Attributs bezeichne und die Interpretation von sei. - Typische Wertebereiche sind Zahlenräume wie die natürlichen Zahlen
, die ganzen Zahlen oder Teilmengen davon sowie die Menge aller über einem Alphabet bildbaren Zeichenketten (bzw. nicht-leeren Zeichenketten ) oder Teilmengen davon. - Ein Relationship-Attribut
zu einem Relationship-Typ wird analog zu den Entity-Attributen interpretiert als$$\text{Abbildung } a : E_1 \times E_2 \times \ldots \times E_n \to \operatorname{dom}(a) \text{.}$$ - Ist
ein Schlüsselattribut zum Entity-Typ , so ist seine Interpretation eine injektive Abbildung, d.h. zwei verschiedene Entities besitzen stets auch verschiedene Attributwerte, in Formeln:$$\forall\ e_1, e_2 \in E :\ e_1 \ne e_2 \Rightarrow a(e_1) \ne a(e_2)$$