Bài giảng Cơ sở dữ liệu: Bài 7 - ThS. Vũ Văn Định

Bài giảng Cơ sở dữ liệu - Bài 7: Phụ thuộc dữ liệu trong mô hình quan hệ. Chương này gồm có những nội dung chính như sau: Phụ thuộc hàm (Functional Dependencies : FD), hệ tiên đề cho phụ thuộc hàm, tập phụ thuộc hàm tương đương,... Mời các bạn cùng tham khảo.
Nội dung trích xuất từ tài liệu:
Bài giảng Cơ sở dữ liệu: Bài 7 - ThS. Vũ Văn ĐịnhTopTaiLieu.Com | Chia Sẻ Tài Liệu Miễn PhíBài 7. PHỤ THUỘC DỮ LIỆU TRONGMÔ HÌNH QUAN HỆI. Phụ thuộc hàm (Functional Dependencies : FD)1. Định nghĩa :Cho R(U) là một lược đồ quan hệ với U = { A1, ..,An} là tập thuộc tính. X và Y là tập con của U.Nói rằng X  Y (đọc là X xác định hàm Y hoặc Yphụ thuộc hàm vào X) nếu r là một quan hệ xác địnhtrên R (U) sao cho bất kỳ hai bộ t1, t2  r màt1[X]= t2[X] thìt1[Y] = t2[Y]TopTaiLieu.Com | Chia Sẻ Tài Liệu Miễn Phí Ví dụ : Trong quan hệ SV, mỗi thuộc tínhDIACHI, NS, KETQUA đều phụ thuộc hàm (pth ) vàothuộc tính SV#. Mỗi giá trị SV# xác định duy nhấtmột giá trị tương ứng đối với từng thuộc tính đó. Khiđó , có thể viết :SV#  DIACHISV#  NSSV#  KETQUA Nếu Y X thì hiển nhiên X  YTopTaiLieu.Com | Chia Sẻ Tài Liệu Miễn Phí2. Hệ tiên đề cho phụ thuộc hàm2.1. K/n bao đóng của một tập phụ thuộc hàm•Gọi F là tập tất cả các pth đối với lược đồ quan hệR(U) và X Y là một pth, X, Y  U.•Nói rằng X Y được suy diễn logic từ F nếu mỗiquan hệ r trên R( U) đều thoả các pth của F thì cũngthoả X  Y.•Chẳng hạn F = { A  B, B  C} thì A  C•Tập tất cả các pth được suy diễn logic từ F được gọilà bao đóng của F. Kí hiệu là F+.•Nếu F+ = F thì F là họ đầy đủ của các pthTopTaiLieu.Com | Chia Sẻ Tài Liệu Miễn Phí2.2. Hệ tiên đề AmstrongNăm 1974, Amstrong đưa ra hệ luật dẫnhay các tính chất của phụ thuộc hàm, gọilà hệ tiên đề Amstrong:Cho X, Y, Z, W  U . Ta có các luật sau :A1. Luật phản xạ :Nếu Y  X thì X YA2. Luật bổ sung :X  Y thì XZ  YZA3. Luật bắc cầu :Nếu X  Y và Y  Z thì X ZTopTaiLieu.Com | Chia Sẻ Tài Liệu Miễn PhíHệ tiên đề Amstrong được chứng minhlà đúng đắn và đầy đủ thông qua 3 bổđề sau:Bổ đề 1 : Hệ tiên đề Astrong là đúng.Có nghĩa là, với F là một tập các pthđúng trên quan hệ r. Nếu X  Y là mộtpth được suy dẫn từ F nhờ hệ tiên đềAmstrong thì X Y là đúng trên quanhệ r