Bài 7 Ràng buộc toàn vẹn ĐẠI HỌC CÔNG NGHỆ THÔNG TIN KHOA HỆ THỐNG THÔNG TIN Chương 6 Phụ thuộc hàm và Các dạng chuẩn GV ThS Nguyễn Đình Loan Phương 2 Nội dung 1 Phụ thuộc hàm 2 Các dạng chuẩn 3 1 Phụ[.]
ĐẠI HỌC CÔNG NGHỆ THÔNG TIN KHOA HỆ THỐNG THÔNG TIN Chương Phụ thuộc hàm Các dạng chuẩn GV: ThS Nguyễn Đình Loan Phương Nội dung Phụ thuộc hàm Các dạng chuẩn Phụ thuộc hàm ◆ Các khái niệm phụ thuộc hàm ◆ Hệ tiên đề Amstrong bổ đề ◆ Bao đóng ◆ Thuật tốn xác định khóa quan hệ 1.1 Các khái niệm ◆ Phụ thuộc hàm (PTH) quan hệ R biểu diễn mối liên hệ giữa tập thuộc tính R ◆ Định nghĩa: Nếu A, B hai tập thuộc tính R, B phụ thuộc hàm A, giá trị A R xác định giá trị B R ◼ ◼ ◼ Ký hiệu A→B A xác định B B phụ thuộc (hàm) vào A ◆ Ví dụ: MaNV → TenNV; MaNV, MaDA → TGian ◆ PTH được phát biểu dựa ◼ ◼ Ngữ nghĩa của môi trường ứng dụng Qui tắc 1.1 Các khái niệm (tt) ◆ Định nghĩa hình thức: ◼ Cho quan hệ R(A, B, C) có PTH A→B nếu: t1, t2 R: t1.A = t2.A t1.B = t2.B ◆ Nghĩa là: ứng với giá trị A có giá trị B ◆ A vế trái PTH, B vế phải PTH Ví dụ ◆ Xét lược đờ quan hệ Phim(Tênphim, Nămsx, Thờilượng, Loạiphim, Xưởngsx, Diễnviên) ◆ Và thể Tênphim Nămsx Thờilượng Loạiphim Xưởngsx Diễnviên 1977 124 color Fox Carrie Fisher Star Wars 1977 124 color Fox Mark Hamill Star Wars 1977 124 color Fox Harrison Ford Mighty Ducks 1991 104 color Disney Emilio Esteves Wayne’s World 1992 95 color Paramount Dana Carvey Wayne’s World 1992 95 color Paramount Mike Meyers Star Wars Ví dụ (tt) ◆ Tìm được nhiều PTH Tênphim Nămsx → Thờilượng Tênphim Nămsx → Loạiphim Tênphim Nămsx → Xưởngsx Tênphim Nămsx → Diễnviên Không là phụ thuộc hàm 1.2 Hệ tiên đề Amstrong ◆ Phụ thuộc hàm đầy đủ: B phụ thuộc hàm đầy đủ vào A, nếu B phụ thuộc hàm A B không phụ thuộc hàm vào tập của A ◆ Phụ thuộc hàm hiển nhiên: B phụ thuộc hàm hiển nhiên A nếu B A ◆ Tiên đề Amstrong: Tính phản xạ (reflexivity): Nếu Y X X → Y (pth hiển nhiên) Tính tăng trưởng (augmentation): Nếu X→ Y, với tập thuộc tính W, ta có XW → YW Tính bắc cầu (transitivity): Nếu X → Y Y → Z, X → Z 1.2 Hệ tiên đề Amstrong (tt) ◆ Một số luật suy dẫn cho PTH bổ sung: Luật hợp (union rule): X→ Y X → Z X → YZ Luật phân rã (decomposition rule): X → YZ X → Y X → Z Luật bắc cầu giả (psuedotransitivity): X→ Y YZ → W XZ → W 1.2 Hệ tiên đề Amstrong (tt) ◆ Ví dụ 1: Cho F = {AB →C, C→A} CMR: BC→ABC ◼ ◼ ◼ ◼ ◼ (1) C→A (giả thiết) (2) BC→AB (tăng trưởng (1)) (3) AB→C (giả thiết) (4) AB→ABC (tăng trưởng (3)) (5) BC→ABC (bắc cầu & 4) ◆ Ví dụ 2: Cho F = {A→B, A→C, BC→D} CMR: A→D ◆ Ví dụ 3: Cho F = {A→B, BC→D} CMR: AC→BCD ◆ Ví dụ 4: Cho F = {A→BC, AC→D} CMR: AC→BCD 10 ... , f2: D → EG, f3: ACD → B, f4: C → A, f5: BE → C , f6: CE → AG , f7: BC → D , f8: CG → BD} Tìm BD+F ? KQ: ABCDEG Khoa HTTT 16 - Đại học CNTT 16 Bao đóng (tt) Bài tốn thành viên Cho quan hệ Q, tập... Ví dụ 6: Cho R(A,B,C,D,E,F,G,H,I,J) F = {AB→E, AG→J, BE→I, E→G, GI→H} CMR AB→GH ◼ ◼ ◼ ◼ ◼ ◼ (1) AB→E (gt) (2) AB→B (phản xạ) (3) AB→BE ( hợp & 2) (4) BE→I (gt) (5) AB→I (bắc cầu & 4) (6) E→G... Loạiphim Xưởngsx Diễnviên 1977 124 color Fox Carrie Fisher Star Wars 1977 124 color Fox Mark Hamill Star Wars 1977 124 color Fox Harrison Ford Mighty Ducks 1991 104 color Disney Emilio Esteves