... 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ụ ... 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ả...
... t cụng vi o h B M h Cu ựng, tỏc gi ờn, giỳp nh viờn ỡnh c ờn c v c V y, l m ỡnh ch xin dõng t trai yờu quớ y t ũng bi n thnh lu ó y M M i Danh m iv B ... quan h (1) A ằb B n t l c c ,m t Cho F l m U v hm thu mF: U [1, 0], ta cú cỏc lu (1) Lu o (concentration): mr : (mF(x))2 (s mr T (2) Lu ón n -T ph : (mF(x))2; mớt nhi F: l ; (mF(x))1/2; ch h -...
... 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 ... Hai phụthuộchàm có vế phải giống nhau, vế trái phụthuộchàm chứa vế trái phụthuộchàm ta loại khỏi F 14 Ví dụ: Nếu có ABC -> D BC - >D ta loại ABC -> D khỏi F BC3: Loại bỏ phụthuộchàm ... khoá Bước : Kiểmtrathuộc tính không khoá phải phụthuộc xấp xỉ trực tiếp vào khoá Bước : Với thuộc tính khoá kiểmtra có phụthuộchàm xâp xỉ vào thuộc tính khoá không Nếu phụthuộc luợc đồ...
... of fuzzy relational databases, IEEE Trans Syst Man Cybernet 13 (1983) 74-77 [3) Chen G., Kerre E E., Vandenbulcke J., A computational algorithm for the FFD transitive closure and a complete axiomatization ... constrains for similarity - based fuzzy relational databases, International Journal of Intelligent Systems 13 (1998) 641-659 Received August Ho Thuan - Institute of Information Technology Tran ... If X , , then XW Y (ax,oy) , , YW (aXW'oyw) FUNCT DEPENDENCIES AND MULTIV DEPENDENCIES FFD3 (Transitivity): If X ~ Z then X Y, and Y ~ (Ory,Orz) (O'x,Oy) 'I'heor em 3.1 Rules FFD1-FFD3 IN FUZZY...
... 46 KIỂMTRA BẢO TOÀN PHỤTHUỘC • Khái niệm – Ép thoả (phụ thuộchàm bao) – Đặc trưng đầy đủ (phụ thuộchàm in) • Tính bao đóng không cần chiếu • Kiểmtra bảo toàn phụthuộc – Với phụthuộchàm ... -> L} 13/08/2012 • Tìm thuộc tính xuất vế phải nhiều lần (ví dụ D) • Chọn PTH liên quan (ví dụ H->KDN) • Bỏ thuộc tính này, tính bao đóng (ví dụ H+ =HKDN) • Kết luận (ví dụ H->KDN dư thừa D) HVĐ ... cảnh cho trước có tập phụthuộchàm • Xác định phụthuộchàm để lưu riêng cách tuỳ tiện dẫn đến dư thừa • Tập phụthuộchàm không dư thừa gọi phủ tối tiểu – Vế phải gồm thuộc tính – Vế trái không...
... Phụthuộchàm Định nghĩa phụthuộchàm Các luật suy diễn cho phụthuộchàm (hệ luật Armstrong) Tập phụthuộchàm tương đương Tập phụthuộchàm tối tiểu Phụthuộchàm Một phụthuộchàm ... Armstrong tập để tạo phụthuộchàm tập 11 Bao đóng tập thuộc tính dựa tập phụthuộchàm Bao đóng tập thuộc tính X dựa tập phụthuộchàm F (Closure of X under F), ký hiệu X+F, tập thuộc tính Y cho: ... (pseudotransitive rule) {X Y, WY Z } |= WX Z Chứng minh??? 10 Bao đóng tập phụthuộchàm Bao đóng (closure) tập phụthuộchàm F, ký hiệu F+ tập phụthuộchàm nhỏ chứa F cho áp dụng hệ...
... hàng 35 PHỤTHUỘCHÀM ĐẦY ĐỦ Định nghĩa: • Cho phụthuộchàm F định nghĩa lƣợc đồ quan hệ R Phụthuộchàm X Y phụthuộchàm R • X Y phụthuộchàm đầy đủ vế phải Y không phụthuộchàm vào ... Input: tập phụthuộchàm F Output: tập phủ tối thiểu G • G: = F • Phân rã vế phải phụthuộchàm G để có tập phụthuộchàm có vế phải thuộc tính • Kiểmtraphụthuộchàm đầy đủ với phụthuộchàm có ... tối thiểu F tập phụthuộchàm G nếu: • F G tƣơng đƣơng • G có phụthuộchàm có vế phải có thuộc tính • Các phụthuộchàm G phụthuộchàm đầy đủ Nhận xét: • Mọi tập phụthuộchàm tƣơng đƣơng với...
... niệm PhụthuộchàmPhụthuộchàm – Khái niệm • Phụthuộchàm công cụ để biểu diễn hình thức RBTV phụthuộc • Các lý thuyết Phụthuộchàm ứng dụng nhiều toán Chuẩn Hóa CSDL • Ký hiệu : X Y : Y phụ ... Thuật toán kiểmtraPhụthuộchàm (p.1) Thuật toán kiểmtra PTH : Satifies Input : _ Quan hệ q, _ Tập thuộc tính X, Y Output : _ True XY, ngược lại, False Thuật toán kiểmtraPhụthuộchàm (p.2) ... Ký hiệu F tập phụthuộchàm lược đồ quan hệ Q, F = {f1,f2,…,fn}, quy ước ta không quan tâm đến phụthuộchàm hiển nhiên Định nghĩa : Phụthuộchàm suy diễn logic từ F Phụthuộchàm d = XY suy...
... TRONG LÝ THUYẾT PHỤTHUỘCHÀMPhụthuộchàm X → Y ⇔ ∀ t1, t2 ∈ r : t1[X] = t2[X] ⇒ t1[Y] = t2[Y] A B C a b a b d e c c c r= r thỏa A C r thỏa B C Lược đồ quan hệ thoả mãn phụthuộchàm XY ∃r ∈ ... phụthuộchàm R = F+ tập tất phụthuộchàm hệ F F+ = {X→Y | F╞ X→Y} F ⊆ F+ Khoá lược đồ quan hệ R = , X ⊆ U X khoá R nếu: 1.X→U (siêu khoá) 2.Không ∃ X’ ⊂ X : X’ siêu khoá R Ví dụ: ... tưởng đề kiểm chứng F ⇔ G + F ⊆ G + (1) ⇒ ∀X(C / mY BT G ⇒ X F ⊇ Y → : ∈) F+ = G + ⇔ + + ⇒ ∀X → Y ∈ F ⇒ XG ⊇ Y G ⊆ F (2) F G+ & G F+ 11 Hai tập phụthuộchàm tđương (2) Ví dụ: Kiểmtra F G...
... phải phụthuộchàm F có thuộc tính b) Mọi phụthuộchàm F thuộc tính dư thừa vế trái c) Trong F phụthuộchàmdư thừa 30 Phần II: PHỦ CỰC TIỂU (PHỦ TỐI THIỂU) Phủ cực tiểu lược đồ quan hệ * Vídụ ... I: CƠ SỞ LÝ THUYẾT PHỤTHUỘCHÀMPhụthuộchàm (Functional Dependency) * Thuật toán: Kiểmtra quan hệ r = {t1, t2, …, tn} có thoả mãn phụthuộchàm X → Y không? Function Ktra(r, X, Y); Begin ... hiệu: F╞ X→Y, hay ta nói X→Y phụthuộchàm hệ F 10 Phần I: CƠ SỞ LÝ THUYẾT PHỤTHUỘCHÀMPhụthuộchàm (Functional Dependency) Định nghĩa: (Bao đóng tập phụthuộc hàm) Cho R = Khi đó: bao...
... chu n 2, nh ng không thu c d ng chu n ̇ Nh n xét • Ph thu c hàm nh ngh a t ng quát cho phép ki m tra d ng chu n mà không c n ki m tra d ng chu n D ng chu n Boyce - Codd (1) ̇ L c quan h R c ... X Y Ri} - D c g i phân rã b o toàn ph thu c hàm + + ( R1(F) … Rm(F)) = F iv iFn u ̇ Ví d R111 R11 A A B C D C FD1 FD1 FD2 FD5 R112 B FD5 Ph thu c hàm D D Phân rã b o toàn PTH (2) R11 A B C D ... [X] nh t X m t khóa c a R • N u K m t khóa c a R K xác nh hàm t t c t p thu c tính c a R • PTH dùng ánh giá m t thi t k CSDL Ph thu c hàm Bao óng c a t p PTH ̇ F t p PTH R • F = {MaNV TenNV, MaPB...
... 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 ... Hai phụthuộchàm có vế phải giống nhau, vế trái phụthuộchàm chứa vế trái phụthuộchàm ta loại khỏi F 13 Ví dụ: Nếu có ABC -> D BC - >D ta loại ABC -> D khỏi F BC3: Loại bỏ phụthuộchàm ... khoá Bước : Kiểmtrathuộc tính không khoá phải phụthuộc xấp xỉ trực tiếp vào khoá Bước : Với thuộc tính khoá kiểmtra có phụthuộchàm xâp xỉ vào thuộc tính khoá không Nếu phụthuộc luợc đồ...
... hàm F Bổ đề 4: Mỗi ttập phụthuộchàm F phủ tập phụthuộchàm G cho G mà vế phải phụthuộchàm bao gồm không thuộc tính Chứng minh: Gọi G tập phụthuộchàm X→A cho với X→Y thuộc F A ∈ Y Từ X→Y ... đề đầy đủ Trang18 Luận văn tốt nghiệp Nguyễn Văn Giang II.1.4 Phủ tập phụthuộchàm Cho tập phụ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ập phụthuộchàm F Bổ đề ... đóng tập thuộc tính tập phụthuộchàm Gọi F tập phụthuộchàm tập thuộ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...
... toàn vẹn đóng vai trò quan trọng, phụthuộc liệu đáng quan tâm Một phụthuộc liệu quan trọng phụthuộchàm CSDL quan hệ Phụthuộchàm mờ mở rộng từ phụthuộchàm cổ điển với nhiều cách tiếp cận ... này, tác giả nước giới đưa số khái niệm phụthuộchàm mờ a Khái niệm phụthuộchàm mờ Raju Khái niệm phụthuộchàm mờ Raju xây dựng mô hình tập mờ Phụthuộchàm mờ X ~> Y quan hệ r với t1, t2 ∈ ... khái niệm phụthuộchàm mờ Raju Chen, nhiên véc tơ ngưỡng phải cố định Để mở rộng phụthuộchàm mờ, tác giả Trần Thiên Thành đưa lượng từ ngôn ngữ vào phụthuộchàm mờ nhằm mô tả phụthuộc liệu...
... {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ểmtra xem phụthuộchàm có thuộc F+ hay không Tính {a, b, d}+ G: A0 ... Một số vấn đề liên quan đến dạng chuẩn hệ sở liệu Xét phụthuộchàm F Hai phụthuộchàm sau nằm G Xét {a, b}→{c} Kiểmtra xem phụthuộchàm có thuộc G+ hay không Tính {a, b}+ G A0 = {a, b} A1 = ... 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ập thuộc tính Phụ thuộc...
... Kiểm traphụ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 YZ F Tính Y+ tập phụthuộchàm G Nếu Z Y+ YZ G+ ngược lại Phụthuộchàmdư ... định Y hay Y phụthuộchàm vào X) Phụthuộchàm (FD) Ví dụ: cho lược đồ quan hệ: Q(A, B, C, D, E) A B C D E I AB C II B D 4 III DE A (T) 4 (T) Phụthuộchàm (FD) Phụthuộchàm hiễn nhiên: ... chứa phụthuộchàm CE 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 ZYF Phụ thuộc...
... Kiểm traphụ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 YZ F Tính Y+ tập phụthuộchàm G Nếu Z Y+ YZ G+ ngược lại Phụthuộchàmdư ... định Y hay Y phụthuộchàm vào X) Phụthuộchàm (FD) Ví dụ: cho lược đồ quan hệ: Q(A, B, C, D, E) A B C D E I AB C II B D 4 III DE A (T) 4 (T) Phụthuộchàm (FD) Phụthuộchàm hiễn nhiên: ... chứa phụthuộchàm CE 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 ZYF Phụ thuộc...
... 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...