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ängigkeitenAF

+ := 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ängigkeitenAF

+ := A;while AF

+ noch wachsend do beginfor each (X Y) F if X AF

+ then AF+ := AF

+ Y end;end// AF

+ enthält das Ergebnis

GeoName MaterialGeoName GewichtMaterial DichtePID XPID YPID ZFID FarbeFID GeoName(GeoName Farbe) FID

Bestimme FIDF+

4

Attributhülle (2)// A Menge von Attributen// F Menge funktionaler AbhängigkeitenAF

+ := A;while AF

+ noch wachsend do beginfor each (X Y) F if X AF

+ then AF+ := AF

+ Y end;end// AF

+ enthält das Ergebnis

GeoName MaterialGeoName GewichtMaterial DichtePID XPID YPID ZFID FarbeFID GeoName(GeoName Farbe) FID

FIDF+ = (FID GeoName Farbe Material Dichte Gewicht)

5

Attributhülle (2)// A Menge von Attributen// F Menge funktionaler AbhängigkeitenAF

+ := A;while AF

+ noch wachsend do beginfor each (X Y) F if X AF

+ then AF+ := AF

+ Y end;end// AF

+ enthält das Ergebnis

GeoName MaterialGeoName GewichtMaterial DichtePID XPID YPID ZFID FarbeFID GeoName(GeoName Farbe) FID

(FID PID)F+ = (FID PID GeoName Farbe Material Dichte Gewicht X Y Z)