CƠ SỞ DỮ LIỆU GV: ThS. Lê Thị Ngọc Thảo Chương 5: Phụ thuộc hàm (PTH) 5.1. Định nghĩa 5.2. Biểu diễn PTH bằng đồ thị 5.3. Suy diễn logic các PTH 5.4. Hệ tiên đề Amstrong 5.5. Bao đóng 5.6. Bao đóng của tập thuộc tính 5.7. Khóa - Thuật toán tìm khóa 5.8. Phủ tối thiểu www.tdt.edu.vn 2 C ơ Sở Dữ Liệu 5.1. Định nghĩa ™ PTH: ƒ Là sự biểu diễn RBTVdưới hình thức toán học ƒ Bảo đảm thông tin không bị tổn thất khi phân rã hoặc kết nối giữa các quan hệ. ™ 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ì nói rằng A xác định hàm B, hay B PTH vào A. ™ Ký hiệu: A → B. www.tdt.edu.vn 3 Cơ Sở Dữ Liệu 5.1. Định nghĩa (tt) ™ Định nghĩa hình thức của PTH: ƒ Quan hệ Q (A, B, C) Q (A, B, C) có PTH 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’.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 PTH, B là vế phải của PTH ™ PTH A → A được gọi là PTH hiển nhiên. www.tdt.edu.vn 4 C ơ Sở Dữ Liệu 5.1. Định nghĩa (tt) ™ Ví dụ 1: Trong quan hệ Sinhvien (Masv, Hoten, Phai, NgSinh, Quequan, Diachi) ƒ Có các PTH sau: • Masv Æ Quequan, Diachi • Masv, Hoten Æ Ngsinh, Quequan ƒ Không có các PTH sau: • Hoten Æ Ngsinh, Quequan www.tdt.edu.vn 5 Cơ Sở Dữ Liệu 5.1. Định nghĩa (tt) ™ Ví dụ 2: Trong QuanHệ CHITIẾT_HĐ (Số-hóa￾đơn, Mã-hàng, Số-lượng, Đơn-giá, Trị-giá) ƒ Có các PTH sau: • f1: Số-hóa-đơn, Mã-hàng → Số-lượng • f2: Số-hóa-đơn, Mã-hàng → Đơn-giá. • f3: Số-hóa-đơn, Mã-hàng → Trị-giá. • f4: Số-lượng, Đơn-giá → Trị-giá. www.tdt.edu.vn 6 C ơ Sở Dữ Liệu