Prof. Dr. R. Laue                                                                                                                                  SS04
                                Informatik IV
                                Übungsblatt 11
                                Abgabe: 8.7.04 vor der Vorlesung

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





Aufgabe 25 (3 Punkte)

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 \ (Xunion 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.