phụ thuộc hàm và tập các luật suy dẫn

... ≡ F2 ? Chứng minh - F1 hệ F2 ⇒ F1 suy dẫn từ F2 F2 hệ F1 ⇒ F2 suy dẫn từ F1 46 Ví dụ  {A→BCDE} → {A→BC, A→D, CD→E} -  Xét CD→E không thuộc F2 F1 không suy dẫn từ F2 F1 không hệ F2 {A→BC, A→D, ... có suy dẫn từ F không? + AB F = {A, B, C, D, E} Có D bao đóng Kết luâôn AB→D suy dẫn từ F 41 Ví dụ (tt)       R(A, B, C, D, E, F) F = { AB→C, BC→AD, D→E, CF→B } Kiểm tra PTH D→A có suy dẫn ... B → C }  Ta suy diễn R thỏa PTH f3: A → C 30 Bao đóng F (tt)  Cho F tâôp PTH định nghĩa R  Gọi f môôt PTH suy dẫn từ F -  Áp dụng luâôt dẫn cho PTH F để có f Tâôp hợp PTH suy dẫn từ F ký...

Ngày tải lên: 28/03/2014, 21:22

... II.1.4 Phủ tập phụ thuộc hàm Cho tập phụ thuộc hà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ộc hàm F Bổ đề 4: Mỗi ttập phụ thuộc hàm F phủ tập phụ thuộc hàm G cho ... không thoả r X→Y suy diễn từ F Gọi F tập phụ thuộc hà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ác thuộc tính thuộc X+ Các thuộc tính lại Trước ... thông Chỉ có phụ thuộc hàm đưa thương trường II.1.3 Định nghĩa hệ tiên đề Amstrong cho phụ thuộc hàm Gọi F tập tất phụ thuộc hàm lược đồ quan hệ R, X→Y phụ thuộc hàm, X,Y tập R Nói X →Y suy diễn...

Ngày tải lên: 30/04/2015, 09:52

... đóng tập phụ thuộc hàm tập thuộc tính Định nghĩa 1.7[5][6] Cho tập phụ thuộc hàm F, bao đóng tập phụ thuộc hàm F kí hiệu F+ tập lớn chứa phụ thuộc hàm đƣợc suy diễn từ phụ thuộc hàm thuộc F Vậy ... 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ộc hàm F xác định tập thuộc tính U f phụ thuộc hàm U Ta nói phụ thuộc hàm f đƣợc suy dẫn theo quan hệ từ tập phụ thuộc ... hàm F kí hiệu F ⊢ f quan hệ r thỏa F thỏa f Định nghĩa 1.12 [5][6] Cho tập phụ thuộc hàm F xác định tập thuộc tính U f phụ thuộc hàm U Ta nói phụ thuộc hàm f đƣợc suy dẫn theo tiên đề (hoặc suy...

Ngày tải lên: 11/09/2015, 08:41

... d liu dng em ó chn ti PHẫP SUY DN TRONG Mễ HèNH CA D CC LIU PH DNG THUC HM K H I Nhm chng minh tớnh cht cỏc phộp suy dn nh suy dn theo tiờn , suy dn theo khi, suy dn theo quan h, cỏc nh lớ ... tng ng Mc ớch nghiờn cu Nghiờn cu v cỏc phộp suy dn ca cỏc ph thuc hm mụ hỡnh d liu dng nh suy dn theo tiờn , suy dn theo quan h, nh lớ cỏc phộp suy dn tng ng Nhim v nghiờn cu Tỡm hiu v mụ hỡnh ... x+ iỡ X > Y s suy din c t F (theo tớnh cht phn x) iu ny mõu thun vi gi thit X > Y khụng suy din c t F Nh vy X > Y khụng th tha trờn r Kt lun X ằY khụng tha trờn r * Ph thuc hm c suy din logic...

Ngày tải lên: 11/09/2015, 09:11

Ngày tải lên: 12/03/2014, 04:20

... Y phụ thuộc hà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 ... K tập thuộc tính mà K+=R ta bớt thuộc tính K đề nhận tập K bé khóa quan hệ Ví dụ: Cho R = { A, B, C, D, E, G } F= { AB → C , D → EG , BE → C , BC → D , CG → BD, ACD → B, CE → AG} Ta thấy tập thuộc ... có nhận xét sau: • Các thuộc tính không xuất vế trái lẫn vế phải F phải có khóa • Các thuộc tính xuất vế trái tất pth F phải có mặt Khóa • Trong trình tìm khóa ta bỏ bớt tất thuộc tính đơn nằm...

Ngày tải lên: 27/06/2014, 14:20

... Phụ thuộc hàm     Định nghĩa phụ thuộc hàm Các luật suy diễn cho phụ thuộc hàm (hệ luật Armstrong) Tập phụ thuộc hàm tương đương Tập phụ thuộc hàm tối tiểu Phụ thuộc hàm  Một phụ thuộc hàm ... Bao đóng tập phụ thuộc hàm  Bao đóng (closure) tập phụ thuộc hàm F, ký hiệu F+ tập phụ thuộc hàm nhỏ chứa F cho áp dụng hệ tiên đề Armstrong tập để tạo phụ thuộc hàm tập 11 Bao đóng tập thuộc tính ...     Vấn đề dư thừa liệu Các bất thường cập nhật Phụ thuộc hàm Hệ luật suy diễn Armstrong hệ Bao đóng tập thuộc tính Tập phụ thuộc hàm tương đương Tập phụ thuộc hàm tối tiểu 31 Tổng kết (2)...

Ngày tải lên: 02/07/2014, 01:20

... GIỮA CÁC PHỤ THUỘC HÀM Hai tập phụ thuộc hàm F G tƣơng đƣơng nếu: • Mọi phụ thuộc hàm F suy đƣợc từ G phụ thuộc hàm G suy đƣợc từ F • Do F G tƣơng đƣơng F+ = G+ F phủ G phụ thuộc hàm G suy từ ... hàng 35 PHỤ THUỘC HÀM ĐẦY ĐỦ Định nghĩa: • Cho phụ thuộc hàm F định nghĩa lƣợc đồ quan hệ R Phụ thuộc hàm X  Y phụ thuộc hàm R • X  Y phụ thuộc hàm đầy đủ vế phải Y không phụ thuộc hàm vào tập ... Phủ tối thiểu F tập phụ thuộc hàm G nếu: • F G tƣơng đƣơng • G có phụ thuộc hàm có vế phải có thuộc tính • Các phụ thuộc hàm G phụ thuộc hàm đầy đủ Nhận xét: • Mọi tập phụ thuộc hàm tƣơng đƣơng...

Ngày tải lên: 02/07/2014, 17:43

... Nội dung PHỤ THUỘC HÀM  Định Nghĩa Phụ Thuộc Hàm  Một số tính chất phụ thuộc hàm - hệ luật dẫn armstrong BAO ĐÓNG CỦA TẬP PHỤ THUỘC HÀM F & CỦA TẬP THUỘC TÍNH X  Bao đóng tập phụ thuộc hàm F ... mô tả phụ thuộc hàm không hiển nhiên tập F (các phụ thuộc hàm hiển nhiên ngầm hiểu có F} PHỤ THUỘC HÀM (tt) Một số tính chất phụ thuộc hàm - hệ luật dẫn armstrong  Để xác định phụ thuộc hàm khác ... Tập Phụ Thuộc Hàm Tối Thiểu Để phục vụ trình thiết kế sở liệu, cần đưa thêm khái niệm tập PTH tối thiểu Bổ đề: Mỗi tập phụ thuộc hàm F phủ tập phụ thuộc hàm G mà vế phải phụ thuộc hàm G gồm thuộc...

Ngày tải lên: 22/07/2014, 21:23

... Y phụ thuộc đầy đủ vào X Y phụ thuộc hàm vào X không phụ thuộc hàm vào tập X Cơ sở liệu - Khoa CNTT - ĐH KHTN TPHCM 47 Ví dụ  R(A, B, C, D, E, I)  F = { A→BCD, BCD→E, CD→EI }  BCD→E phụ thuộc ... F1 hệ F2 ⇒ F1 suy dẫn từ F2 - F2 hệ F1 ⇒ F2 suy dẫn từ F1 Cơ sở liệu - Khoa CNTT - ĐH KHTN TPHCM 43 Ví dụ  {A→BCDE} → {A→BC, A→D, CD→E} - Xét CD→E không thuộc F2 - F1 không suy dẫn từ F2 - F1 ... cho kết mong muốn sử dụng hàm Sum, Count Cơ sở liệu - Khoa CNTT - ĐH KHTN TPHCM 10 Nội dung chi tiết  Chất lượng lược đồ CSDL quan hệ  Phụ thuộc hàm - Định nghĩa Hệ suy dẫn Bao đóng Phủ tối thiểu...

Ngày tải lên: 24/07/2014, 02:21

... thiểu) Tập phụ thuộc hàm tương đương Phủ cực tiểu lược đồ quan hệ Phủ cực tiểu tập phụ thuộc hàm Thuật toán (tìm phủ tối thiểu F) Phần I: CƠ SỞ LÝ THUYẾT PHỤ THUỘC HÀM Qui ước ký hiệu  Các thuộc ... THUYẾT PHỤ THUỘC HÀM Phụ thuộc hàm (Functional Dependency) Định nghĩa: (Quan hệ thoả mãn phụ thuộc hàm) Cho lược đồ quan hệ R = , cho X, Y ⊆ U Xét quan hệ r R Quan hệ r gọi thoả phụ thuộc hàm: ... LÝ THUYẾT PHỤ THUỘC HÀM Phụ thuộc hàm (Functional Dependency) Định nghĩa: (Lược đồ quan hệ thoả mãn phụ thuộc hàm) Cho lược đồ quan hệ R = , cho X, Y ⊆ U R gọi thoả phụ thuộc hàm X→Y, nếu:...

Ngày tải lên: 19/09/2014, 14:22

... c suy di n t F ̇ Bao óng c a F, ký hi u F+, g m • F • T t c PTH ̇ F g i y c suy di n t F n u F = F+ Lu t suy di n ̇ Lu t suy di n dùng suy di n m t PTH m i t m t t p PTH cho tr c ̇ H lu t suy ... V y X+ = BDEG Ki m tra PTH suy di n ̇ Cho F = {AB ̇ Hai PTH AB không? C, A D, D E, AC B} E D C có c suy di n t F hay XF+ X AB Ph thu c hàm ABCDE D DE c suy di n t F Các t p PTH t ng ng ̇ T p PTH ... ABDEF ABD ABDE ABCDE ABCD ABCDEF ABCDF BCD BCDE BCDEF BCDF Ph thu c hàm Chu n hóa l c CSDL ̇ Chu n hóa gì? ̇ Các d ng chu n gì? ̇ Các d ng chu n • • • • D ng (1 Normal Form - 1NF) D ng (2 Normal...

Ngày tải lên: 23/10/2014, 21:03

... trênU thỏa phụ thuộc hàm F thỏa phụ thuộc hàm A → B Tập phụ thuộc hàm: F = { A → B, B → C} Ta có phụ thuộc hàm A → C phụ thuộc hàm suy từ F Hệ tiên đề Armstrong sử dụng để tìm phụ thuộc hàm suy diễn ... chuẩn Quan hệ dạng chuẩn Và chứa phụ thuộc hàm phụ thuộc bắc cầu vào khoá Phụ thuộc hàm phụ thuộc bắc cầu: Phụ thuộc hàm Y→Z phụ thuộc hàm bắc cầu tồn hai phụ thuộc hàm: Y→X X →Z Biểu diễn sơ ... là, phụ thuộc hàm dư thừa) Không thể thay phụ thuộc hàm X→A F phụ thuộc hàm Y→A, với Y⊂X mà có tập phụ thuộc hàm tương đương với F (tức là, thuộc tính dư thừa phụ thuộc hàm) Nhận xét: Tất tập phụ...

Ngày tải lên: 27/10/2014, 09:42

... Y phụ thuộc đầy đủ vào Z Z → Y gọi phụ thuộc hàm đầy đủ Phụ thuộc hàm có vế phải thuộc tính Mỗi tập phụ thuộc hàm F tương đương với tập phụ thuộc hàm G mà vế phải phụ thuộc hàm thuộc G gồm thuộc ... 13 Hai tập phụ thuộc hàm tương đương Hai tập phụ thuộc hàm F G tương đương F+ = G+ Ký hiệu G ≡ F Phủ tối thiểu tập phụ thuộc hàm F gọi phủ tối thiểu tập phụ thuộc hàm (hay tập phụ thuộc hàm tối ... Bao đóng tập phụ thuộc hàm Bao đóng tập phụ thuộc hàm F, ký hiệu F+ tập tất phụ thuộc hàm suy từ F Nếu F = F+ F họ đầy đủ phụ thuộc hàm Thuật toán tìm bao đóng tập thuộc tính Bao đóng tập thuộc...

Ngày tải lên: 17/08/2015, 14:14

... NV Chia dòng thành nhóm dựa tập nhóm Q S thuộc tính chia nhóm a 10 a b b c 10 a c b c c c d c 10 d 16 d 18 d 50 Các thuộc tính GROUP BY: Q Q Count(S) Tương tự cho hàm SUM, MIN, MAX, AVG Câu SQL: ... EXISTS ⑥SOME, ALL, ANY ▪ Toán tử logic: AND, OR ▪ Các phép toán: +, - ,* , / ▪ Các hàm xử lý ngày (DAY( )), tháng (MONTH( )), năm (YEAR( )) 24 2.3 SQL ▪ hàm: COUNT( ), SUM( ), MAX( ), MIN( ), AVG( ... niệm hệ CSDL, Các mô hình CSDL • • • • • Chương 2: Mô hình liệu quan hệ Chương 3: Ngôn ngữ đại số quan hệ Chương 4: Ngôn ngữ SQL Chương 5: Ràng buộc toàn vẹn CSDL Chương 6: Phụ thuộc hàm dạng chuẩn...

Ngày tải lên: 25/08/2016, 00:21

... tất thuộc tính tồn với t1[K]=t2[K]) Các luật cho phụ thuộc hàm  Với tập phụ thuộc hàm F, ta suy phụ thuộc hàm  Luật Armstrong A1 (Phản xạ - Reflexive) Nếu Y tập X X  Y A2 (Tăng trưởng - Augmentation) ... lượng tập sơ đồ quan hệ thiết kế  Các phụ thuộc hàm khóa dùng để xác định chuẩn quan hệ  Phụ thuộc hàm ràng buộc xác định từ ngữ nghĩa mối quan hệ bên thuộc tính Phụ thuộc hàm  Một tập thuộc ... cho phép thuộc tính đa trị, thuộc tính không nguyên tố Dạng chuẩn  Sử dụng phụ thuộc hàm khóa  Định nghĩa:   Thuộc tính thuộc khóa (Prime attribute) thuộc tính khóa K Phụ thuộc hàm đầy đủ:...

Ngày tải lên: 11/09/2016, 11:12

... F cho tập phụ thuộc hàm tập F+ phụ thuộc hàm suy diễn từ F Phụ thuộc hàm đầy đủ  Phụ thuộc hàm đầy đủ (Full functional dependency): Y  Z phụ thuộc hàm đầy đủ bỏ thuộc tính Y phụ thuộc hàm không ...  Phụ thuộc hàm Luật phụ thuộc hàm Bao đóng tập phụ thuộc hàm Các loại khóa Thuộc tính thuộc khóa Phụ thuộc hàm  Phụ thuộc hàm (functional dependency) sử dụng độ đo để đánh giá chất lượng tập ... HOURS Phụ thuộc hàm  Một phụ thuộc hàm tính chất thuộc tính lược đồ quan hệ R  Một ràng buộc phải cho tất thể lược đồ quan hệ r(R) Các luật cho phụ thuộc hàm  Với tập phụ thuộc hàm F, ta suy phụ...

Ngày tải lên: 11/09/2016, 11:12

... Khái niệm phụ thuộc hà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 1.1.2 Hệ tiên đề Armstrong Gọi F tập xác định phụ thuộc hàm lược đồ quan hệ R X  Y phụ thuộc hàm X, Y ... Trong trường hợp ta có phụ thuộc hàm: As  As1.As2 Ta gọi phụ thuộc hàm dạng phụ thuộc hàm dạng tỉ lệ Gọi pj tỉ lệ phụ thuộc tính Asj (j = k) Trong thực tế gặp loại phụ thuộc hàm loại trường hợp ... kiện phụ thuộc hàm F cặp phần tử ngoại lai phụ thuộc hàm bảng liệu r Ta biểu diễn cách hình thức sau: Giả sử X  Y phục thuộc hàm thuộc F Khi cặp t1, t2  r cặp phần tử ngoại lai phụ thuộc hàm...

Ngày tải lên: 26/09/2016, 09:18

... 1.4.1 Bao đóng tập phụ thuộc hàm tập thuộc tính Định nghĩa 1.6 Cho tập phụ thuộc hàm F, bao đ ng tập phụ thuộc hàm F kí hiệu F + tập lớn chứa phụ thuộc hàm suy diễn từ phụ thuộc hàm thuộc F Vậy ... lấy bao đ ng X theo tập phụ thuộc hàm F Thuật toán 1.1: Tìm bao đóng tập thuộc tính Cho tập phụ thuộc hàm F tập thuộc tính U tập thuộc tính X U Để xác định bao đ ng X+ tập thuộc tính X ta xây ... Phép chia 11 1.3 Phụ thuộc hàm 12 1.3.1 Khái niệm phụ thuộc hàm 12 1.3.2 Định nghĩa phụ thuộc hàm 12 1.3.3 Các tính chất phụ thuộc hàm 12 1.3.4 Hệ tiên...

Ngày tải lên: 30/08/2016, 10:13