A RS - of the AG Database-Systems

Entwurfstheorie relationaler Datenbanken
Bewahrung funktionaler Abhängigkeiten
� Wunsch: alle FDs, die für die Relation R gelten, sollen lokal auf den zerlegten Relationen
R 1 ,…,R n überprüfbar sein (Effizienz !).
� Formal kann dies wie folgt ausgedrückt werden:
Dann wird die Zerlegung als hüllentreu bezeichnet.
Beispiel:
+
FR =
�F���F� R1 Rn
+
� Sei die Relation PV(Straße, Ort, BLand, PLZ) gegeben Es sollen folgende Bedingungen
gelten:
– Orte werden durch “Ort” und “BLand” eindeutig charakterisiert.
– Innerhalb einer Straße ändert sich “PLZ” nicht.
– PLZ-Gebiete gehen nicht über Ortsgrenzen, Orte nicht über Bundeslandgrenzen.
� FDs: {PLZ} --> {Ort, BLand} und {Straße, Ort, BLand} --> {PLZ}
� Welche Eigenschaften besitzt die Zerlegung {PLZ, Straße} und {PLZ, Ort, BLand}?
Seite 176