... amstrong toán chứng minh Phụthuộchàm theo quan hệ theo tiên đề, bao đóng tậpthuộc tính tậpphụthuộchàm B/ BÀI TẬP MẪU Bài số 1: Cho tậpthuộc tính U=ABCDEGH Cho tậpphụthuộchàm F={ AB CD, ACE ... 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 ... 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...
... 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 ... thiểu tậpphụ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ộc ... 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+ ... 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, ... thiểu tậpphụ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ụ...
... 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...
... NUMBER_SOLD PROD_PRICE 21 1347 E3 422 06 /25 /04 B&D rotary sander 6, in.disk 21 1 Neverfail, Inc $49.95 Xác định tất phụthuộchàm chuẩn hóa bảng STUDENT có cấu trúc sau: Tên Thuộc tính STU_NUM STU_LNAME ... 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;...
... XC) F1> Xác định F1, F2, 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ó ... trái thuộc tính Q1 : KE->XC + Tính (KE)+ = KEXCV Giao với KEXC = KEXC thuộc tính chung nằm hai vế + ta có PTH F1= {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 ... 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 (C)+ = CV giao với Q2(ABCY) = C : loại + F2 = {AB->CY} Các câu lại...
... R = ( ABCD) tậpphụthuộchàm F F = { A ->D, AB->DC } Lược đồ có dạng chuẩn 2NF? Vì sao? Nếu chưa chuẩn hoá lược đồ 2NF Bài 4: Cho lược đồ quan hệ R = ( ABCDEF) tậpphụthuộchàm F F = { AB -> ... Bài 2: Cho lược đồ quan hệ 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ập ... ABCDEF) tậpphụ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ậpphụthuộchàm F F =...
... đó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 nghĩa suy dẫn theo quan hệ Cho F tậpphụthuộchàmtậpthuộc tính U, f phụthuộchàm U, (f không thuộc ... amstrong toán chứng minh Phụthuộchàm theo quan hệ theo tiên đề, bao đóng tậpthuộc tính tậpphụthuộchàm B/ BÀI TẬP MẪU Bài số 1: Cho tậpthuộc tính U=ABCDEGH Cho tậpphụthuộchàm F={ ABCD, ACEBG, ... 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...
... 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 ... ứng với tậpphụthuộchàm F toàn miền giá trị thuộc tính quan hệ chứa giá trị nguyên tố (2) Ở dạng chuẩn hai (2NF) ứng với tậpphụthuộchàm F s dạng chuẩn thuộc tính không s điều phụthuộc đầy...
... sluong 10/04 /20 00 C1 P1 20 0 12/ 04 /20 00 C1 P2 20 0 12/ 04 /20 00 C2 P2 100 16/04 /20 00 C2 P1 600 Bước 1: Tính Er : E 12 = { shh, sluong }, E23 = { ngay, shmh }, E13 = {∅}, E14 = { shmh } E24 = {∅} E34 ... nghĩa (phụ thuộc hàm) Cho R = { a1, a2, , an } tậpthuộc tính, r = { h1, h2, , hm } quan hệ R, A, B ⊆ R ( A, B tập cột hay tậpthuộc tính ) Khi ta nói A xác định hàm cho B hay B phụthuộchàm vào ... Thuật toán (Tính bao đóng tậpthuộc tính tậpphụthuộchàm sơ đồ quan hệ) Input : s = < R, F > sơ đồ quan hệ R = (a1, a2, , an) tập hữu hạn thuộc tính F tậpphụthuộchàm A ⊆ R Output : A+ bao...
... 22 1 .2. 1 TẬP XẤP XỈ TRÊN, XẤP XỈ DƯỚI VÀ MIỀN BIÊN 22 1 .2. 2 ĐỘ CHÍNH XÁC CỦA VIỆC XẤP XỈ 24 1 .2. 3 HÀM THÀNH VIÊN THÔ 25 1 .2. 4 SỰ PHỤTHUỘC GIỮA CÁC THUỘC TÍNH 25 1.3 ... ={A1, A2, ,An} tậpthuộc tính, X Y tập R Ta nói XY (X xác định hàm Y hay Y phụthuộchàm vào X) với hai t1, t2 r mà t1[X]=t2[X] t1[Y]=t2[Y] Nói cách khác : nhóm thuộc tính Y r phụthuộchàm vào ... 4 .2. 4 Sự phụthuộcthuộc tính Một vấn đề quan trọng việc phân tích liệu việc phát phụthuộcthuộc tính Một tậpthuộc tính D phụthuộc toàn vào tậpthuộc tính C ký hiệu C D, tất giá trị thuộc...
... 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ậpphụthuộchàm tương đương với F Chúng ta bỏ phụthuộchàm khỏi F mà có tậpphụthuộchàm ... thuộchàm E phủtậpphụ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ậpphụthuộchàm E F tương đương E+ = F + Một tậpphụ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ậpphụthuộchàm I I I Một tập hợp phụthuộc hàm...
... i AYKH,GIOKH} Số tập có Q = {A1,A2, ,An} + ii n Cách tìm tất phụthuộchàm có Q Ứng với tập Phancong+ cho 2n = 24 = 16 phụthuộchàm có Số phụthuộchàm có 24 * 24 = 16 * 16 = 25 6 PTH HN F∅ → ... quan hệ F tậpphụthuộc hàm, A thuộc tính xuất vế phải phụthuộchàm F X+ = (X – A)+ ∪ A Q lược đồ quan hệ F tậpphụthuộc hàm, X tập Q+ Y = {các thuộc tính xuất vế phải phụthuộchàm F} X+ ⊆ ... Số phụthuộchàm có Q(A1,A2, ,An) 2n x 2n =22 n HỆ LUẬT DẪN ARMSTRONG (Armstrong inference rule) Người ta thường dùng F để tậpphụthuộchàm lược đồ quan hệ Q Ta đánh số phụthuộchàm F f1, f2,...
... quan hệ F tậpphụthuộc hàm, A thuộc tính xuất vế phải phụthuộchàm F X+ = (X – A)+ ∪ A Q lược đồ quan hệ F tậpphụthuộc hàm, X tập Q+ Y = {các thuộc tính xuất vế phải phụthuộchàm F} X+ ⊆ ... phụthuộchàm có Q(A1,A2, ,An) 2n x 2n =22 n II HỆ LUẬT DẪN ARMSTRONG (Armstrong inference rule) Người ta thường dùng F để tậpphụthuộchàm lược đồ quan hệ Q Ta đánh số phụthuộchàm F f1, f2, ... 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+ (1) (2) ⇒ X...
... thiểu tậpphụ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ộ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í ... 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...