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

... 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...

Ngày tải lên: 29/09/2013, 14:20

... 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...

Ngày tải lên: 14/10/2013, 18:11

Ngày tải lên: 18/02/2014, 02:44

... χον Ξ’≠∅ χủα Ξ : Ν υ Ξ’Ψ ∈ Φ+ : τηαψ Ξ = Ξ’, λặπ λạι 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 νη νγη α : Φ χ γ ι λ◊ τ π πη τηυ χ η◊µ κηνγ δư τηừα  Κηνγ...

Ngày tải lên: 06/07/2014, 00:44

... 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 ... X(i) = U Phụ thuộc hàm dư thừa Cho F tập phụ thuộc hàm U, f phụ thuộc hàm F tức f ∈F, f gọi dư thừa F (F-f)+ =F+ Hay nói tương đương f gọi dư thừa F nến suy dẫn từ tập F sau bỏ phụ thuộc hàm f Thuật...

Ngày tải lên: 16/08/2012, 09:16

... 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í...

Ngày tải lên: 09/10/2013, 13:20

... 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...

Ngày tải lên: 29/03/2014, 18:54

... 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;...

Ngày tải lên: 04/07/2014, 22:20

... 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...

Ngày tải lên: 29/07/2014, 20:21

... 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...

Ngày tải lên: 11/09/2015, 08:41

Ngày tải lên: 11/09/2015, 09:11

... {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àm có thuộc F+ hay không Tính {a, b, d}+ G: A0 ... 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):...

Ngày tải lên: 20/07/2015, 17:04

... 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,...

Ngày tải lên: 12/12/2013, 14:15

... 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...

Ngày tải lên: 13/12/2013, 17:15

... loại phụ thuộc hàm không đầy đủ sau: Loại1: Phụ thuộc hàm mà vế phải tập vế trái ( loại AB -> B) Loai 2: Hai phụ thuộc hàm có vế phải giống nhau, vế trái phụ thuộc hàm chứa vế trái phụ thuộc hàm ... F+, tập tất phụ thuộc hàm suy diễn logic nhờ tiên đề Armstrong, bổ đề từ F, F = F+ F họ đầy đủ phụ thuộc hàm Bao đóng tập thuộc tính (X+) X -> Y phụ thuộc hàm suy từ F Khi X+ gọi bao đóng tập thuộc ... Lạng Sơn Ta có phụ thuộc hàm sau AB, AC, AD, AE,CB,CD, CE Phụ thuộc hàm X  A tối thiểu r A không phụ thuộc hàm vào tập thực X Ví dụ Y  A không thoả r với Y  X Phụ thuộc hàm X  A tầm...

Ngày tải lên: 17/02/2014, 20:58

Ngày tải lên: 04/04/2014, 04:21

... 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 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 ... tập thuộc tính mà K+=R ta bớt thuộc tính K đề nhận tập K bé khóa quan hệ Ví dụ: Cho R = { A, B, C, D, E, G } F= { AB → C , D → EG , BE → C , BC → D , CG → BD, ACD → B, CE → AG} Ta thấy tập thuộc ... 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...

Ngày tải lên: 27/06/2014, 14:20

... Nội dung PHỤ THUỘC HÀM  Định Nghĩa Phụ Thuộc Hàm  Một số tính chất phụ thuộc hàm - hệ luật dẫn armstrong BAO ĐÓNG CỦA TẬP PHỤ THUỘC HÀM F & CỦA TẬP THUỘC TÍNH X  Bao đóng tập phụ thuộc hàm F ... Bổ đề: Mỗi tập phụ thuộc hàm F phủ tập phụ thuộc hàm G mà vế phải phụ thuộc hàm G gồm thuộc tính F gọi tập phụ thuộc hàm tối thiểu F thỏa đồng thời ba điều kiện sau: (a) Vế phải F có thuộc tính ... mô 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} PHỤ THUỘC HÀM (tt) Một số tính chất phụ thuộc hàm - hệ luật dẫn armstrong  Để xác định phụ thuộc hàm khác...

Ngày tải lên: 22/07/2014, 21:23

... float Gọi: dom hợp miền trị kiểu nguyên tố, att tập tên thuộc tính, obj tập OID, class tập tên lớp Cho C tập hữu hạn tên lớp (C ⊆ class) Một kiểu C tập {A1: τ1, …, An: τn}, với Ai ∈ att τi kiểu ... lược đồ ví dụ 2.3, ta có SDG sau: Hình 2.1: SDG lược đồ ví dụ 2.3 2.3 Phụ thuộc hàm theo thời gian Định nghĩa 2.9 Một phụ thuộc hàm theo thời gian (TFD) lược đồ (C, ρ) có dạng c: X →α Y với c ∈ C, ... Định nghĩa 2.3 (Phép gán định danh đối tượng) Cho C tập tên lớp Một phép gán định danh đối tượng cho C hàm π từ C đến P(obj) (tập tất tập tập obj) mà c, d ∈ C, c ≠ d dẫn đến π(c) ∩ π(d) = ∅ Định...

Ngày tải lên: 23/07/2014, 00:21