50 likes | 227 Views
Abschluss. Gegeben Menge F von funktionalen Abhängigkeiten. Abschluss F + von F : Menge der von F unter Anwendung der Axiome implizierten funktionalen Abhängigkeiten. Attributhülle (1). A Attributmenge, F Menge funktionaler Abhängigkeiten
E N D
Abschluss Gegeben Menge F von funktionalen Abhängigkeiten. AbschlussF+vonF: Menge der von F unter Anwendung der Axiome implizierten funktionalen Abhängigkeiten.
Attributhülle (1) • A Attributmenge, F Menge funktionaler Abhängigkeiten • (Attribut-)HülleAF+: Menge der Attribute, die von Attributen aus A funktional abhängen Algorithmus zur Hüllenbildung:// A Menge von Attributen// F Menge funktionaler AbhängigkeitenAF+ := A;whileAF+ noch wachsend dobeginfor each (X Y) ÎFifXÍAF+then AF+ := AF+ Y end;end// AF+ enthält das Ergebnis
Attributhülle (2) // A Menge von Attributen // F Menge funktionaler AbhängigkeitenAF+ := A;whileAF+ noch wachsend dobeginfor each (X Y) ÎFifXÍAF+then AF+ := AF+ Y end;end// AF+ enthält das Ergebnis GeoName MaterialGeoName GewichtMaterial DichtePIDXPIDYPIDZFIDFarbeFIDGeoName(GeoName Farbe) FID Bestimme FIDF+
Attributhülle (2) // A Menge von Attributen // F Menge funktionaler AbhängigkeitenAF+ := A;whileAF+ noch wachsend dobeginfor each (X Y) ÎFifXÍAF+then AF+ := AF+ Y end;end// AF+ enthält das Ergebnis GeoName MaterialGeoName GewichtMaterial DichtePIDXPIDYPIDZFIDFarbeFIDGeoName(GeoName Farbe) FID FIDF+ = (FID GeoName Farbe Material Dichte Gewicht)
Attributhülle (2) // A Menge von Attributen // F Menge funktionaler AbhängigkeitenAF+ := A;whileAF+ noch wachsend dobeginfor each (X Y) ÎFifXÍAF+then AF+ := AF+ Y end;end// AF+ enthält das Ergebnis GeoName MaterialGeoName GewichtMaterial DichtePIDXPIDYPIDZFIDFarbeFIDGeoName(GeoName Farbe) FID (FID PID)F+ = (FID PID GeoName Farbe Material Dichte Gewicht X Y Z)