Bài giảng Cơ sở dữ liệu: Chương 7 Phụ thuộc hàm và Chuẩn hóa CSDL do TS. Nguyễn Quốc Tuấn biên soạn với các nội dung như: Phụ thuộc hàm, các dạng chuẩn, một số thuật toán chuẩn hóa,! | Phụ thuộc hàm và Chuẩn hóa CSDL Quốc Tuấn Bm. Mạng & HTTT Nội dung Phụ thuộc hàm. Các dạng chuẩn. Một số thuật toán chuẩn hóa. Phụ thuộc hàm (1) Phụ thuộc hàm(PTH) - Functional Dependencies Xét lược đồ quan hệ gồm n thuộc tính R(U), U={A1, A2, , An} PTH giữa hai tập thuộc tính X, Y ⊆ U Ký hiệu: X → Y. ∀r ∈ R, ∀ t1, t2 ∈ r nếu t1[X] = t2[X] thì t1[Y] = t2[Y]. X là vế trái và Y là vế phải của PTH. X → Y được gọi là PTH hiển nhiên nếu Y ⊆ X X → Y được gọi là PTH nguyên tố (Y PTH đầy đủ vào X nếu nếu ∀X' ⊂ X thì X' không → Y Phụ thuộc hàm (2) r ∈R thỏa mãn các PTH gọi là trạng thái hợp lệ của R Nhận xét: Các PTH xuất phát từ các ràng buộc trong thế giới thực. ∀r ∈ R, ∀t ∈ r, t [X] là duy nhất thì X là một khóa của R. Nếu K là một khóa của R thì K xác định hàm tất cả các tập thuộc tính của R. PTH dùng để đánh giá một thiết kế CSDL Bao đóng của tập PTH F là tập PTH trên R Bao đóng của F, ký hiệu F+, gồm F = {MaNV → TenNV, MaPB → {TenPB, TrPhong}, MaNV → MaPB}. ∀r ∈ R thỏa F và MaNV → {TenPB, TrPhong} cũng đúng với r thì MaNV → {TenPB, TrPhong} gọi là được suy diễn từ F. F Tất cả các PTH được suy diễn từ F. F gọi là đầy đủ nếu F = .
