... cho phép khai phá phụthuộchàm xấp xỉ quan tâm nghiên cứu, hững thuật toán TANE - thuật toán tương đối hiệu khai phá phụthuộchàm xấp xỉ 7 CHƯƠNG 1: PHỤTHUỘCHÀM VÀ PHỤTHUỘCHÀM XẤP XỈ 1.1 ... toàn vẹn Phụthuộchàm công cụ dùng để biểu diễn cách hình thức số buộc toàn vẹn 9 Các phụthuộchàm tương quan thuộc tính quan hệ: Một phụthuộchàm giá trị thuộc tính xác định số thuộc tính ... Lạng Sơn Ta có phụthuộchàm sau AB, AC, AD, AE,CB,CD, CE Phụthuộchàm X A tối thiểu r A không phụthuộchàm vào tập thực X Ví dụ Y A không thoả r với Y X Phụthuộchàm X A tầm...
... cho phép khai phá phụthuộchàm xấp xỉ quan tâm nghiên cứu, hững thuật toán TANE - thuật toán tương đối hiệu khai phá phụthuộchàm xấp xỉ 6 CHƢƠNG 1: PHỤTHUỘCHÀM VÀ PHỤTHUỘCHÀM XẤP XỈ Khai ... buộc toàn vẹn Phụthuộchàm công cụ dùng để biểu diễn cách hình thức số buộc toàn vẹn Các phụthuộchàm tương quan thuộc tính quan hệ: Một phụthuộchàm giá trị thuộc tính xác định số thuộc tính ... 1211445 Ta có phụthuộchàm sau AB, AC, AD, AE,CB,CD, CE Phụthuộchàm X A tối thiểu r A không phụthuộchàm vào tập thực X Ví dụ Y A không thoả r với Y X Phụthuộchàm X A tầm...
... việc tìm kiếm thuật toán cho phép khai phá phụthuộchàm xấp xỉ quan tâm nghiên cứu, hững thuật toán TANE - thuật toán tương đối hiệu khai phá phụthuộchàm xấp xỉ TÀI LIỆU THAM KHẢO [1] Codd E.F(1970),”A...
... nghiên cứu sở liệu mở rộng phụthuộchàm thành kháiniệmphụthuộchàm xấp xỉ Các phụthuộchàm cho phép có số lượng lỗi định liệu phụthuộchàm Suy diễn phụthuộchàm xấp xỉ ấn đề thời sự, nhà ... thiệu phụthuộc hàm, phụthuộchàm xấp xỉ luật kết hợp Chương 2: Chương 3: Chương TỔNG QUAN VỀ PHỤTHUỘC HÀM, PHỤTHUỘCHÀM XẤP XỈ VÀ LUẬT KẾT HỢP Chương trình bày tổng quan phụthuộc hàm, phụthuộc ... MỞ ĐẦU Chương TỔNG QUAN VỀ PHỤTHUỘC HÀM, PHỤTHUỘCHÀM XẤP XỈ VÀ LUẬT KẾT HỢP 1.1 Quan hệ phụthuộchàm 1.2 Phụthuộchàm xấp xỉ 1.2.1 Định nghĩa ...
... Khai phá phụthuộchàmphụthuộchàm xấp xỉ 1.2.1 Khai phá phụthuộchàmPhụthuộchàm biểu diễn mối quan hệ thuộc tính sở liệu, phụthuộchàm giá trị thuộc tính đƣợc xác định giá trị số thuộc ... buộc thuộc tính quan hệ, ràng buộc đƣợc biểu diễn phụthuộchàmPhụthuộcthuộc tính: có loại phụthuộcthuộc tính thƣờng đƣợc khám phá : phụthuộchàm (FD), phụthuộc có điều kiện (CFDs) phụthuộc ... || )) Phụthuộchàm kinh điển trƣờng hợp riêng phụthuộchàm điều kiện Phụthuộchàm X A phụthuộchàm điều kiện dạng ( X A, t p ) với t p [B] , B X {A} Phụthuộchàm điều kiện...
... X(i) = U Phụthuộchàm dư thừa Cho F tập phụ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 ... tập phụthuộchàm tập thuộ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 ... F├ 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ập phụ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...
... phải phụthuộchàm F có thuộc tính Chúng ta thay phụthuộchàm X → A F phụthuộchàm Y → A, Y tập X mà tập phụthuộchàm tương đương với F Chúng ta bỏ phụthuộchàm khỏi F mà có tập phụthuộchàm ... thuộchàm E phủ tập phụthuộchàm F - F phủ E - phụthuộchàm E F + ,điều có nghĩa phụthuộchàm E suy diễn từ F Hai tập phụthuộchàm E F tương đương E+ = F + Một tập phụthuộchàm tối thiểu thoả ... kế Phụthuộchàm Qui tắc suy diễn Bao đóng Phụthuộchàm tương đương Phụthuộchàm tối thiểu Các dạng chuẩn Thiết kế CSDL 39 / 54 Sự tương đương tập phụthuộchàm I I I Một tập hợp phụthuộc hàm...
... trường hợp X → Y gọi phụthuộchàm hiển nhiên Ví dụ phụthuộchàm X → X phụthuộchàm hiển nhiên Vậy với r quan hệ bất kỳ, F tập phụthuộchàm thỏa r, ta có F ⊇ {các phụthuộchàm hiển nhiên} Thuật ... tả phụthuộchàm không hiển nhiên tập F (các phụthuộchàm hiển nhiên ngầm hiểu có F) II Phụthuộchàm suy diễn logic từ F Nói phụthuộchàm X → Y suy diễn logic từ F quan hệ r thỏa mãn tất phụ ... dẫn Armstrong có quan hệ r thỏa phụthuộchàm F không thỏa phụthuộchàm X → Y (điều nghòch lý với giả thuyết quan hệ r thỏa phụthuộchàm F r thỏa phụthuộchàm X → Y) Thật giả sử Q(A1,A2,...
... 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ập phụthuộchàm F = {A → BC,B → C,AB → D} phụthuộchàm ... tập phụthuộchàm Bước 1:loại khỏi F phụthuộchàm có vế trái dư thừa Bước 2: Tách phụthuộchàm có vế phải thuộc tính thành phụthuộchàm có vế phải thuộc tính Bước 3: loại khỏi F phụthuộchàm ... tập phụ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ập phụthuộchàm có vế trái không dư thừa F tập phụthuộchàm có vế phải thuộc tính F tập phụthuộchàm không...
... trường hợp X → Y gọi phụthuộchàm hiển nhiên Ví dụ phụthuộchàm X → X phụthuộchàm hiển nhiên Vậy với r quan hệ bất kỳ, F tập phụthuộchàm thỏa r, ta có F ⊇ {các phụthuộchàm hiển nhiên} Thuật ... tả phụthuộchàm không hiển nhiên tập F (các phụthuộchàm hiển nhiên ngầm hiểu có F) Phụthuộchàm suy diễn logic từ F Nói phụthuộchàm X → Y suy diễn logic từ F quan hệ r thỏa mãn tất phụthuộc ... X → Y ∈ F+ Nếu X → Y phụthuộchàmthuộc F+ ta phải chứng minh X → Y thuộc G+ Giả sử r thỏa tất phụthuộchàm G (1) ⇒ r thỏa tất phụthuộchàm F F ⊆ G ⇒ r thỏa phụthuộchàm X → Y (2) X → Y∈F+...
... 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 ... tập phụthuộchàm Bước 1: Loại bỏ khỏi F phụthuộchàm có vế trái dư thừa Bước 2: Tách phụthuộchàm có vế phải thuộc tính thành phụthuộchàm có vế phải thuộc tính Bước 3: Loại bỏ khỏi F phụthuộc ... =CD=> G không chứa phụthuộchàm CD→E => F không tương đương với G+ 12.3: Phụthuộchàm không dư thừa 12.3.1: Phụthuộchàm dư thừa Cho F tập phụthuộchàm trêu U, f phụthuộchàm F tức f ∈ 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={ 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,...
... = ( ABCD) tập phụ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ập phụthuộchàm F F = { A ... ABCDEF) tập phụ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ập phụthuộchàm F F = ... tập phụ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ập phụthuộc hàm...
... t(Ai) ∈ dom(Ai) Mỗi ánh xạ gọi quan hệ R Môn học Cơ sở liệu nâng cao Phụthuộchàm Cho tập thuộc tính U Một phụthuộchàm (PTH) U công thức dạng f: X → Y; X, Y ⊆ U Cho quan hệ R(U) PTH f: ... tìm bao đóng tập thuộc tính Cho tập PTH F tập thuộc tính U tập thuộc tính X U Để xác định bao đóng tập thuộc tính X, X+ ta xuất phát từ tập X bổ sung dần cho X thuộc tính thuộc vế phải R ... f Môn học Cơ sở liệu nâng cao Bao đóng tập thuộc tính Cho tập PTH F tập thuộc tính U tập thuộc tính X U Bao đóng tập thuộc tính X, ký hiệu X+ tập thuộc tính X+ = { A ∈ U | X Môn học Cơ sở liệu...
... BCD→E, CD→EI } BCD→E phụthuộchàm đầy đủ không? 50 Môật số khái niêậm (tt) PTH thừa Xét X → Y là thừa nếu F ≡ F – {X→Y} Phụthuộchàm hiển nhiên: B phụthuộchàm hiển nhiên A nếu ... diễn RBTV PTH PTH biểu diễn mối liên hệ thuộc tính quan hệ Định nghĩa: Nếu A, B hai thuộc tính R, B phụthuộchàm A(ký hiệu A→B), nếu giá trị A R xác định giá trị B R Cơ sở liệu - Khoa CNTT - ... ĐH KHTN TPHCM 13 Phụthuộc hàm( PTH) PTH (Functional dependencies) loại RBTV quan trọng để phát thiết kế CSDL tốt Có thể biểu diễn RBTV PTH PTH biểu diễn mối liên hệ thuộc tính quan...
... Kiểm tra phụthuộchàm XY có suy dẫn từ F + + Kiểm tra tập phụthuộchàm tương đương F =G − Với phụthuộchàm Y→Z F Tính Y+ tập phụthuộchàm G Nếu Z ⊆ Y+ Y→Z G+ ngược lại Phụthuộchàm dư ... chứa phụthuộchàm C→E ⇒ F không tương đương với G’ Phủ tối thiểu tập phụthuộchàm (minimal cover) Phụthuộchàm có vế trái dư thừa: − F tập phụthuộchàm lược đồ quan hệ Q − Z→Y∈F − Phụthuộc ... tập phụthuộchàm có vế phải thuộc tính F tập phụthuộchàm không dư thừa Phủ tối thiểu tập phụthuộchàm (minimal cover) Thuật toán tìm phủ tối thiểu tập phụthuộchàm − Bước 1: Loại bỏ phụ...