4NF Vietnam National University Ho Chi Minh City University of Technology Faculty of Computer Science and Engineering Normal forms 4NF, and 5NF Course Database System (CO2013) Semester 182 Lecturer Tr[.]
01 Vietnam National University Ho Chi Minh City University of Technology Faculty of Computer Science and Engineering Normal forms: 4NF, and 5NF Course: Database System (CO2013) Semester: 182 Lecturer: Truong Quynh Chi 02 DANH SÁCH THÀNH VIÊN Trần Hoài Bảo – 1410239 Võ Anh Tuấn – 1513886 Nguyễn Hữu Đức – 1510800 Lê Hồ Vỹ – 1614213 Nguyễn Xuân Trực – 1513804 03 4NF FOURTH NORMAL FORM 04 a) Multivalued dependies(MVD) Phụ thuộc đa giá trị (MVD ): X→→Y lược đồ quan hệ R, với X, Y tập R, quan hệ r(R) tồn t t2 cho t1[X]= t2[X] tồn t3 t4 cho: t3[X]=t4[X]=t1[X]=t2[X] t3[Y]=t1[Y] t4[Y]= t2[Y] t3[Z] = t2[Z] t4[Z]= t1[Z] với Z= R - (X U Y) Chú ý: X→→ Y gọi X đa xác định(multidetermines) Y Trong R, X→→Y nên suy X→→ Z Đôi viết dạng X→→Y|Z 05 Ví dụ Quan hệ EMP có MVD nào? t1 t2 t3 Ename→→Pname t4 t3[Ename]= t4[Ename]=t1[Ename]=t2[Ename] t3[Pname]=t1[Pname] t2[Pname]=t4[Pname] t3[Dname]=t2[Dname] t4[Dname]= t1[Dname] Vì Ename→→Pname nên suy Ename→→Dname 06 Các loại MVD Có loại MVD trivial MVD Nontrivial MVD MVD X→→Y gọi trivial thỏa điều kiện: Y tập X XUY=R Nó gọi trivial MVD khơng định ràng buộc đáng kể có ý nghĩa R Nếu X trivial X nontrivial MVD Trong EMP_PROJECTS có MVD Ename→→Pname trivial MVD 07 Hạn chế Với giá trị X, Y Pname lặp lại với giá trị 'John' 'Ana'của Dname ngược lại => Dư thừa liệu Vì khóa quan hệ EMP tất thuộc tính => khơng có phụ thuộc hàm => EMP chuẩn BCNF => Cần dạng Normal form thứ mạnh BCNF khơng cho phép có lược đồ quan hệ EMP =>4NF 08 b) Định nghĩa 4NF Quan hệ R dạng chuẩn 4NF nếu: R phải dạng chuẩn BCNF Với nontrivial phụ thuộc đa trị X→→Y R X siêu khóa R PHương thức chuẩn hóa: phân tách cá nontrivial MVD vi phạm chuẩn 4NF thành quan hệ tương ứng mà với quan hệ nontrivial trở thành trivial MVD 09 Ví dụ Quan hệ EMP: Trong EMP có MVD : Ename →→Dname vàEname →→Pname Ename siêu khóa => EMP khơng thỏa chuẩn 4NF Để thỏa chuẩn 4NF ta tách EMP thành EMP_PROJECTS EMP_DEPENDENTS 10 Ví dụ Lúc EMP_PROJECTS EMP_DEPENDENTS chuẩn 4NF MVD Ename→→ Pname EMP_PROJECT Ename →→ Dname EMP_DEPENDENTđều trivial MVD 18 Đáp án Vi phạm mqh có thuộc tính đa trị sử dụng để xác định phân tách mqh lược đồ R mqh thuộc R thỏa mãn 4NF thỏa mãn điều kiện sau: - R có sẵn 3NF BCNF - Ko có thuộc tính đa trị bảng 19 Câu hỏi review 14.16 Define join dependency and fifth normal form ( Xác định phụ thuộc tham gia dạng chuẩn hóa 5NF?) 20 Đáp án Xác định phụ thuộc tham gia: - Đó ràng buộc với định lược đồ quan hệ ký hiệu JD (R1, R2, R3, , Rn) - Một phụ thuộc tham gia gọi phụ thuộc tham gia tầm thường định lược đồ quan hệ với R - Đó ràng buộc với tập hợp quan hệ pháp lý lược đồ sở liệu