0

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

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

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

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 ... → 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í ... 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ụ thuộc hàm...
  • 9
  • 2,570
  • 46
Bài 12. Phủ Của Tập Phụ Thuộc Hàm

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

Tin học

... 12.2: 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 ... X→Y F X+→Y thực lại bước 12.4.2: Tập phụ thuộc hàm có vế phải thuộc tính Mỗi tập phụ thuộc hàm F tương đương với tập phụ thuộc hàm G mà vế phải phụ thuộc hàm G gồm thuộc tính Ví dụ: F={A→BC, B→C, ... Ngược lại Z→Y mọt phụ thuộc hàm có vế trái 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...
  • 31
  • 649
  • 11
thiết kế cơ sở dữ liệu quan hệ - phần 5  phủ cover của tập phụ thuộc hàm

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

Cơ sở dữ liệu

... χον Ξ’≠∅ χủα Ξ : Ν υ Ξ’Ψ ∈ Φ+ : τηαψ Ξ = Ξ’, λặπ λạι 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 • Địνη νγηĩα : Φ đượχ γọι λ◊ τ ậπ πη ụ τηυ ộχ η◊µ χ⌠ ϖ ế πη ... tra F ≡ 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.5) Tập phụ thuộc hàm không dư thừa νη νγη α : Φ χ γ ι λ◊ τ π πη τηυ χ η◊µ κηνγ δư τηừα  Κηνγ...
  • 18
  • 619
  • 0
Bài tập phụ thuộc hàm

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

Kỹ thuật lập trình

... 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 nghĩa ... Với tập phụ thuộc hàm F ta có (F*)*=F* Bao đóng tập thuộc tính Cho tập phụ thuộc hàm F U, X⊆U, bao đóng tập thuộc tính X, kí hiệu X+ xác định sau: X+= { A | A∈U X A∈F+ } * Thuật toán tìm bao đóng ... 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...
  • 8
  • 7,240
  • 169
Phủ của tập phụ thộc hàm

Phủ của tập phụ thộc hàm

Cơ sở dữ liệu

... chứa phụ thuộc hàm CD→E ⇒ F không tương đương với G’ II PHỦ TỐI THIỂU CỦA MỘT TẬP PHỤ THUỘC HÀM (minimal cover) Phụ thuộc hàm có vế trái dư thừa F tập phụ thuộc hàm lược đồ quan hệ Q, Z tập thuộc ... D} Tập phụ thuộc hàm có vế phải thuộc tính (the right sides of dependencies has a single attribute) Mỗi tập phụ thuộc hàm F tương đương với tập phụ thuộc hàm G mà vế phải phụ thuộc hàm G gồm thuộc ... → 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í...
  • 7
  • 615
  • 1
Bài tập phụ thuộc hàm

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

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,174
  • 9
BÀI TẬP PHỤ THUỘC HÀM – CHUẨN HÓA CSDL doc

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

Cao đẳng - Đại học

... 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: a) Q1(ABCDEGH) ... Q(A,B,C,D) tập phụ thuộc {A→B;B→C;A→D;D→C} Và lược đồ CSDL sau: C ={Q1(AB);Q2(AC);Q3(BD)} a) C có bảo toàn thông tin F b) C có bảo toàn phụ thuộc hàm ? 4/ Kiểm tra dạng chuẩn Q(C,S,Z) F={CS→Z;Z→C} hàm ... vừa bảo toàn phụ thuộc hàm vừa bảo toàn thông tin c) Nếu Kehoach chưa đạt dạng chuẩn BC, phân rã KeHoach thành lược đồ CSDL dạng BC 7/ Cho lược đồ quan hệ Q(A,B,C,D) tập phụ thuộc hàm F F = {A→B;B→C;...
  • 9
  • 4,495
  • 53
Tập phụ thuộc hàm được Bao trong quan hệ Qi pot

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

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
Phép suy dẫn của các phụ thuộc hàm trong mô hình dữ liệu dạng khối

Phép suy dẫn của các phụ thuộc hàm trong mô hình dữ liệu dạng khối

Khoa học tự nhiên

... thoả mãn phụ thuộc hàm F thoả mãn X → Y Kí hiệu F |= X → Y 1.4 Bao đóng 1.4.1 Bao đóng tập phụ thuộc hàm tập thuộc tính Định nghĩa 1.7[5][6] Cho tập phụ thuộc hàm F, bao đóng tập phụ thuộc hàm F ... → Y không thỏa mãn r * Phụ thuộc hàm đƣợc suy diễn logic từ tập phụ thuộc hàm F Cho lƣợc đồ quan hệ R xác định tập thuộc tính U, F tập phụ thuộc hàm R X → Y phụ thuộc hàm, X,Y ⊆U Chúng ta nói ... Định nghĩa 1.11[5] [6] 19 Cho tập phụ thuộc hàm F xác định tập thuộc tính U f phụ thuộc hàm U Ta nói phụ thuộc hàm f đƣợc suy dẫn theo quan hệ từ tập phụ thuộc hàm F kí hiệu F ⊢ f quan hệ r thỏa...
  • 67
  • 265
  • 0
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ệ

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ệ

Công nghệ thông tin

... 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): ... Bao đóng Định nghĩa (Bao đóng tập phụ thuộc hàm) Giả sử F tập phụ thuộc hàm sơ đồ quan hệ s = < R, F > Gọi F+ tập tất phụ thuộc hàm suy dẫn lôgic từ F luật hệ tiên đề Armstrong Khi F+ gọi bao đóng ... {c} ∈ {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àmthuộc F+ hay không Tính {a, b, d}+ G: A0...
  • 77
  • 782
  • 4
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

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

Báo cáo khoa học

... 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={ 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={ ... 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 là: F={ ... 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={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,...
  • 21
  • 952
  • 0
Tài liệu Bài tập về phụ thuộc hàm pptx

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

Cơ sở dữ liệu

... R = ( ABCD) tập phụ thuộc hàm F F = { A -> B, A ->BC, A->BD} Lược đồ có dạng chuẩn 2NF? Vì sao? Nếu chưa chuẩn hoá lược đồ 2NF Bài 3: Cho lược đồ quan hệ R = ( ABCD) tập phụ thuộc hàm F F = { ... 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
PHỤ THUỘC HÀM VÀ XÁC ĐỊNH KHÓA CỦA QUAN HỆ doc

PHỤ THUỘC HÀM VÀ XÁC ĐỊNH KHÓA CỦA QUAN HỆ doc

Cơ sở dữ liệu

... Y phụ thuộc hàm suy từ F nhờ hệ tiên đề Amstrong X → Y R Đủ: Nếu X → Y không thỏa R X → Y suy từ F Thuật toán tính bao đóng Cho X ⊂ U, ký hiệu X+ ={A⊂ U | X → A ∈ F+} Thuật toán: Vào: Tập thuộc ... đóng Cho X ⊂ U, ký hiệu X+ ={A⊂ U | X → A ∈ F+} Thuật toán: Vào: Tập thuộc tính X tập phụ thuộc hàm F Ra: Bao đóng X F, closure(X,F) Begin Olddep = ∅ Newdep = X While Newdep Olddep begin Olddep ... CỦA QUAN HỆ 1.Định nghĩa: Cho quan hệ r( R ), tập K ⊂ R gọi khóa quan hệ r nếu:K+=R bớt phần tử khỏi K bao đóng khác R Như tập K ⊂ R K+=R ( K \ A )+ ≠ R , ∀ A ⊂ R Trực quan từ định nghĩa, K tập...
  • 4
  • 480
  • 1
chương i tìm bao đóng của tập thuộc tính

chương i tìm bao đóng của tập thuộc tính

Kỹ thuật lập trình

... THIỂU CỦA TẬP PHỤ THUỘC HÀM Với tập phụ thuộc hàm F cho, có nhiều phụ thuộc hàm dư thừa, tức ta suy dẫn phụ thuộc hàm thông qua tập phụ thuộc hàm lại F Vấn đề đặt phải thu gọn số phụ thuộc hàm ... bao đóng tập thuộc tính, người ta định nghĩa bao đóng tập phụ thuộc hàm Tuy nhiên việc tính bao đóng tập phụ thuộc hàm nói chung phức tạp, thuộc loại toán NP – Khó Hơn việc tính bao đóng tập phụ ... Một tập phụ thuộc hàm G gọi tương đương với tập phụ thuộc hàm F lược đồ R : F+ = G+ Khi ta nói F phủ G hay G phủ F Định nghĩa phủ tối thiểu: Một phủ tối thiểu tập phụ thuộc hàm F tập phụ thuộc hàm...
  • 9
  • 436
  • 3
Giáo trình phân tích các quá trình lưu động đoạn nhiệt phụ thuộc vào tốc độ dòng khí tại tiết diện ra của ống p1 potx

Giáo trình phân tích các quá trình lưu động đoạn nhiệt phụ thuộc vào tốc độ dòng khí tại tiết diện ra của ống p1 potx

Cao đẳng - Đại học

... 2 v2 (6-14) Khi áp suất tiết diện thay đổi lu lợng thay đổi phụ thuộc vào tỉ số áp suất = p2/p1 Để tính lu lợng lớn Gmax ta lấy đạo hàm G theo xác định đợc lu lợng lớn = k Nghĩa tốc độ dòng ... , k k k suy ra: k p k k = k = p1 k + (6-12) Từ (6-12) ta thấy tỉ số áp suất tới hạn phụ thuộc vào số mũ đoạn nhiệt k, tức vào chất chất khí Với khí nguyên tử k = 1,4 k = 0,528 Với khí ... Từ (6-2) ta thấy tốc độ âm phụ thuộc vào chất thông số trạng thái môi chất Tỉ số tốc độ dòng với tốc độ âm đợc gọi số Mach, ký...
  • 5
  • 615
  • 2

Xem thêm