... 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 thuộc ... 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ập thuộc ... 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ộchàm F Ra: Bao đóng X F, closure(X,F) Begin Olddep = ∅ Newdep = X While Newdep Olddep begin...
... toán xác địnhphụthuộchàm từ bảng định 42 2.2 Xây dựng bảng định từ tập phụthuộchàm 44 2.2.1 Sự phụthuộcthuộc tính bảng định 44 2.2.2 Một số thuật toán liên quan đến phụthuộchàm ... quan hệ phụthuộchàm bảng định để từ bảng định trích lọc phụthuộchàm xây dựng bảng định thỏa mãn tập phụthuộchàm cho trước nên lựa chọn đề tài “Nghiên cứu mối quan hệ phụthuộchàm bảng định ... GIỮA PHỤTHUỘCHÀM VÀ BẢNG QUYẾT ĐỊNH THEO HƯỚNG TIẾP CẬN TẬP THÔ 2.1 Xác địnhphụthuộchàm từ bảng định 2.1.1 Thuộc tính rút gọn thuật toán tìm chúng Trong bảng địnhthuộc tính dư thừa thực thuộc...
... toán xác địnhphụthuộchàm từ bảng định 42 2.2 Xây dựng bảng định từ tập phụthuộchàm 44 2.2.1 Sự phụthuộcthuộc tính bảng định 44 2.2.2 Một số thuật toán liên quan đến phụthuộchàm ... quan hệ phụthuộchàm bảng định để từ bảng định trích lọc phụthuộchàm xây dựng bảng định thỏa mãn tập phụthuộchàm cho trước nên lựa chọn đề tài “Nghiên cứu mối quan hệ phụthuộchàm bảng định ... GIỮA PHỤTHUỘCHÀM VÀ BẢNG QUYẾT ĐỊNH THEO HƯỚNG TIẾP CẬN TẬP THÔ 2.1 Xác địnhphụthuộchàm từ bảng định 2.1.1 Thuộc tính rút gọn thuật toán tìm chúng Trong bảng địnhthuộc tính dư thừa thực thuộc...
... 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 ... 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 Địnhnghĩa suy ... 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...
... hợp phụ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ĩaphụ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 ... 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 ... hệ Phụthuộchàm Nguyên tắc thiết 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 36 / 54 Các phụthuộchàm I I I Một phụ...
... 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 ... 24 Định nghĩa: Cho lược đồ quan hệ α=(U,F), thuộc tính A U gọi thuộc tính tiền định A có mặt vế phải phụthuộchàm A phải xuất vế trái phụthuộchàmthuộc tính A không xuất phụthuộchàm Định...
... 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,...
... CSDL dạng BC Bài 15: Cho lược đồ quan hệ Q(ABCD) tập phụthuộchàm F F={A->B, B->C, D->B} C={Q1(ACD), Q2(BD)} a) Xác định Fi (những phụthuộchàm F bao đóng Qi) b) Lược đồ CSDL C có đạt dạng chuẩn ... ABCDEF) tập phụthuộchàm F F = { AB -> C, AB ->D, E -> F} Lược đồ có dạng chuẩn 3NF? Vì sao? Nếu chưa chuẩn hoá lược đồ 3NF Bài 6: Cho lược đồ quan hệ R = ( ABCDEFGH) tập phụthuộchàm F F = { ... R5 = AE Với tập phụthuộchàm F = { A -> C, B -> C, A-> D, DE -> C, CE->A } Bài 9: Kiểm tra tính kết nối không mát thông tin R = ABCD thành: R1 = AB, R2 = ACD Với tập phụthuộchàm F = { A ->...
... nhóm thuộc tính chúng phụthuộc theo địnhnghĩaphụthuộchàm thông thường mà lại phụthuộc theo kiểu tương quan hàm số đó, ta gọi phụthuộchàm xấp xỉ Các nhóm thuộc tính làm phức tạp việc xác định ... 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 ... phụthuộc hàm, phụthuộchàm xấp xỉ xây dựng định Cho mẫu huấn luyện M gồm có m thuộc tính, n Mỗi thuộc tính X M có giá trị {x1, x2, ,xn} Thuộc tính định mẫu đánh dấu Y thuộc tính lại gọi thuộc...
... 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 ... Đặc trưng PTH PTH có hiệu lực ngữ nghĩa( về nghĩa) thuộc tính quan hệ Biểu diễn đồ thị: Yếu tố quyết định cho pth liên quan đến thuộc tính tập thuộc tính bên trái mũi tên Cơ sở liệu - ... 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 hệ Định nghĩa: ...
... A (T) 4 (T) Phụthuộchàm (FD) Phụthuộchàm hiễn nhiên: Nếu X ⊇ Y X 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} Phụthuộchàm (FD) Thuật ... 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 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ộchàm có tương đương Kiểm tra phụthuộchàm có suy diễn từ tập phụthuộchàm cho trước Tìm tất khóa Tìm phụthuộchàm ... hà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ập phụthuộchàm có tương đương: Cách làm • Dạng 5: Tìm tất ... Cách làm • Lưu ý: ta tìm phụthuộchàm dư thừa trước để giảm số lượng phụthuộchàm bước tìm thuộc tính dư thừa, cách sau: Cách làm • Dạng 7: – Bước 1: Phân rã để vế phải thuộc tính (dạng canonical...