tailieunhanh - 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. | PHỤ THUỘC HÀM 1. Định nghĩa 2. Biểu diễn Pth bằng đồ thị 3. Suy diễn logic các phụ thuộc hàm 4. Hệ tiên đề Amstrong 5. Bao đóng 6. Bao đóng của tập thuộc tính 7. Khóa - Thuật toán tìm khóa 1 PHỤ THUỘC HÀM GIỚI THIỆU Phụ 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àng buộ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ất lượng thiết kế của 1 CSDL 2 1. Định nghĩa Quan 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. 3 1. Đị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 thì = q’.B Nghĩ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. 4 1. Định nghĩa Ví dụ: Trong quan hệ Sinhvien (Masv, Hoten, Phai, NgSinh, Quequan, Diachi) Có các phụ thuộc hàm sau: Masv Quequan, Diachi Masv, Hoten Ngsinh, Quequan Không có các phụ thuộc hàm sau: Hoten Ngsinh, .