phủ tối thiểu minimal cover tập phụ thuộc hàm không đầy đủ

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

... Phủ tối thiểu tập phụ thuộc hàm (minimal cover)  Tập phụ thuộc hàm tối thiểu (minimal cover)  F gọi tập phụ thuộc hàm tối thiểu (hay phủ tối thiểu) F thỏa đồng thời ba điều kiện sau: F tập ... tập phụ thuộc hàm có vế trái không dư thừa F tập phụ thuộc hàm có vế phải thuộc tính F tập phụ thuộc hàm không dư thừa Phủ tối thiểu tập phụ thuộc hàm (minimal cover)  Thuật toán tìm phủ tối ... BC,B  C, A  D} Phủ tối thiểu tập phụ thuộc hàm (minimal cover)  Phụ thuộc hàm dư thừa:  F tập phụ thuộc hàm không dư thừa không tồn F’ F cho F’ F Ngược lại F tập phụ thuộc hàm dư thừa Ví...

54
335
0

xác định phủ tối thiểu của tập phụ thuộc hàm trên f

Danh mục: Điện - Điện tử - Viễn thông

...

70
1,151
1

Tài liệu Báo cáo tiểu luận: Phụ thuộc hàm, khóa tối thiểu , phủ tối thiểu của quan hệ doc

Danh mục: Báo cáo khoa học

... II.Tìm phủ tối thiểu cho toán sau: B3: Loại bỏ thuộc tính dư thừa bên trái phụ thuộc hàm Sau thực B2 ta có F={ B→D, B→E, D→C, E→A, E→G} Và loại bỏ thuộc tính bên vế trái phụ thuộc hàm nên phủ tối thiểu ... toán sau: B3: Loại bỏ thuộc tính dư thừa bên trái phụ thuộc hàm Sau thực B2 ta có F={ BE→C, EI→B, C→D, C→I, BC→A } Và loại bỏ thuộc tính bên vế trái phụ thuộc hàm nên phủ tối thiểu là: F={ BE→C, ... Loại bỏ thuộc tính dư thừa bên trái phụ thuộc hàm Sau thực B2 ta có F={A→B, BC→D, CE→G, ACE→H, CG→B} Và loại bỏ thuộc tính bên vế trái phụ thuộc hàm nên phủ tối thiểu là: F={A→B, BC→D, CE→G, ACE→H,...

21
952
0

thiết kế cơ sở dữ liệu quan hệ - phần 5 phủ cover của tập phụ thuộc hàm

Danh mục: Cơ sở dữ liệu

... G Βướχ : Β χ2: Τνη Φ+, Γ+ Ν υ Φ+ = Γ+, => Φ ≡ Γ Phủ tối thiểu tập phụ thuộc hàm (p.1) Phủ tối thiểu Tập Phụ thuộc hàm không đầy đủ (minimal cover) Χηο λượχ đồ Θ, τậπ ΠΤΗ Φ, ΖΨ ∈ Φ ΖΨ γọι ... ế τρ〈ι κηνγ δ τη ừα , νếυ Φ κηνγ χηứα ΠΤΗ χ⌠ ϖế τρ〈ι δư τηừα Phủ tối thiểu tập phụ thuộc hàm (p.2) Phụ thuộc hàm không đầy đủ - Ví dụ Χηο Θ(ΑΒΧ), Φ={ΑΒΧ, ΒΧ} Ξτ ΑΒΧ : Φ’ = Φ – {ΑΒΧ} = ... τậπ χον Ξ’≠∅ χủα Ξ : Ν υ Ξ’Ψ ∈ Φ+ : τηαψ Ξ = Ξ’, λặπ λạι 2.1 Phủ tối thiểu tập phụ thuộc hàm (p.4) Tập phụ thuộc hàm có vế phải thuộc tính • Địνη νγηĩα : Φ đượχ γọι λ◊ τ ậπ πη ụ τηυ ộχ η◊µ χ⌠...

18
619
0

PHỤ THUỘC HÀM, KHÓA TỐI THIỂU, PHỦ TỐI THIỂU CỦA QUAN HỆ

Danh mục: Kỹ thuật lập trình

... II.Tìm phủ tối thiểu cho toán sau: B3: Loại bỏ thuộc tính dư thừa bên trái phụ thuộc hàm Sau thực B2 ta có F={ B→D, B→E, D→C, E→A, E→G} Và loại bỏ thuộc tính bên vế trái phụ thuộc hàm nên phủ tối thiểu ... toán sau: B3: Loại bỏ thuộc tính dư thừa bên trái phụ thuộc hàm Sau thực B2 ta có F={ BE→C, EI→B, C→D, C→I, BC→A } Và loại bỏ thuộc tính bên vế trái phụ thuộc hàm nên phủ tối thiểu là: F={ BE→C, ... Loại bỏ thuộc tính dư thừa bên trái phụ thuộc hàm Sau thực B2 ta có F={A→B, BC→D, CE→G, ACE→H, CG→B} Và loại bỏ thuộc tính bên vế trái phụ thuộc hàm nên phủ tối thiểu là: F={A→B, BC→D, CE→G, ACE→H,...

21
598
0

Khai phá phụ thuộc hàm xấp xỉ sử dụng phủ tối thiểu và lớp tương đương

Danh mục: Cao đẳng - Đại học

... Khai phá phụ thuộc hàm phụ thuộc hàm xấp xỉ 1.2.1 Khai phá phụ thuộc hàm Phụ thuộc hàm biểu diễn mối quan hệ thuộc tính sở liệu, phụ thuộc hàm giá trị thuộc tính đƣợc xác định giá trị số thuộc ... toán 2.1: Tìm phủ tối tiểu tập phụ thuộc hàm F tập thuộc tính U INPUT: F, U OUTPUT: G {G phủ tối thiểu F} Bƣớc 1: G   Tách tất phụ thuộc hàm f F thành phụ thuộc hàm mà vế phải có thuộc tính: ... buộc thuộc tính quan hệ, ràng buộc đƣợc biểu diễn phụ thuộc hàm Phụ thuộc thuộc tính: có loại phụ thuộc thuộc tính thƣờng đƣợc khám phá : phụ thuộc hàm (FD), phụ thuộc có điều kiện (CFDs) phụ thuộc...

69
334
0

Bài tập phụ thuộc hàm

Danh mục: Kỹ thuật lập trình

... f Kí hiệu F+ tập tất phụ thuộc hàm suy dẫn từ tập F theo hệ tiên đề Amstrong + Ta thấy F⊆ F F+ gọi bao đóng tập phụ thuộc hàm F, F+ =F ta nói F tập đầy đủ phụ thuộc hàm, ta nói F tập đóng Định ... tập phụ thuộc hàm tập thuộc tính U, f phụ thuộc hàm U, (f không thuộc F), nói f suy dẫn từ tập F theo quan hệ ký hiệu F ╞f, với quan hệ R U, R thoả mãn F R thoả mãn f Ký hiệu F* tập tất phụ thuộc ... Bài tập Tìm phủ không dư tập phụ thuộc hàm F={A→C, AB→C, C→DI, EC→AB, EI→C} Bài tập Cho F={A→B, C→D} với C⊂B, chứng minh A→D suy dẫn từ F Bài tập + Một phụ thuộc hàm X→Y gọi dư thừa tập phụ thuộc...

8
7,244
169

chương 5 Phủ của tập phụ thuộc hàm

Danh mục: Cơ sở dữ liệu

... phụ thuộc hàm không đầy đủ B → C phụ thuộc hàm đầy đủ Chú ý: phụ thuộc hàm có vế trái chứa thuộc tính phụ thuộc hàm đầy đủ Ví dụ 3: cho tập phụ thuộc hàm F = {A → BC,B → C,AB → D} phụ thuộc hàm ... (minimal cover) F gọi tập phụ thuộc hàm tối thiểu (hay phủ tối thiểu) F thỏa đồng thời ba điều kiện sau: F tập phụ thuộc hàm có vế trái không dư thừa F tập phụ thuộc hàm có vế phải thuộc tính F tập phụ ... → D} = G G gọi tập phụ thuộc hàm có vế phải thuộc tính Tập phụ thuộc hàm không dư thừa Nói F tập phụ thuộc hàm không dư thừa không tồn F’⊂ F cho F’≡ F Ngược lại F tập phụ thuộc hàm dư thừa Ví...

9
2,570
46

Bài 12. Phủ Của Tập Phụ Thuộc Hàm

Danh mục: Tin học

... hàm tối thiểu F gọi phụ thuộc hàm tối thiểu (phủ tối thiểu) F thỏa mãn đồng thời ba điều kiên sau: F tập phụ thuộc hàm có vế trái không dư thừa F tập phụ thuộc hàm có vế phải thuộc tính F tập phụ ... không dư thừa hay Y phụ thuộc hàm đầy đủ vào Z hay phụ thuộc hàm đầy đủ Chú ý: Phụ thuộc hàm có vế trái chứa thuộc tính phụ thuộc hàm đầy đủ * Thuật toán loại khỏi F phụ thuộc hàm có vế trái dư thừa ... Các tập phụ thuộc hàm tương đương Cho F G hai tập phụ thuộc hàm tập thuộc tính U, ta nói tập phụ thuộc hàm F tương đương với tập phụ thuộc hàm G F+ =G+ Nếu F+ =G+ ta nói F phủ G ngược lại G phủ...

31
649
11

Tài liệu Bài tập về phụ thuộc hàm pptx

Danh mục: Cơ sở dữ liệu

... R2 = ACD Với tập phụ thuộc hàm F = { A -> B, AC -> D } Bài 10: Kiểm tra tính kết nối không mát thông tin R = ABCDEI thành: R1 = AD, R2 = AB, R3 = BE, R4 = CDE Với tập phụ thuộc hàm F = { A -> ... ABCDEF) tập phụ thuộc hàm F F = { AB -> C, AB -> D, AB -> EF} Lược đồ có dạng chuẩn 3NF? Vì sao? Nếu chưa chuẩn hoá lược đồ 3NF Bài 5: Cho lược đồ quan hệ R = ( ABCDEF) tập phụ thuộc hàm F F ... ABCDEFGH) tập phụ thuộc hàm F F = { AB -> C, AB -> D, AB -> EF, AB -> GH} Lược đồ có dạng chuẩn BCNF? Vì sao? Nếu chưa chuẩn hoá lược đồ BCNF Bài 7: Cho lược đồ quan hệ R = ( ABCDEFGH) tập phụ thuộc hàm...

5
3,493
60

Bài tập phụ thuộc hàm

Danh mục: Kỹ thuật lập trình

... Các dạng tập Tìm tập bao đóng tập thuộc tính Kiểm tra tập thuộc tính có phải khóa không Kiểm tra tập phụ thuộc hàm có tương đương Kiểm tra phụ thuộc hàm có suy diễn từ tập phụ thuộc hàm cho trước ... Dạng – Kiểm tra phụ thuộc hàm có tương đương – F G tương đương khi: • Mọi phụ thuộc hàm F suy từ G • Mọi phụ thuộc hàm G suy từ F – Kiểm tra phụ thuộc hàm F G – tập phụ thuộc hàm có tương đương: ... Tìm phụ thuộc hàm dư thừa Tìm tập bao phủ tối thiểu Xác định chuẩn hóa chuẩn hóa liệu Cách làm • Dạng 1: – Giải thuật tìm tập bao đóng Cách làm • Dạng – Ví dụ – Cho tập phụ thuộc hàm: – Tìm tập...

17
2,176
9

Phụ thuộc hàm suy rộng trên cơ sở lý thuyết tạp thô. doc

Danh mục: Cơ khí - Chế tạo máy

...

8
398
3

BÀI TẬP PHỤ THUỘC HÀM – CHUẨN HÓA CSDL doc

Danh mục: Cao đẳng - Đại học

... 14)Xác định phủ tối thiểu tập phụ thuộc hàm sau: a) Q(A,B,C,D,E,G), F={AB→C;C→A;BC→D;ACD→B;D→EG;BE→C;CG→BD;CE→AG} b) Q(A,B,C) F={A→B,A→C,B→A,C→A,B→C} 15)Xác định phủ tối thiểu tập phụ thuộc hàm sau: ... Hãy tìm tập phủ tối thiểu F b) Tìm tất khóa Q 6) Q(A,B,C,D,E,G) Cho F={AB→C;C→A;BC→D;ACD→B;D→EG;BE→C;CG→BD;CE → AG} X={B,D}, X+=? Y={C,G}, Y+=? 7) cho lược đồ quan hệ Q tập phụ thuộc hàm F a) ... (những phụ thuộc hàm F bao Qi) b) Lược đồ CSDL C có đạt dạng chuẩn BC ? Nếu không phân rã tiếp Qi C để biến C thành dạng chuẩn BC ? 8/ Giả sử ta có lược đồ quan hệ Q(C,D,E,G,H,K) tập phụ thuộc hàm...

9
4,499
53

Tập phụ thuộc hàm được Bao trong quan hệ Qi pot

Danh mục: Cơ sở dữ liệu

... F3, F4, F5 tập bao quan hệ Qi trên.(i=1,2,3,4,5) ? Xác định F1 với Q1(KE XC) + xác định phụ thuộc hàm F có vế trái thuộc tính Q1 : KE->XC + Tính (KE)+ = KEXCV Giao với KEXC = KEXC thuộc tính ... {KE->XC} Xác định F2 với Q2(AB CY) + xác định phụ thuộc hàm F có vế trái thuộc tính Q2: AB->CY, C->V + Tính (AB)+ = ABCYV giao với Q2(ABCY) cho thuộc tính giống (AB)+ Q2, ta có AB->CY + Tính...

2
749
2

Bài tập về phụ thuộc hàm potx

Danh mục: Cơ sở dữ liệu

... f Kí hiệu F+ tập tất phụ thuộc hàm suy dẫn từ tập F theo hệ tiên đề Amstrong Ta thấy F⊆ F+ F+ gọi bao đóng tập phụ thuộc hàm F, F + =F ta nói F tập đầy đủ phụ thuộc hàm, ta nói F tập đóng Định ... tập phụ thuộc hàm tập thuộc tính U, f phụ thuộc hàm U, (f không thuộc F), nói f suy dẫn từ tập F theo quan hệ ký hiệu F ╞f, với quan hệ R U, R thoả mãn F R thoả mãn f Ký hiệu F* tập tất phụ thuộc ... dẫn từ F Bài tập Một phụ thuộc hàm X→Y gọi dư thừa tập phụ thuộc hàm F F+= (F- {X→Y})+ cho F={X→YW, XW→Z, Z→Y, XY→Z} cho biết phụ thuộc hàm XY→Z có dư thừa F hay không Bài tập Tìm phủ không dư F={...

8
778
1

Nghiên cứu phụ thuộc hàm trên cơ sở siêu đồ thị và tập trù mật

Danh mục: Điện - Điện tử - Viễn thông

... hệ, với U tập thuộc tính F tập phụ thuộc hàm - R: Quan hệ tập thuộc tính - FR: Tập tất phụ thuộc hàm quan hệ R - F+: Bao đóng tập phụ thuộc hàm - :Tập tất khóa tối tiểu sơ đồ quan hệ s : Tập phản ... tập phụ thuộc hàm U X → Y phụ thuộc hàm F Tập Y đƣợc gọi phụ thuộc hàm đầy đủvào X X → Y rút gọn trái, nghĩa không tồn tập thật Z X cho Z → Y F+ Ngƣợc lại, Y đƣợc gọi phụ thuộc phận vào X U Tập ... lúc không cần trích dẫn Bởi tính chất D Maier [26] (1983), nêu khái niệm phủ nhƣ sau: Tập phụ thuộc hàm F đƣợc gọi phủ tập phụ thuộc hàm G F+ = G+ Phủ F đƣợc gọi không dƣ thừa với phụ thuộc hàm...

60
578
4

Một số vấn đề liên quan đến dạng chuẩn trong hệ cơ sở dữ liệu tính bao đóng của một tập các thuộc tính trên tập các phụ thuộc hàm đối với sơ đồ quan hệ

Danh mục: Công nghệ thông tin

... {a, b}+ G, tức {a, b} →{c}∈ G+ Xét phụ thuộc hàm G Hai phụ thuộc hàm sau nằm F Xét phụ thuộc hàm {a, b, d} → {c, d}∈ G Kiểm tra xem phụ thuộc hàm có thuộc F+ hay không Tính {a, b, d}+ G: A0 = {a, ... phụ thuộc hàm quan hệ ta có: { TINH } → { KHUVUC } { SBD } → { HOTEN, DIACHI, TINH, KHUVUC } Khái niệm phụ thuộc hàm miêu tả loại ràng buộc ( phụ thuộc liệu) xẩy tự nhiên tập thuộc tính Phụ thuộc ... lớp quan hệ với lớp họ phụ thuộc hàm thể hình vẽ sau: Lớp quan hệ 1.4 Hàm đóng Lớp phụ thuộc hàm Định nghĩa (Hàm đóng) Một hàm L : P(R) → P(R), ( P(R) tập tập R ) gọi hàm đóng R với A, B ∈ P(R):...

77
782
4

Nghiên cứu và phát hiện các phụ thuộc hàm mở rộng trong cơ sở dữ liệu theo cách tiếp cận tập thô

Danh mục: Thạc sĩ - Cao học

...  Z với k’  k Hệ hệ để phụ thuộc bắc cầu phụ thuộc hàm mở rộng hai phụ thuộc hàm mở rộng phải phụ thuộc hàm truyền thống Do đó, tiên đề Armstrong không với phụ thuộc hàm mở rộng ... 4.2.4 Sự phụ thuộc thuộc tính Một vấn đề quan trọng việc phân tích liệu việc phát phụ thuộc thuộc tính Một tập thuộc tính D phụ thuộc toàn vào tập thuộc tính C ký hiệu C  D, tất giá trị thuộc tính ... độ phù hợp tập đối tượng X theo tập thuộc tính B 25 4.2.3 Hàm thành viên thô Trong lý thuyết tập hợp cổ điển, thành viên thuộc tập hợp không Hàm thành viên (hàm thuộc) hàm đặc trưng tập hợp nhận...

85
721
0

Phụ thuộc hàm và chuẩn hóa cơ sở dữ liệu quan hệ

Danh mục: Cơ sở dữ liệu

... thuộc hàm E phủ tập phụ thuộc hàm F - F phủ E - phụ thuộc hàm E F + ,điều có nghĩa phụ thuộc hàm E suy diễn từ F Hai tập phụ thuộc hàm E F tương đương E+ = F + Một tập phụ thuộc hàm tối thiểu thoả ... phải phụ thuộc hàm F có thuộc tính Chúng ta thay phụ thuộc hàm X → A F phụ thuộc hàm Y → A, Y tập X mà tập phụ thuộc hàm tương đương với F Chúng ta bỏ phụ thuộc hàm khỏi F mà có tập phụ thuộc hàm ... kế Phụ thuộc hàm Qui tắc suy diễn Bao đóng Phụ thuộc hàm tương đương Phụ thuộc hàm tối thiểu Các dạng chuẩn Thiết kế CSDL 39 / 54 Sự tương đương tập phụ thuộc hàm I I I Một tập hợp phụ thuộc hàm...

8
2,152
33

Chương 4 Phụ thuộc hàm

Danh mục: Cơ sở dữ liệu

... trường hợp X → Y gọi phụ thuộc hàm hiển nhiên Ví dụ phụ thuộc hàm X → X phụ thuộc hàm hiển nhiên Vậy với r quan hệ bất kỳ, F tập phụ thuộc hàm thỏa r, ta có F ⊇ {các phụ thuộc hàm hiển nhiên} Thuật ... tả phụ thuộc hàm không hiển nhiên tập F (các phụ thuộc hàm hiển nhiên ngầm hiểu có F) II Phụ thuộc hàm suy diễn logic từ F Nói phụ thuộc hàm X → Y suy diễn logic từ F quan hệ r thỏa mãn tất phụ ... mãn tất phụ thuộc hàm F thỏa phụ thuộc hàm X → Y Ký hiệu F|= X → Y Bao đóng F ký hiệu F+ tập tất phụ thuộc hàm suy diễn logic từ F Các tính chất tập F+ Tính phản xạ: Với tập phụ thuộc hàm F+ ta...

21
633
4