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