![[HaBo]](/styles/default/logoklein.png){kind=small}
Hallo miteinander
ich steh grad irgendwie aufm Schlauch.
Folgende Aufgabe ist das Problem:
Sei
ein Relationenschema mit der FD-Menge
und
eine Zerlegung von U.
Weisen Sie nach, dass R1 und R2 tatsächlich eine Zerlegung von U darstellen.
Was müssen Sie dazu überprüfen?
Ich hab keine Ahnung was ich genau machen soll. Aus dem Skript kann ich mir leider auch nichts herleiten.
Wie ich eine verlustlose Zerlegung von U berechne weiß ich.
Ich berechne zuerst die Abhängigkeitsbasis zu F und wende mit ihr den Synthese-Algorithmus an. Somit habe ich eine verlustlose Zerlegung.
Aber wie funktioniert das andersrum?
ich steh grad irgendwie aufm Schlauch.
Folgende Aufgabe ist das Problem:
Sei
Code:
U=({a,b,c,d,e,g},F)
Code:
F={(ac->eb), (ae->d), (b->a), (beg->cd), (eg->b)}
Code:
R1=({a,b,c}, {ac->b, b->a})
R2=({d,e,g}, {eg->d})Weisen Sie nach, dass R1 und R2 tatsächlich eine Zerlegung von U darstellen.
Was müssen Sie dazu überprüfen?
Ich hab keine Ahnung was ich genau machen soll. Aus dem Skript kann ich mir leider auch nichts herleiten.
Wie ich eine verlustlose Zerlegung von U berechne weiß ich.
Ich berechne zuerst die Abhängigkeitsbasis zu F und wende mit ihr den Synthese-Algorithmus an. Somit habe ich eine verlustlose Zerlegung.
Aber wie funktioniert das andersrum?