Konsistenzbedingung

Die Konsistenzbedingung zwischen Glossar und ER-Modell verlangt, dass alle im Glossar festgelegten Entity-Typen und Attribute im finalen ER-Modell auffindbar sein müssen und umgekehrt.

Ziel:

• Vollständigkeit der Abbildung der Anforderungen
• Nachverfolgbarkeit der Anforderungen
• Konsistenz zwischen Glossar und Modell

Formal:

• $ET+Attr.[Glossar]=ET+Attr.[Modell]$

Links

• ISDA 02 Datenbankmodellierung I.pdf