Phụ thuộc hàm chuẩn hóa sở liệu quan hệ Lê Thị Lan Nội dung  Một số khái niệm  Các vấn đề thiết kế sơ đồ quan hệ  Chuẩn hóa     1NF 2NF 3NF Boyce Codd (BCNF) Nội dung  Một số khái niệm  Các vấn đề thiết kế sơ đồ quan hệ  Chuẩn hóa     1NF 2NF 3NF Boyce Codd (BCNF) Một số khái niệm Nội dung  Một số khái niệm  Các vấn đề thiết kế sơ đồ quan hệ  Chuẩn hóa     1NF 2NF 3NF Boyce Codd (BCNF) Các quy tắc cho thiết kế sở liệu quan hệ  Thiết kế sở liệu quan hệ: cách nhóm thuộc tính đề tạo thành lược đồ quan hệ  Các chuẩn 1NF 2NF 3NF BCNF Ngữ nghĩa thuộc tính  Mỗi biểu diễn thể cụ thể thực thể liên kết   Chỉ có khóa dùng để đến thực thể khác Thuộc tính thực thể quan hệ cần tách biệt f.k.: foreign key p.k primary key Dạng chuẩn  Sử dụng phụ thuộc hàm khóa  Định nghĩa:   Thuộc tính thuộc khóa (Prime attribute) thuộc tính khóa K Phụ thuộc hàm đầy đủ: Y  Z phụ thuộc hàm đầy đủ bỏ thuộc tính Y phụ thuộc hàm không Dạng chuẩn  Nhắc lại: • Siêu khóa (Superkey) K→R • Khóa (Candidate Key) K→R Không tồn K’ ⊂ K, cho K’ → R (tối thiểu) • Khóa (Primary Key) Khóa Khóa Siêu khóa Chuẩn 2: ví dụ  Bảng employee (employeeID, name, job, departmentID)   Super key: {employeeID, Name}, {employeeID, Name, job}, {employeeID, Name, job, departmentID} employeeID khóa Chuẩn 2: ví dụ  Cho lược đồ quan hệ R tập thuộc tính U={A, B, C, D} với phụ thuộc hàm AB->C B->D BC->A  Xác định thuộc tính khóa thuộc tính không khóa  {SSN, PNUMBER}  HOURS phụ thuộc hàm đầy đủ SSN  HOURS PNUMBER  HOURS không  {SSN, PNUMBER}  ENAME phụ thuộc hàm đầy đủ (gọi phụ thuộc hàm phận) SSN  ENAME Chuẩn 2: ví dụ  Một quan hệ R dạng chuẩn tất thuộc tính không khóa A R phụ thuộc đầy đủ vào khóa  R chia thành quan hệ dạng chuẩn thông qua trình chuẩn hóa dạng chuẩn Bao đóng tập thuộc tính  Bao đóng tập thuộc tính sử dụng để xác định siêu khóa Chuẩn  Định nghĩa  Phụ thuộc hàm bắc cầu (Transitive functional dependency): Tập thuộc tính Z khóa tồn X  Z Y  Z  Ví dụ SSN  DMGRSSN phụ thuộc hàm bắc cầu SSN  DNUMBER DNUMBER  DMGRSSN  SSN  ENAME phụ thuộc hàm bắc cầu không tồn tập thuộc tính X cho SSN  X X  ENAME  Chuẩn Một quan hệ R dạng chuẩn dạng chuẩn thuộc tính không khóa A R phụ thuộc bắc cầu vào khóa Chuẩn Boyce-Codd (Boyce-Codd Normal Form)  Một quan hệ R dạng chuẩn Boyce-Codd có phụ thuộc hàm X  A R X khóa R  Chuẩn sau luôn mạnh chuẩn trước:      Tất quan hệ dạng chuẩn dạng chuẩn Tất quan hệ dạng chuẩn dạng chuẩn Tất quan hệ dạng chuẩn Boyce-Codd dạng chuẩn Tuy nhiên có số quan hệ dạng chuẩn không dạng chuẩn Boyce-Codd Mục đích chuẩn hóa để quan hệ dạng chuẩn dạng chuẩn Boyce-Codd Chuẩn Boyce-Codd  {Student,course}  Instructor  Instructor  Course  Chia thành lược đồ quan hệ    {Student,Instructor} {Student,Course} {Course,Instructor} {Student,Course} {Course,Instructor} {Instructor,Student} Ví dụ  Cho quan hệ Book(Book_title, Authorname, Book_type, Listprice, Author_affil, Publisher) Và ràng buộc Book_title  Publisher, Book_type Book_type  Listprice Authorname Author_affil Xác định quan hệ dạng chuẩn nào?