Phụ thuộc hàm cơ sỡ dữ liêu

PHỤ THUỘC HÀM (functional dependency) Phụ thuộc hàm (FD)  Định nghĩa Q(A1,  An)  X+={A1,  An}.  r là    t1, t2    là X Y  X Y (t1.X = t2.X  t1.Y = t2.Y) (X) Phụ thuộc hàm (FD)   A B C D E 1 2 3 4 5 1 4 3 4 5 1 2 4 4 1 I. AB  C II. B  D (T) III. DE  A (T) Phụ thuộc hàm (FD)  Phụ thuộc hàm hiễn nhiên: X  Y thì X Y.    F {hàm  Phụ thuộc hàm (FD)  Thuật toán Satifies: Cho quan  r và X, Y là hai  con  Q+,  toán SATIFIES     true  X  Y   là false  SATIFIES(r,X,Y)   các   quan  r theo X  các giá   nhau trên X nhóm   nhau    các  cùng giá  trên X cho các giá  trên Y  nhau thì   true   là False Phụ thuộc hàm (FD)  Ví  Phụ thuộc hàm (FD)  Cách +:  + = {A ,A , ,A } là 2 n  có: 2 n x2 n A B C D  A B C D AB AC AD BC BD ABC ABD C AC BC ABC C, D) •  4 =16 • =2 4 x2 4 =256 Hệ luật dẫn Armstrong  Phụ thuộc hàm được suy diễn logic từ F  P  hàm X  Y  suy  logic  F   quan  r    mãn   các   hàm  F thì     hàm X  Y. Ký  F|= X  Y.  Bao đóng của F (F + )  Bao   F ký  F + là    các   hàm  suy  logic  F. Hệ luật dẫn Armstrong  Các tính chất của tập F +  Tính  F +  Tính  G thì F +  G +  Tính  + ) + = F + .    - = G - F + Hệ luật dẫn Armstrong  Hệ luật dẫn Amstrong:  Cho X,Y,Z,W là  con  Q+  r   Ba luật của tiên đề Amstrong: 1. Luật phản xạ (reflexive rule):  X thì X  Y 2. Luật tăng trưởng(augmentation rule):  Q và X  Y thì XZ  YZ 3. Luật bắc cầu (Transivity Rule)  Y và Y  Z thì X  Z [...]... là tập phụ thuộc hàm không dư thừa Phủ tối thiểu của tập phụ thuộc hàm (minimal cover)  Thuật toán tìm phủ tối thiểu của một tập phụ thuộc hàm  Bước 1: Loại bỏ các phụ thuộc hàm có vế trái dư thừa  Bước 2: Tách các phụ thuộc hàm có vế phải nhiều hơn một thuộc tính thành các phụ thuộc hàm có vế phải một thuộc tính  Bước 3: Loại bỏ các phụ thuộc hàm dư thừa Phủ tối thiểu của tập phụ thuộc hàm (minimal... đầy đủ B  C :là phụ thuộc hàm đầy đủ Phủ tối thiểu của tập phụ thuộc hàm (minimal cover) Ví dụ 2: cho tập phụ thuộc hàm F = {A BC , B  C, AB  D} Phụ thuộc hàm AB  D có vế trái dư thừa B vì: F = F – {AB  D} {A  D} = {A  BC, B  C, A  D}  F là tập phụ thuộc hàm có vế trái không dư thừa nếu F không chứa phụ thuộc hàm có vế trái dư thừa Phủ tối thiểu của tập phụ thuộc hàm (minimal cover) ... tập phụ thuộc hàm dư thừa Ví dụ: Cho F = {A  BC, B  D, AB  D} thì F dư thừa vì F  F’= {ABC, BD} Phủ tối thiểu của tập phụ thuộc hàm (minimal cover)  Tập phụ thuộc hàm tối thiểu (minimal cover)  F được gọi là một tập phụ thuộc hàm tối thiểu (hay phủ tối thiểu) nếu F thỏa đồng thời ba điều kiện sau: F là tập phụ thuộc hàm có vế trái không dư thừa F là tập phụ thuộc hàm có vế phải một thuộc. .. chứa phụ thuộc hàm CE  F không tương đương với G’ Phủ tối thiểu của tập phụ thuộc hàm (minimal cover)  Phụ thuộc hàm có vế trái dư thừa:  F là tập các phụ thuộc hàm trên lược đồ quan hệ Q  ZYF  Phụ thuộc hàm Z  Y có vế trái dư thừa nếu có một AZ sao cho: F  F-{Z  Y}{(Z-A)  Y} Ví dụ 1: Q(A,B,C), F={ABC; BC} F  F-{ABC}{(AB-A)C}={BC} AB  C: là phụ thuộc hàm không đầy đủ B  C :là phụ. .. tập phụ thuộc F ={AB CD, B  C, C  D} Tìm phủ tối thiểu của F  Bước 1: AB  CD là phụ thuộc hàm có vế trái dư thừa?  Xét B  CDF+ ?  Tính B+ =BCD  B  CD F+  Vậy AB  CD là phụ thuộc hàm có vế trái dư thừa A  F={B  CD; B  C; C  D} Phủ tối thiểu của tập phụ thuộc hàm (minimal cover)  Bước 2: tách các phụ thuộc hàm có vế phải nhiều hơn 1 thuộc tính thành các phụ thuộc hàm có vế phải 1 thuộc. .. các phụ thuộc hàm có vế trái dư thừa:  Xét lần lượt các phụ thuộc hàm X Y trong F  Với mọi tập con X’≠  của X, nếu X’ Y  F+ thì thay X Y bằng X’ Y Ví dụ 3: F = {A BC , B  C, AB  D}, phụ thuộc hàm AB  D có A+=ABC  A  DF+  Trong F ta thay AB  D bằng A  D  F = {A  BC,B  C, A  D} Phủ tối thiểu của tập phụ thuộc hàm (minimal cover)  Phụ thuộc hàm dư thừa:  F là tập phụ thuộc hàm. .. của phụ thuộc hàm có vế trái là AB Bao đóng của tập phụ thuộc hàm  1/ Cho quan hệ sau:  r( A B C D E)  a1 b1 c1 d1 e1  a1 b2 c2 d2 d1  a2 b1 c3 d3 e1  a2 b1 c4 d3 e1  a3 b2 c5 d1 e1 Phụ thuộc hàm nào sau đây thỏa r: AD,ABD,CBDE,EA,AE Bao đóng của tập phụ thuộc hàm 1 Cho Q+={ABC}  a) Tìm tất các các tập con của Q  b) Tìm tất cả các phụ thuộc hàm có thể có của Q (không liệt kê phụ thuộc hàm. .. ACAB,ACBC, ACABC} Bao đóng của tập phụ thuộc hàm  Thuật toán tìm F+ cải tiến:  Bước 1: Tìm tất cả tập con của Q+  Bước 2: Tìm bao đóng của tất cả tập con của Q+  Bước 3: Dựa vào bao đóng của các tập con đã tìm để suy ra các phụ thuộc hàm thuộc F+ Bao đóng của tập phụ thuộc hàm  Ví dụ:  A+ = A chỉ gồm các phụ thuộc hàm hiển nhiên  {AB}+ = ABC cho các phụ thuộc hàm không hiển nhiên sau: ABC, AB... của tập phụ thuộc hàm  Bao đóng của F ký hiệu F+ là tập tất cả các phụ thuộc hàm được suy diễn logic từ F  Thuật toán tìm bao đóng F+  Bước 1: Tìm tất cả tập con của Q+  Bước 2: Tìm tất cả các phụ thuộc hàm có thể có của Q  Bước 3: Tìm bao đóng của tất cả tập con của Q  Bước 4: Dựa vào bao đóng của tất cả các tập con đã tìm để xác định phụ thuộc hàm nào thuộc F+ Bao đóng của tập phụ thuộc hàm ... (candidate key) né u không tập ̣ con nào trong só cá c tạ p con củ a nó là khó a  Kiểm tra một phụ thuộc hàm XY có được suy dẫn từ F  Kiểm tra 2 tập phụ thuộc hàm tương đương F+=G+  Với mỗi phụ thuộc hàm YZ trong F Tính Y+ trên tập phụ thuộc hàm G Nếu Z  Y+ thì YZ trong G+ và ngược lại Phụ thuộc hàm dư thừa  Tạ p cá c phụ thuọ c hà m có thẻ là dư thưa vì ̀ chú ng có thẻ suy diẽ . t2.Y) (X) Phụ thuộc hàm (FD)   A B C D E 1 2 3 4 5 1 4 3 4 5 1 2 4 4 1 I. AB  C II. B  D (T) III. DE  A (T) Phụ thuộc hàm (FD)  Phụ thuộc hàm hiễn. a.  Kim tra một phụ thuộc hàm XY có được suy dẫn từ F.  Kim tra 2 tập phụ thuộc hàm tương đương F + =G +      hàm YZ trong F Tính Y+ trên    hàm G  Z  Y+. giá  trên Y  nhau thì   true   là False Phụ thuộc hàm (FD)  Ví  Phụ thuộc hàm (FD)  Cách +:  +