URL:         /axel/informatik4_ss04_blatt11.html
Dieses  Übungsblatt ist in Zweiergruppen zu bearbeiten.

Beweisen Sie die Korrektheit des Axioms C2 zur Verknüpfung von MVDs und FDs.

Aufgabe 26 (4 Punkte)

Sei R eine Relation über der Attributmenge A. Zeigen Sie:
Erfüllt R die mehrwertige Abhängigkeit (MVD) X-->>Y, dann auch gilt die MVD X-->> A \ (X Y).



Aufgabe 27 (4 Punkte)

Sei Γ eine FD Menge. A sei die Vereinigung der paarweise disjunkten Attributmengen X,Y,Z. Man zeige:
Sind weder Y noch Z in X⁺ enthalten, so impliziert Γ nicht die MVD  X-->>Y .

Aufgabe 28 (4 Punkte)

Man zeige, daß im Schema R:=(Vertreter, Produkt, Hersteller) bei Verwendung der Regel

Falls ein Vertreter für einen Hersteller arbeitet, so bietet er jedes Produkt dieses Herstellers an

eine Verbundabhängigkeit vorliegt.