A RS - of the AG Database-Systems

� Definition:
Kanonische Überdeckung
Entwurfstheorie relationaler Datenbanken
Zwei Mengen F und G von FDs einer Relation R sind äquivalent, falls F + = G + gilt.
� Wunsch: Berechne eine möglichst kleine Menge, die zu F äquivalent ist.
– wenig Aufwand beim Testen, ob ein neues Tupel eine FD verletzt.
� Fc wird als kanonische Überdeckung von F bezeichnet, falls folgende Bedingungen erfüllt
sind:
+
– Fc = F +
– Für alle FDs A�B in Fc gibt es keine “überflüssigen” Attribute, d. h.
für alle Attribute X�A gilt �F c
– �A�B����A– �X�� � B��
.
für alle Attribute gilt .
– Jede linke Seite der FDs in Fc kommt nur einmal vor, d. h.
+ F +
�
Y � B �F c
– �A�B���A��B – �Y���� + F +
�
falls A�B und A�C, dann wird in Fc nur die FD A�B�C verwendet.
Seite 171