... nhằm nghiên cứu phụthuộchàm theo thời gian, thông qua hai quan điểm Wang Wijsen Liên quan đến lý thuyết phụthuộchàm theo thời gian Wang, đưa số hệ tính chất mối liên hệ phụthuộchàm theo thời ... hệ phụthuộchàm theo thời gian (TFD) phụthuộchàm (FD) truyền thống Bên cạnh đó, tìm hiểu cách tiếp cận Wijsen so sánh hai quan điểm lý thuyết phụthuộchàm theo thời gian Wang Wijsen thông ... tập thuộc tính) • Vào: + Lược đồ môđun thời gian (R, t) + Tập phụthuộchàm theo thời gian F 48 • Ra: π Z(F) • Phương pháp: + Bước1 Lần lượt tính bao đóng tập thực Z F + Bước Suy phụthuộc hàm...
... {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 ... 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 ... 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ểm tra xem phụthuộchàm có thuộc G+ hay không Tính {a, b}+ G A0 = {a, b} A1 =...
... → Y không thỏa mãn r * Phụthuộchàm đƣợc suy diễn logic từ tập phụthuộchàm F Cho lƣợc đồ quan hệ R xác định tập thuộc tính U, F tập phụthuộchàm R X → Y phụthuộc hàm, X,Y ⊆U Chúng ta nói ... 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 đóng tập phụthuộchàm tập thuộc tính Định nghĩa 1.7[5][6] Cho tập phụthuộchàm F, bao đóng tập phụthuộchàm F ... 1.6 Các phép suy dẫn mô hình quan hệ Định nghĩa 1.11[5] [6] 19 Cho tập phụthuộchàm F xác định tập thuộ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ập phụ thuộc...
... chất phụthuộc chúng Hiện nay, khái niệm phụthuộchàm nhà khoa học mở rộng, phụthuộchàm hiểu phụthuộc không đòi hỏi độ xác tuyệt đối, cho phép có số lượng lỗi định liệu phụthuộchàm Những phụ ... Z với k’ k Hệ hệ để phụthuộc bắc cầu phụthuộchàm mở rộng hai phụthuộchàm mở rộng phải phụthuộchàm truyền thống Do đó, tiên đề Armstrong không với phụthuộchàm mở rộng ... D xác định giá trị thuộc tính C Nói cách khác D phụthuộc hoàn toàn vào C, tồn phụthuộchàm giá trị D C Thông thường phụthuộc định nghĩa sau: giả sử D C tập A Ta nói D phụthuộc vào C với mức...
... 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 ... Đ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 ... 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 -...
... lược đồ ví dụ 2.3, ta có SDG sau: Hình 2.1: SDG lược đồ ví dụ 2.3 2.3 Phụthuộchàm theo thời gian Định nghĩa 2.9 Một phụthuộchàm theo thời gian (TFD) lược đồ (C, ρ) có dạng c: X →α Y với c ∈ C, ... theo cách tiếp cận J Wijsen, thực việc hình thức hóa định nghĩa TFD mô hình liệu quan hệ truyền thống Tuy nhiên, tương tự lý thuyết phụthuộchàm truyền thống, việc xây dựng loại ràng buộc phụthuộc ... truyền thống, chứng minh cách tiếp cận mở rộng phụthuộchàm truyền thống (FD) Theo đó, mục báo này, trình bày việc xây dựng TFD mô hình liệu hỗ trợ đối tượng phức theo cách tiếp cận J Wijsen,...
... 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ổ đề 4: Mỗi ttập phụthuộchàm F phủ tập phụthuộchàm G cho G ... tập phụthuộchàm tập thuộc tính R Giả sử X→Y suy dẫn từ hệ tiên đề Xét quan hệ r gồm hai tập sau: 11 11 11 00 Cácthuộc tính thuộc X+ Cácthuộc tính lại Trước hết cần tất phụthuộchàmthuộc ... giản phổ thông Chỉ có phụthuộchàm đưa thương trường II.1.3 Định nghĩa hệ tiên đề Amstrong cho phụthuộchàm Gọi F tập tất phụthuộchàm lược đồ quan hệ R, X→Y phụthuộc hàm, X,Y tập R Nói X...
... đó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 khác Qua ... 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 ∈ ... tập thuộc tính Y khác theo mức k Như vậy, không tồn phụthuộchàm mờ, không thoả mãn “với mọi” thoả mãn “hầu hết” “một ít”, dạng phụthuộc gọi phụthuộchàm mờ với lượng từ ngôn ngữ Phụthuộc hàm...
... toàn vẹn 1.3 Các ràng buộc cấu trúc 10 1.4 Các ràng buộc phụthuộc 10 1.4.1 Phụthuộchàm 11 1.4.2 Phụthuộc bao hàm 11 1.4.3 Phụthuộc đa trị ... tất phụthuộc đa trị lược đồ quan hệ kí hiệu MVD (MultiValued Dependencies) [1] Có thể thấy phụthuộchàm trường hợp đặc biệt phụthuộc đa trị, vậy, phụthuộc hàm, có hệ tiên đề đắn đầy đủ phụthuộc ... khác Cácphụthuộchàm tổng quát hóa phụthuộc khóa Chúng yêu cầu giá trị tập thuộc tính định xác định giá trị tập thuộc tính khác Các ràng buộc miền, ràng buộc toàn vẹn tham chiếu phụthuộc hàm...
... 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 ... 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 37 / 54 Các qui tắc suy diễn phụthuộc ... 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ụ ... mãn tất phụthuộchàm F thỏa phụthuộchàm X → Y Ký hiệu F|= X → Y Bao đóng F ký hiệu F+ tập tất phụthuộchàm suy diễn logic từ F Các tính chất tập F+ Tính phản xạ: Với tập phụthuộchàm F+ ta...
... 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...
... chung instance • Truyền instance tham số (parameter vi • Đặt instance global (global visibility) § Các object không chia sẻ instance (loc w Cần thời gian để create/destroy? § Chi phí ? Dùng field,...
... 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...