Bài giảng Cơ sở dữ liệu - Chương 3: Phụ thuộc hàm

Bài giảng Cơ sở dữ liệu - Chương 3: Phụ thuộc hàm trình bày định nghĩa, biểu diễn Pth bằng đồ thị, suy diễn logic các phụ thuộc hàm, hệ tiên đề Amstrong, bao đóng, bao đóng của tập thuộc tính, khóa - thuật toán tìm khóa.
Nội dung trích xuất từ tài liệu:
Bài giảng Cơ sở dữ liệu - Chương 3: Phụ thuộc hàmPHỤ THUỘC HÀM1. Định nghĩa2. Biểu diễn Pth bằng đồ thị3. Suy diễn logic các phụ thuộc hàm4. Hệ tiên đề Amstrong5. Bao đóng6. Bao đóng của tập thuộc tính7. Khóa - Thuật toán tìm khóa1PHỤ THUỘC HÀMGIỚI THIỆUPhụ thuộc hàm (Functional Dependency) là một công cụdùng để biểu diễn, một cách hình thức, một số ràngbuộc toàn vẹn. Phương pháp biểu diễn này có nhiều ưuđiểm và chúng ta có thể áp dụng các công cụ toán họcđể giải quyết bài toán tìm khóa cũng như đánh giá chấtlượng thiết kế của 1 CSDL21. Định nghĩaQuan hệ R được định nghĩa trên tập thuộc tính U = { A1,A2, ..., An}.A, B  U là 2 tập con của tập thuộc tính U.Nếu tồn tại một ánh xạ f: A  B thì ta nói rằng A xácđịnh hàm B, hay B phụ thuộc hàm vào A.Ký hiệu: A  B.31. Định nghĩaĐịnh nghĩa hình thức của phụ thuộc hàm như sau:Quan hệ Q (A, B, C) có phụ thuộc hàm A xác định B (kýhiệu là A  B) nếu: q, q’  Q, sao cho q.A = q’.A thì q.B = q’.BNghĩa là: ứng với 1 giá trị của A thì có một giá trịduy nhất của BA là vế trái của phụ thuộc hàm, B là vế phải của phụthuộc hàm.Pth A  A được gọi là Pth hiển nhiên.41. Định nghĩaVí dụ:Trong quan hệ Sinhvien (Masv, Hoten, Phai, NgSinh,Quequan, Diachi) Có các phụ thuộc hàm sau:Masv  Quequan, DiachiMasv, Hoten  Ngsinh, Quequan Không có các phụ thuộc hàm sau:Hoten  Ngsinh, Quequan5