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

TopTaiLieu.Com | Chia Sẻ Tài Liệu Miễn Phí<br /> <br /> Bài 7. PHỤ THUỘC DỮ LIỆU TRONG<br /> MÔ HÌNH QUAN HỆ<br /> I. Phụ thuộc hàm (Functional Dependencies : FD)<br /> 1. Định nghĩa :<br /> Cho R(U) là một lược đồ quan hệ với U = { A1, ..<br /> ,An} là tập thuộc tính. X và Y là tập con của U.<br /> Nói rằng X  Y (đọc là X xác định hàm Y hoặc Y<br /> phụ thuộc hàm vào X) nếu r là một quan hệ xác định<br /> trên R (U) sao cho bất kỳ hai bộ t1, t2  r mà<br /> t1[X]= t2[X] thì<br /> t1[Y] = t2[Y]<br /> <br /> TopTaiLieu.Com | Chia Sẻ Tài Liệu Miễn Phí<br /> <br />  Ví dụ : Trong quan hệ SV, mỗi thuộc tính<br /> DIACHI, NS, KETQUA đều phụ thuộc hàm (pth ) vào<br /> thuộc tính SV#. Mỗi giá trị SV# xác định duy nhất<br /> một giá trị tương ứng đối với từng thuộc tính đó. Khi<br /> đó , có thể viết :<br /> SV#  DIACHI<br /> SV#  NS<br /> SV#  KETQUA<br />  Nếu Y X thì hiển nhiên X  Y<br /> <br /> TopTaiLieu.Com | Chia Sẻ Tài Liệu Miễn Phí<br /> <br /> 2. Hệ tiên đề cho phụ thuộc hàm<br /> 2.1. K/n bao đóng của một tập phụ thuộc hàm<br /> •<br /> Gọi F là tập tất cả các pth đối với lược đồ quan hệ<br /> R(U) và X Y là một pth, X, Y  U.<br /> •<br /> Nói rằng X Y được suy diễn logic từ F nếu mỗi<br /> quan hệ r trên R( U) đều thoả các pth của F thì cũng<br /> thoả X  Y.<br /> •<br /> Chẳng hạn F = { A  B, B  C} thì A  C<br /> •<br /> Tập tất cả các pth được suy diễn logic từ F được gọi<br /> là bao đóng của F. Kí hiệu là F+.<br /> •<br /> Nếu F+ = F thì F là họ đầy đủ của các pth<br /> <br /> TopTaiLieu.Com | Chia Sẻ Tài Liệu Miễn Phí<br /> <br /> 2.2. Hệ tiên đề Amstrong<br /> <br /> <br /> <br /> <br /> Năm 1974, Amstrong đưa ra hệ luật dẫn<br /> hay các tính chất của phụ thuộc hàm, gọi<br /> là hệ tiên đề Amstrong:<br /> Cho X, Y, Z, W  U . Ta có các luật sau :<br /> A1. Luật phản xạ :<br /> Nếu Y  X thì X Y<br /> A2. Luật bổ sung :<br /> X  Y thì XZ  YZ<br /> A3. Luật bắc cầu :<br /> Nếu X  Y và Y  Z thì X Z<br /> <br /> TopTaiLieu.Com | Chia Sẻ Tài Liệu Miễn Phí<br /> <br /> <br /> <br /> <br /> <br /> Hệ tiên đề Amstrong được chứng minh<br /> là đúng đắn và đầy đủ thông qua 3 bổ<br /> đề sau:<br /> Bổ đề 1 : Hệ tiên đề Astrong là đúng.<br /> Có nghĩa là, với F là một tập các pth<br /> đúng trên quan hệ r. Nếu X  Y là một<br /> pth được suy dẫn từ F nhờ hệ tiên đề<br /> Amstrong thì X Y là đúng trên quan<br /> hệ r<br /> <br />