1 Mehrwertige Abhängigkeiten (2) Beispiel: Wir beschränken KomplGeoKörper auf die topologische Information: relation Topologie(GeoName, FID, KID, PID); Zusammenhang zwischen Kante und zugehörigen Punkten ist im Flächenbegrenzungsmodell unabhängig von Körpername und aktuell betrachteter Fläche: KID PID Demnach auch KID (GeoName FID)
2 Mehrwertige Abhängigkeiten (3) KID FID PID MaterialGewicht Dichte GeoName FarbeXYZ
3 Mehrwertige Abhängigkeiten (4) Konsistenzerhaltung in der Datenbasis: Zu jedem Zeitpunkt gilt: Für alle Paare von Tupeln t 1, t 2 R mit X ({t 1 }) = X ({t 2 }) existiert ein Tupel t 3 mit X ({t 3 }) = X ({t 1 }), Y ({t 3 }) = Y ({t 1 }) und Z ({t 3 }) = Z ({t 2 }) Formale Deutung: X Y ::= X 2 Y
4 Mehrwertige Abhängigkeiten (5) Achtung: Häufig Fehler beim Auffinden mehrwertiger Abhängigkeiten durch unbeschränkte Verwendung von „mehrere Werte“. Gegenbeispiele: Für KomplGeoKörper könnte man GeoName Farbe vermuten mit der Idee, dass mehrere Farben pro Körper eine mehrwertige Abhängigkeit begründen. Das ist falsch: GeoName Farbe würde bedeuten, dass jede in einem bestimmten Körper vorkommende Farbe von den Flächen unabhängig wäre, also auf jede Fläche zuträfe. Dies haben wir ausgeschlossen. GeoName FID gilt nicht, obwohl die Flächen eines Körpers ohne Wissen um zugehörige Kanten oder Punkte gegeben sind. Grund: Es bestehen Zusammenhänge zwischen FID und den Restattributen, beispielsweise PID.