Relationentheorie AIFB SS2001 1 1.4.5 Zur Berechnung von F + 1.4.5 Zur Berechnung von F + (1|7)...
1
Relationentheorie AIFB SS2001 1 1.4.5 Zur Berechnung von F 1.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
-
Upload
hiltrude-borns -
Category
Documents
-
view
102 -
download
0
Transcript of Relationentheorie AIFB SS2001 1 1.4.5 Zur Berechnung von F + 1.4.5 Zur Berechnung von F + (1|7)...
![Page 1: Relationentheorie AIFB SS2001 1 1.4.5 Zur Berechnung von F + 1.4.5 Zur Berechnung von F + (1|7) Vor.: Relation r: (U | F); U Attributmenge, F (U). Definition:](https://reader036.fdokument.com/reader036/viewer/2022082918/55204d6149795902118b4667/html5/thumbnails/1.jpg)
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