... 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...
... 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 đóngtậ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 nghĩa ... Với tậpphụthuộchàm F ta có (F*)*=F* Bao đóngtậpthuộc tính Cho tậpphụthuộchàm F U, X⊆U, bao đóngtậpthuộ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ậ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...
... 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í...
... Các dạng tập Tìm tập bao đóngtậ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...
... 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) ... Q(A,B,C,D) tậpphụ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ộchà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ộ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;...
... 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...
... thoả mãn phụthuộchàm F thoả mãn X → Y Kí hiệu F |= X → Y 1.4 Bao đóng 1.4.1 Bao đóngtậpphụthuộchàmtậpthuộc tính Định nghĩa 1.7[5][6] Cho tậpphụthuộchàm F, bao đóngtậpphụthuộchàm F ... → Y không thỏa mãn r * Phụthuộchàm đƣợc suy diễn logic từ tậpphụthuộchàm F Cho lƣợc đồ quan hệ R xác định tậpthuộc tính U, F tậpphụthuộchà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ậpphụthuộchàm F xác định tậpthuộc tính U f phụthuộchàm U Ta nói phụthuộchàm f đƣợc suy dẫn theo quan hệ từ tậpphụthuộchàm F kí hiệu F ⊢ f quan hệ r thỏa...
... 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): ... Bao đóng Định nghĩa (Bao đóngtậpphụthuộc hàm) Giả sử F tậpphụthuộchàm sơ đồ quan hệ s = < R, F > Gọi F+ tập tất phụthuộchà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ộ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...
... 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,...
... R = ( ABCD) tậpphụthuộchà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ậpphụthuộchàm F F = { ... 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 ... đóng Cho X ⊂ U, ký hiệu X+ ={A⊂ U | X → A ∈ F+} Thuật toán: Vào: Tậpthuộc tính X tậpphụthuộchà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...
... THIỂU CỦATẬPPHỤTHUỘCHÀM Với tậpphụthuộchàm F cho, có nhiều phụthuộchàm dư thừa, tức ta suy dẫn phụthuộchàm thông qua tậpphụthuộchàm lại F Vấn đề đặt phải thu gọn số phụthuộchàm ... bao đóngtậpthuộc tính, người ta định nghĩa bao đóngtậpphụthuộchàm Tuy nhiên việc tính bao đóngtậpphụthuộchàm nói chung phức tạp, thuộc loại toán NP – Khó Hơn việc tính bao đóngtậpphụ ... Một tậpphụthuộchàm G gọi tương đương với tậpphụthuộchà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ậpphụthuộchàm F tậpphụthuộc hàm...
... 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ý...