... phụthuộchàm không đầy đủ B → C phụthuộchàm đầy đủ Chú ý: phụthuộchàm có vế trái chứa thuộc tính phụthuộchàm đầy đủ Ví dụ 3: cho tậpphụthuộchàm F = {A → BC,B → C,AB → D} phụthuộchàm ... → D} = G G gọi tậpphụthuộchàm có vế phải thuộc tính Tậpphụthuộchàm không dư thừa Nói F tậpphụthuộchàm không dư thừa không tồn F’⊂ F cho F’≡ F Ngược lại F tậpphụthuộchàm dư thừa Ví ... gọi tậpphụthuộchà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ậpphụthuộchàm có vế trái không dư thừa F tậpphụthuộchàm có vế phải thuộc tính F tậpphụthuộc hàm...
... 12.2: Các tậpphụthuộchàm tương đương Cho F G hai tậpphụthuộchàmtậpthuộc tính U, ta nói tậpphụthuộchàm F tương đương với tậpphụthuộchà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ậpphụthuộchàm có vế phải thuộc tính Mỗi tậpphụthuộchàm F tương đương với tậpphụthuộchàm G mà vế phải phụthuộchà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ộchàm có vế trái không dư thừa hay Y phụthuộchàm đầy đủ vào Z hay phụthuộchàm đầy đủ Chú ý: Phụthuộchàm có vế trái chứa thuộc tính phụthuộchàm đầy đủ * Thuật...
... 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ộchà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ộchà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...
... f Kí hiệu F+ tập tất phụthuộchàm suy dẫn từ tập F theo hệ tiên đề Amstrong + Ta thấy F⊆ F F+ gọi bao đóng tậpphụthuộchà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ậpphụthuộchàmtậpthuộc tính U, f phụthuộchà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ộchàm dư thừa Cho F tậpphụthuộchàm U, f phụthuộchà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ộchàm f Thuật...
... Các dạng tập Tìm tập bao đóng tậpthuộc tính Kiểm tra tậpthuộc tính có phải khóa không Kiểm tra tậpphụthuộchàm có tương đương Kiểm tra phụthuộchàm có suy diễn từ tậpphụthuộchàm cho trước ... Dạng – Kiểm tra phụthuộchàm có tương đương – F G tương đương khi: • Mọi phụthuộchàm F suy từ G • Mọi phụthuộchàm G suy từ F – Kiểm tra phụthuộchàm F G – tậpphụthuộchàm có tương đương: ... Tìm phụthuộchà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ậpphụthuộc hàm: – Tìm tập...
... Fi (những phụthuộchà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ậpphụthuộc ... phủ tối thiểu tậpphụthuộchà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ậpphụthuộchàm sau: a) Q1(ABCDEGH) ... vừa bảo toàn phụthuộchà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ậpphụthuộchàm F F = {A→B;B→C;...
... {c} ∈ {a, b}+ G, tức {a, b} →{c}∈ G+ Xét phụthuộchàm G Hai phụthuộchàm sau nằm F Xét phụthuộchàm {a, b, d} → {c, d}∈ G Kiểm tra xem phụthuộchàm có thuộc F+ hay không Tính {a, b, d}+ G: A0 ... phụthuộchàm quan hệ ta có: { TINH } → { KHUVUC } { SBD } → { HOTEN, DIACHI, TINH, KHUVUC } Khái niệm phụthuộchàm miêu tả loại ràng buộc ( phụthuộc liệu) xẩy tự nhiên tậpthuộc tính Phụthuộc ... lớp quan hệ với lớp họ phụthuộchàm thể hình vẽ sau: Lớp quan hệ 1.4 Hàm đóng Lớp phụthuộchàm Định nghĩa (Hàm đóng) Một hàm L : P(R) → P(R), ( P(R) tậptập R ) gọi hàm đóng R với A, B ∈ P(R):...
... chứa phụthuộchàm CD→E ⇒ F không tương đương với G’ II PHỦ TỐI THIỂU CỦA MỘT TẬPPHỤTHUỘCHÀM (minimal cover) Phụthuộchàm có vế trái dư thừa F tậpphụthuộchàm lược đồ quan hệ Q, Z tậpthuộc ... D} Tậpphụthuộchàm có vế phải thuộc tính (the right sides of dependencies has a single attribute) Mỗi tậpphụthuộchàm F tương đương với tậpphụthuộchàm G mà vế phải phụthuộchàm G gồm thuộc ... → D} = G G gọi tậpphụthuộchàm có vế phải thuộc tính Tậpphụthuộchàm không dư thừa Nói F tậpphụthuộchàm không dư thừa không tồn F’⊂ F cho F’≡ F Ngược lại F tậpphụthuộchàm dư thừa Ví...
... thiểu cho toán sau: B3: Loại bỏ thuộc tính dư thừa bên trái phụthuộchà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ộchà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ộchà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ộchà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ộchà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ộchàm nên phủ tối thiểu là: F={A→B,...
... định Fi (những phụthuộchà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ậpphụthuộc ... ABCDEF) tậpphụthuộchà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ậpphụthuộchàm F F ... ABCDEFGH) tậpphụthuộchà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ậpphụthuộc hàm...
... Y phụthuộchà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ậpthuộc ... tậpthuộ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ậpthuộ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...
... f Kí hiệu F+ tập tất phụthuộchàm suy dẫn từ tập F theo hệ tiên đề Amstrong Ta thấy F⊆ F+ F+ gọi bao đóng tậpphụthuộchà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ậpphụthuộchàmtậpthuộc tính U, f phụthuộchà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ộchàm dư thừa Cho F tậpphụthuộchàm U, f phụthuộchà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ộchàm f Thuật...
... 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ậpthuộc tính) Cho M = (R, t,φ) với F tập TFD, Z ⊆ R Khi đó, phép chiếu tậpphụthuộchàm theo thời gian F lên tậpthuộc tính ... nhằm nghiên cứu phụthuộchàm theo thời gian, thông qua hai quan điểm Wang Wijsen Liên quan đến lý thuyết phụthuộchàm theo thời gian Wang, đưa số hệ tính chất mối liên hệ phụthuộchàm theo thời ... CSDL có yếu tố thời gian phụthuộchàm theo thời gian (TFD) Phụthuộchà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ộchàm theo thời gian nghiên...
... hệ, với U tậpthuộc tính F tậpphụthuộchàm - R: Quan hệ tậpthuộc tính - FR: Tập tất phụthuộchàm quan hệ R - F+: Bao đóng tậpphụthuộchàm - :Tập tất khóa tối tiểu sơ đồ quan hệ s : Tập phản ... tậpphụthuộchàm U X → Y phụthuộchàm F Tập Y đƣợc gọi phụthuộchà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ộchàm mệnh đề có dạng X → Y, X, Y U Ta nói phụthuộchàm X → Y quan hệR = {h1, …, hm} U Ta nói R thỏa mãn phụthuộchàm X → Y Gọi FR họ tất phụ thuộ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
... II.1.4 Phủtậpphụthuộchàm Cho tậpphụthuộchàm F, thay F phụthuộc G cho G đảm bảo chức F Khi ta gọi G phủtậpphụthuộchàm F Bổ đề 4: Mỗi ttập phụthuộchàm F phủtậpphụthuộchàm G cho ... đóng tậpthuộc tính tậpphụthuộchàm Gọi F tậpphụthuộchàmtậpthuộ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ộchàm X→A ... F tậpphụthuộchàmtậpthuộ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ộchàm thuộc...
... thiểu cho toán sau: B3: Loại bỏ thuộc tính dư thừa bên trái phụthuộchà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ộchà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ộchà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ộchà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ộchà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ộchàm nên phủ tối thiểu là: F={A→B,...