1. Trang chủ
  2. » Công Nghệ Thông Tin

Phụ thuộc hàm

54 1,8K 0

Đ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

Thông tin cơ bản

Định dạng
Số trang 54
Dung lượng 539,87 KB

Nội dung

     !"#$ −  !"#$%&'() − * *+) −  !,,-./$*) 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

Xem thêm

TỪ KHÓA LIÊN QUAN

w