Prof. Dr. R. Laue                                                                                                                                  WS0405
                                Datenbanken
                                Übungsblatt 11
                                Abgabe: 20.01.05

Klausurtermin:  08.02.2005

URL:         /axel/database_ws0405_blatt11.html
Dieses  Übungsblatt ist in Dreiergruppen zu bearbeiten.
Tag der Übungsgruppe und Namen  bitte notieren.

Aufgabe 19  (5 Punkte)

Entwerfen Sie einen Algorithmus (Pseudocode) auf Basis des Linclosure zum Test auf  direkte Abhängigkeit.


Aufgabe 20  (3 Punkte)

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



Aufgabe 21 (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).