0

tập phụ thuộc hàm fi của qi

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

... 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...
  • 8
  • 7,246
  • 169
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,177
  • 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

... Fi (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 ... 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) ... 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,499
  • 53
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

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

... định Fi (những phụ thuộc hàm F bao đóng Qi) b) Lược đồ CSDL C có đạt dạng chuẩn BC Nếu không phân rã Qi C để biến C thành dạng chuẩn BC Bài 16 Giả sử ta có lược đồ quan hệ Q(CDEGHK) tập phụ thuộc ... 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 ... 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...
  • 4
  • 480
  • 1
Bài tập về phụ thuộc hàm potx

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

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 ... 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...
  • 8
  • 778
  • 1
nghiên cứu các phụ thuộc hàm theo thời gian, thông qua hai quan điểm của wang và wijsen

nghiên cứu các phụ thuộc hàm theo thời gian, thông qua hai quan điểm của wang và wijsen

Cơ sở dữ liệu

... muốn, khắc phục hạn chế kể 47 Định nghĩa 2.24 (Phép chiếu tập TFD lên tập thuộc tính) Cho M = (R, t,φ) với F tập TFD, Z ⊆ R Khi đó, phép chiếu tập phụ thuộc hàm theo thời gian F lên tập thuộc tính ... nhằm nghiên cứu phụ thuộc hàm theo thời gian, thông qua hai quan điểm Wang Wijsen Liên quan đến lý thuyết phụ thuộc hàm theo thời gian Wang, đưa số hệ tính chất mối liên hệ phụ thuộc hàm theo thời ... CSDL có yếu tố thời gian phụ thuộc hàm theo thời gian (TFD) Phụ thuộc hàm theo thời gian có vai trò quan trọng việc phân tích thiết kế CSDL có yếu tố thời gian Phụ thuộc hàm theo thời gian nghiên...
  • 112
  • 857
  • 0
Nghiên cứu phụ thuộc hàm trên cơ sở siêu đồ thị và tập trù mật

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

Đ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 ... U tập hữu hạn khác rỗng thuộc tính Một phụ thuộc hàm mệnh đề có dạng X → Y, X, Y U Ta nói phụ thuộc hàm X → Y quan hệR = {h1, …, hm} U Ta nói R thỏa mãn phụ thuộc hàm X → Y Gọi FR họ tất phụ thuộc...
  • 60
  • 578
  • 4
Ổn định đàn dẻo của kết cấu chịu tải phức tạp phụ thuộc vào X và Y

Ổn định đàn dẻo của kết cấu chịu tải phức tạp phụ thuộc vào X và Y

Báo cáo khoa học

... expression to define critical forces Method for determining coefficients H^^ For the plate made of incompressible materials had the results in [4] By the same way, wc calculate the coefficients //^^ ... =A + G - / / , //,=-^G
  • 55
  • 341
  • 0
đồ án công nghệ thông tin Nghiên cứu các tính chất của phụ thuộc hàm và các dạng chuẩn của mô hình dữ liệu quan hệ

đồ án công nghệ thông tin Nghiên cứu các tính chất của phụ thuộc hàm và các dạng chuẩn của mô hình dữ liệu quan hệ

Công nghệ thông tin

... II.1.4 Phủ tập phụ thuộc hàm Cho tập phụ thuộc hàm F, thay F phụ thuộc G cho G đảm bảo chức F Khi ta gọi G phủ tập phụ thuộc hàm F Bổ đề 4: Mỗi ttập phụ thuộc hàm F phủ tập phụ thuộc hàm G cho ... đóng tập thuộc tính tập phụ thuộc hàm Gọi F tập phụ thuộc hàm tập thuộc tính R, X ⊆ R X+ bao đóng X F định nghĩa sau: X+ = {A \ X →A ∈F+ } Nói cụ thể X+ tập tất thuộc tính A mà phụ thuộc hàm X→A ... F tập phụ thuộc hàm tập thuộc tính R Giả sử X→Y suy dẫn từ hệ tiên đề Xét quan hệ r gồm hai tập sau: 11 11 11 00 Các thuộc tính thuộc X+ Các thuộc tính lại Trước hết cần tất phụ thuộc hàm thuộc...
  • 61
  • 737
  • 0
PHỤ THUỘC HÀM, KHÓA TỐI THIỂU, PHỦ TỐI THIỂU CỦA QUAN HỆ

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

Kỹ thuật lập trình

... 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
  • 598
  • 0

Xem thêm