Professional Documents
Culture Documents
Chuong6 PTH
Chuong6 PTH
Chuong6 PTH
Nếu X Y và X Z thì X YZ
Nếu X Y và WY Z thì XW Z
Kiểm tra một phụ thuộc hàm XY có được suy
dẫn từ F.
Tính X+ dựa trên tập F, nếu X+ chứa Y thì XY được suy ra
từ F
Kiểm tra 2 tập phụ thuộc hàm tương đương F+=G+
Với mỗi phụ thuộc hàm YZ trong F
Tính Y+ trên tập phụ thuộc hàm G
Nếu Z Y+ thì YZ trong G+ và ngược lại
F={ABC,AD,CE}
b) F có tương đương với G’={ABCE} không?
Xét F : ABC,AD,CE được suy ra từ G’
A+G’’= ABCE
PTH từ F không được suy ra từ G’
Xét G’’ ABCE được suy ra từ F
……
PTH từ G’ được suy ra từ F
Kết luận : F không tương đương G’
Bài giảng Hệ CSDL 12/04/2023
F={ABC,AD,CE} Q(ABCE)
G = {ABCE,AABD,CE}
23
a) F có tương đương với G không?
1. Xét F, có tương đương với G ko ?
Chứng minh : ABC,AD là thành viên của G
Bao đóng : A+G=ABCED
2. Xét G, có tương đương với F ko
Chứng minh : ABCE,AABD là thành viên của F
A->C, C->E, A->E(BC) A-> BCE (Hợp)
A->B (PR) A->BD (Hợp) A->ABC (Thêm) A->A (PR) A->ABD (Hợp)
Bao đóng : A+F = ABCDE
(1) & (2) : F = G
Bài giảng Hệ CSDL 12/04/2023
24 Phụ thuộc hàm tương đương
a) Tính A+ dựa trên tập G
A+=ABCE trong G+ có ABC và AD
F G+ F+ G+ (1).
Tính A+ dựa trên tập F
A+=ABCE trong F+ có ABCE và AABD
F+ G F+ G+ (2)
(1) và(2) F+ = G+ F G.
b) Do G’+ không chứa phụ thuộc hàm CE F không tương
đương với G’
Bài giảng Hệ CSDL 12/04/2023
25 Phụ thuộc hàm có vế trái dư thừa
F là tập các phụ thuộc hàm trên lược đồ quan hệ R.
ZYF.
Phụ thuộc hàm Z Y có vế trái dư thừa nếu có một
AZ sao cho: F F- {Z Y}{ (Z-A) Y}
Ví dụ 1:
Cho Q(A,B,C), F={ABC; BC}
F F-{ABC}{(AB-A)C}={BC}
AB C: là phụ thuộc hàm có vế trái dư thừa
Kehoach(NGAY,GIO,PHONG,MONHOC,GIAOVIEN)
F={NGAY,GIO,PHONG MONHOC
MONHOC,NGAY GIAOVIEN
NGAY,GIO,PHONG GIAOVIEN
MONHOC GIAOVIEN}
Tính {NGAY,GIO,PHONG}+ ;{MONHOC}+
Tìm phủ tối thiểu của F
Q(TENTAU,LOAITAU,MACHUYEN,LUONGHANG,B
ENCANG,NGAY)
F={TENTAU LOAITAU
MACHUYEN TENTAU, LUONGHANG
TENTAU,NGAY BENCANG, MACHUYEN}
Hãy tìm tập phủ tối thiểu của F
Xác định phủ tối thiểu của tập phụ thuộc hàm sau:
1. Q(A,B,C,D,E,G),
F={ABC;CA;BCD;ACDB;DEG;BEC;CGBD;CE
AG}
2. Q(A,B,C)
F={AB,AC,BA,CA,BC}