nicht angemeldet
FAs: Minimale Überdeckung
Moin,
im Zuge meiner DB-Klausurvorbereitung hakts gerade nen bisschen beim Kapitel "Funktionalen Abhängigkeiten" (FA) - einer Relation.
Um die Menge F meiner FAs in 3NF-/BCNF-Form zu bringen, muss ich sie zuerst in F(min), die minimale Überdeckung, überführen, wobei F genau dann F(min) ist, wenn folgende drei Bedingungen erfüllt sind:
1.) (X->Y)€F => Y besteht aus genau einem Attribut.
2.) (X->A)€F => F{X->A} nicht äquivalent zu F.
3.) (X->A)€F,Z(teilmenge)X => F{X->A}(vereinigt){Z->A} nicht äquivalent F.
Mein Riesenproblem besteht darin, dass ich keinen Schimmer hab, wie ich die ganzen Kriterien überprüfe. Links- und Rechtsreduktion wurde erwähnt, wobei ich Rechtsreduktion nicht ganz schnaggel (kann man Rechtsreduktion nur durchführen, wenn auf der rechten Seite der FA mehr als ein Attribut steht?), und nach welchem Kriterium reduziert man dann {(AB->C), (A->B), (B->A)} zu {(A->C), (A->B), (B->A)}, auch wenn ichs logisch nachvollziehen kann...?
Hoffe, hier hat jemand die Vorlesung gerade besucht, oder noch gut im Kopf. Grüßle, *jiriki*