Upload
hiltrude-borns
View
102
Download
0
Embed Size (px)
Citation preview
Rel
atio
nent
heor
ie
A
IFB
S
S20
01
1
1.4.5 Zur Berechnung von F1.4.5 Zur Berechnung von F++ (1|7)
Vor.: Relation r: (U | F); U Attributmenge, F (U).
Definition:
Für A U ist A+ die Menge aller von A funktional
abhängigen Attribute:
A+ ::= {b U | A b (r)}.
Damit gilt folgendes
Lemma 1.3:Vor. wie oben; A, B U.
(1) A B F+ B A+
(2) F+ = {A B | A U, B A+}
Beweis: klar