Abschluss Gegeben Menge F von funktionalen Abhängigkeiten.

Präsentation zum Thema: "Abschluss Gegeben Menge F von funktionalen Abhängigkeiten."—  Präsentation transkript:

1 Abschluss Gegeben Menge F von funktionalen Abhängigkeiten.
Abschluss F+ von F: Menge der von F unter Anwendung der Axiome implizierten funktionalen Abhängigkeiten.

2 Attributhülle (1) A Attributmenge, F Menge funktionaler Abhängigkeiten
(Attribut-)Hülle AF+: Menge der Attribute, die von Attributen aus A funktional abhängen Algorithmus zur Hüllenbildung: // A Menge von Attributen // F Menge funktionaler Abhängigkeiten AF+ := A; while AF+ noch wachsend do begin for each (X  Y) Î F if X Í AF+ then AF+ := AF+  Y end; end // AF+ enthält das Ergebnis

3 Attributhülle (2) // A Menge von Attributen
// F Menge funktionaler Abhängigkeiten AF+ := A; while AF+ noch wachsend do begin for each (X  Y) Î F if X Í AF+ then AF+ := AF+  Y end; end // AF+ enthält das Ergebnis GeoName  Material GeoName  Gewicht Material  Dichte PID  X PID  Y PID  Z FID  Farbe FID  GeoName (GeoName Farbe)  FID Bestimme FIDF+

4 FIDF+ = (FID GeoName Farbe Material Dichte Gewicht)
Attributhülle (2) // A Menge von Attributen // F Menge funktionaler Abhängigkeiten AF+ := A; while AF+ noch wachsend do begin for each (X  Y) Î F if X Í AF+ then AF+ := AF+  Y end; end // AF+ enthält das Ergebnis GeoName  Material GeoName  Gewicht Material  Dichte PID  X PID  Y PID  Z FID  Farbe FID  GeoName (GeoName Farbe)  FID FIDF+ = (FID GeoName Farbe Material Dichte Gewicht)

5 (FID PID)F+ = (FID PID GeoName Farbe Material Dichte Gewicht X Y Z)
Attributhülle (2) // A Menge von Attributen // F Menge funktionaler Abhängigkeiten AF+ := A; while AF+ noch wachsend do begin for each (X  Y) Î F if X Í AF+ then AF+ := AF+  Y end; end // AF+ enthält das Ergebnis GeoName  Material GeoName  Gewicht Material  Dichte PID  X PID  Y PID  Z FID  Farbe FID  GeoName (GeoName Farbe)  FID (FID PID)F+ = (FID PID GeoName Farbe Material Dichte Gewicht X Y Z)