Phụ thuộc hàm

54 1.8K 0
Phụ thuộc hàm

Đang tải... (xem toàn văn)

Tài liệu hạn chế xem trước, để xem đầy đủ mời bạn chọn Tải xuống

Thông tin tài liệu

     !"#$ −  !"#$%&'() − * *+) −  !,,-./$*) 01 !2!3 .4! 567 % &⇔'(%)*(%⇒ '(&)*(& 89!:;5<#1 3     =>1?@A  ?  @ A   B C D  C B C D   C C  E) ? EE) ?@8 EEE)@A8    +, FG⊇H) − =I!* ,-./J "##1 K*+*L9 J⊇';#1 !M!+(    -./01*3  !"#$%8";N8EJEAN 7O*P3Q*5*RGS! T7R  /2334/56%6& − NU#;,$*RM;!;*5!V*+9S!3I! − FG"#;,W!;*5*+;!;*5*+!VH*P3Q*R S! J7R    =>1N8EJEAN#X?YEZ[\    ;H-P"#$% − NV"#9M9$%&')))(   − NV#1 9M9  :   2 7  ∅  ?  @ ?  @ ? ?@ ? ?@   ? ? =>1%&?@ • NV"# C &] • NV08\& C : C &D] 8-92515#  :;<1+#= − 01 %→&7<>!^!_JG*,-./K`- P;#1 $JHaK#1 →)[4!Jb&→)  7:>#? @  − ?9$J.4!J %  "#-P;#1 7<>!^!_J) 8-92515#  .AB?- @ − 8#P:SJ⊆J % − 8c!FGJ⊆YHJ % ⊆Y % − 8a<dJ %  % &J % ) − Ye!Y "#-P;#1 9M9$*#f#1$J.4!J ‑ &Yg J % 8-92515#  8-9215# − hi "#$% − * ,-./$) − 7-?,:C215#D '( E-FGH*RjR:!3R*R FG⊂H→ *( E-I#5;J#R!*R FGh⊂3 →Hh→h K( E-LMN8*7!3!<kR FG→3 →hH→h [...]... 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... 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ễn từ các FDs khác − Ví dụ: A→C là dư thừa đối với F: (A→B, B→C, A→ C)  Một phần của phụ thuộc hàm cũng... đầ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

Ngày đăng: 29/03/2014, 18:54

Từ khóa liên quan

Mục lục

  • Slide 1

  • Phụ thuộc hàm (FD)

  • Phụ thuộc hàm (FD)

  • Phụ thuộc hàm (FD)

  • Phụ thuộc hàm (FD)

  • Phụ thuộc hàm (FD)

  • Phụ thuộc hàm (FD)

  • Hệ luật dẫn Armstrong

  • Hệ luật dẫn Armstrong

  • Hệ luật dẫn Armstrong

  • Hệ luật dẫn Armstrong

  • Bao đóng của tập thuộc tính X (closures of attribute sets)

  • Bao đóng của tập thuộc tính X (closures of attribute sets)

  • Bao đóng của tập thuộc tính X (closures of attribute sets)

  • Bao đóng của tập thuộc tính X (closures of attribute sets)

  • Sử dụng bao đóng của tập thuộc tính

  • Phụ thuộc hàm dư thừa

  • Bao đóng của tập phụ thuộc hàm

  • Bao đóng của tập phụ thuộc hàm

  • Bao đóng của tập phụ thuộc hàm

Tài liệu cùng người dùng

Tài liệu liên quan