Đang chuẩn bị liên kết để tải về tài liệu:
Cơ sở dữ liệu 1_Chương 4: Phụ thuộc hàm và dạng chuẩn

Nội dung chương 4 trình bày về các vấn đề sau: Định nghĩa phụ thuộc hàm. Hệ tiên đề Armstrong. Bao đóng của tập phụ thuộc hàm. Giải thuật tìm khóa. Các dạng chuẩn. | Cơ sở dữ liệu 1 Chương 4: Phụ thuộc hàm và dạng chuẩn Giảng viên: Nguyễn Công Thương Chương 4: Phụ thuộc hàm và dạng chuẩn Định nghĩa phụ thuộc hàm. Hệ tiên đề Armstrong Bao đóng của tập phụ thuộc hàm Giải thuật tìm khóa. Các dạng chuẩn. Ví dụ MSSV Ho ten SV Ngay sinh Lop GVCN Diem TB 05110123 Lan 1-1-1986 051 Đạo 7.8 05110032 Mai 5-2-1985 051 Đạo 7.2 05110045 Lan 4-5-1986 052 Vân 7.5 05110056 Hùng 5-2-1985 052 Vân 7.4 06110012 Hoa 2-3-1986 061 Khôi 7.8 Phụ thuộc hàm Định nghĩa phụ thuộc hàm Các luật suy diễn cho phụ thuộc hàm (hệ luật Armstrong) Tập phụ thuộc hàm tương đương Tập phụ thuộc hàm tối tiểu Phụ thuộc hàm Một phụ thuộc hàm (Functional Dependency) là một ràng buộc giữa hai tập thuộc tính trong CSDL Phụ thuộc hàm (2) Lược đồ quan hệ có n thuộc tính: R(A1, A2, , An) X và Y là 2 tập con của R Ta nói rằng X xác định hàm Y hay Y phụ thuộc hàm vào X, nếu: t1, t2 r(R): t1[X] = t2[X] t1[Y] = t2[Y] Với f : X Y: X là vế trái của phụ thuộc hàm f: left(f) Y . | Cơ sở dữ liệu 1 Chương 4: Phụ thuộc hàm và dạng chuẩn Giảng viên: Nguyễn Công Thương Chương 4: Phụ thuộc hàm và dạng chuẩn Định nghĩa phụ thuộc hàm. Hệ tiên đề Armstrong Bao đóng của tập phụ thuộc hàm Giải thuật tìm khóa. Các dạng chuẩn. Ví dụ MSSV Ho ten SV Ngay sinh Lop GVCN Diem TB 05110123 Lan 1-1-1986 051 Đạo 7.8 05110032 Mai 5-2-1985 051 Đạo 7.2 05110045 Lan 4-5-1986 052 Vân 7.5 05110056 Hùng 5-2-1985 052 Vân 7.4 06110012 Hoa 2-3-1986 061 Khôi 7.8 Phụ thuộc hàm Định nghĩa phụ thuộc hàm Các luật suy diễn cho phụ thuộc hàm (hệ luật Armstrong) Tập phụ thuộc hàm tương đương Tập phụ thuộc hàm tối tiểu Phụ thuộc hàm Một phụ thuộc hàm (Functional Dependency) là một ràng buộc giữa hai tập thuộc tính trong CSDL Phụ thuộc hàm (2) Lược đồ quan hệ có n thuộc tính: R(A1, A2, , An) X và Y là 2 tập con của R Ta nói rằng X xác định hàm Y hay Y phụ thuộc hàm vào X, nếu: t1, t2 r(R): t1[X] = t2[X] t1[Y] = t2[Y] Với f : X Y: X là vế trái của phụ thuộc hàm f: left(f) Y là vế phải của phụ thuộc hàm f: right(f) Phụ thuộc hàm (3) Lưu ý: Nếu X là khóa dự tuyển của R, ta có thể khẳng định tồn tại X Y, với mọi tập con Y R Nếu tồn tại X Y trong R, không thể khẳng định có tồn tại Y X trong R hay không Phụ thuộc hàm (4) Ví dụ: MSSV Ho ten SV Ngay sinh Lop GVCN Diem TB 05110123 Lan 1-1-1986 051 Đạo 7.8 05110032 Mai 5-2-1985 051 Đạo 7.2 05110045 Lan 4-5-1986 052 Vân 7.5 05110056 Hùng 5-2-1985 052 Vân 7.4 06110012 Hoa 2-3-1986 061 Khôi 7.8 Hệ tiên đề Armstrong Còn gọi là Hệ luật suy diễn Armstrong (Inference Rules) IR1: Luật phản xạ (reflexive rule) Nếu X Y, thì X Y IR2: Luật gia tăng (augmentation rule) {X Y } |= XZ YZ IR3: Luật bắc cầu (transitive rule) {X Y, Y Z} |= X Z Hệ quả IR4: luật phân rã – luật chiếu (decomposition, projective rule) {X YZ} |= X Y IR5: luật hợp (union rule) {X Y, X Z} |= X YZ IR6: luật bắc cầu giả (pseudotransitive rule) {X Y, WY Z } |= WX Z Chứng minh??? Bao đóng của tập phụ thuộc hàm Bao