Vận dụng: Q(ABCDE) F={AB -> CDE, D -> E, B ->D}

Tìm F_tt

B1: phân rã vế phải ta được: AB->C,AB->D,AB->E

Ftt={f1: AB->C,f2:AB->D,f3:AB->E,f4:D->E,f5:B->D}

b2: Loại thuộc tính thừa vế trái ta được:

-Xét f1: AB->C:

+ Xét A, (B)+F=BD, không chứa C, A không thừa

+ Xét B, (A)+F=A, không chứa C, B không thừa

-Xét f2: AB->D:

+ Xét A, (B)+F=BD, chứa D, A thừa, loại A, B->D

(+ Xét B, (A)+F=A, không chứa D, B không thừa

=> không cần)

-Xét f3: AB->E:

+ Xét A, (B)+F=BD, không chứa E, A không thừa

+ Xét B, (A)+F=A, không chứa E, B không thừa

Vậy Ftt={f1: AB->C,f2:AB->E,f3:D->E,f4: B->D}

B3: loại bỏ các PTH dư thừa

Xét f1: AB->C,(AB)+Ftt-f1=ABDE, không chứa C, f1 không thừa

Xét f2: AB->E,(AB)+Ftt-f2=ABCDE, chứa E, f2 thừa

Xét f3:D->E ,(D)+Ftt-f3=D, không chứa E, f3 không thừa

Xét f4:B->D ,(B)+Ftt-f4=B, không chứa D, f4 không thừa

Vậy Ftt={ f1: AB->C; f2: D->E, f3: B->D}