Đang tải... (xem toàn văn)
Phát triển phụ thuộc Boole dương xấp xỉ trong cơ sở dữ liệu quan hệ.Phát triển phụ thuộc Boole dương xấp xỉ trong cơ sở dữ liệu quan hệ.Phát triển phụ thuộc Boole dương xấp xỉ trong cơ sở dữ liệu quan hệ.Phát triển phụ thuộc Boole dương xấp xỉ trong cơ sở dữ liệu quan hệ.Phát triển phụ thuộc Boole dương xấp xỉ trong cơ sở dữ liệu quan hệ.Phát triển phụ thuộc Boole dương xấp xỉ trong cơ sở dữ liệu quan hệ.Phát triển phụ thuộc Boole dương xấp xỉ trong cơ sở dữ liệu quan hệ.Phát triển phụ thuộc Boole dương xấp xỉ trong cơ sở dữ liệu quan hệ.Phát triển phụ thuộc Boole dương xấp xỉ trong cơ sở dữ liệu quan hệ.Phát triển phụ thuộc Boole dương xấp xỉ trong cơ sở dữ liệu quan hệ.Phát triển phụ thuộc Boole dương xấp xỉ trong cơ sở dữ liệu quan hệ.Phát triển phụ thuộc Boole dương xấp xỉ trong cơ sở dữ liệu quan hệ.Phát triển phụ thuộc Boole dương xấp xỉ trong cơ sở dữ liệu quan hệ.Phát triển phụ thuộc Boole dương xấp xỉ trong cơ sở dữ liệu quan hệ.Phát triển phụ thuộc Boole dương xấp xỉ trong cơ sở dữ liệu quan hệ.Phát triển phụ thuộc Boole dương xấp xỉ trong cơ sở dữ liệu quan hệ.Phát triển phụ thuộc Boole dương xấp xỉ trong cơ sở dữ liệu quan hệ.Phát triển phụ thuộc Boole dương xấp xỉ trong cơ sở dữ liệu quan hệ.Phát triển phụ thuộc Boole dương xấp xỉ trong cơ sở dữ liệu quan hệ.Phát triển phụ thuộc Boole dương xấp xỉ trong cơ sở dữ liệu quan hệ.Phát triển phụ thuộc Boole dương xấp xỉ trong cơ sở dữ liệu quan hệ.Phát triển phụ thuộc Boole dương xấp xỉ trong cơ sở dữ liệu quan hệ.Phát triển phụ thuộc Boole dương xấp xỉ trong cơ sở dữ liệu quan hệ.Phát triển phụ thuộc Boole dương xấp xỉ trong cơ sở dữ liệu quan hệ.Phát triển phụ thuộc Boole dương xấp xỉ trong cơ sở dữ liệu quan hệ.Phát triển phụ thuộc Boole dương xấp xỉ trong cơ sở dữ liệu quan hệ.Phát triển phụ thuộc Boole dương xấp xỉ trong cơ sở dữ liệu quan hệ.Phát triển phụ thuộc Boole dương xấp xỉ trong cơ sở dữ liệu quan hệ.Phát triển phụ thuộc Boole dương xấp xỉ trong cơ sở dữ liệu quan hệ.Phát triển phụ thuộc Boole dương xấp xỉ trong cơ sở dữ liệu quan hệ.Phát triển phụ thuộc Boole dương xấp xỉ trong cơ sở dữ liệu quan hệ.Phát triển phụ thuộc Boole dương xấp xỉ trong cơ sở dữ liệu quan hệ.Phát triển phụ thuộc Boole dương xấp xỉ trong cơ sở dữ liệu quan hệ.
BỘ GIÁO DỤC VÀ ĐÀO TẠO i VIỆN HÀN LÂM KHOA HỌC VÀ CÔNG NGHỆ VIỆT NAM HỌC VIỆN KHOA HỌC VÀ CÔNG NGHỆ …… ….***………… NGUYỄN THỊ VÂN PHÁT TRIỂN PHỤ THUỘC BOOLE DƯƠNG XẤP XỈ TRONG CƠ SỞ DỮ LIỆU QUAN HỆ LUẬN ÁN TIẾN SĨ HỆ THỐNG THÔNG TIN Hà Nội - 2023 BỘ GIÁO DỤC VÀ ĐÀO TẠO i VIỆN HÀN LÂM KHOA HỌC VÀ CÔNG NGHỆ VIỆT NAM HỌC VIỆN KHOA HỌC VÀ CÔNG NGHỆ …… ….***………… NGUYỄN THỊ VÂN PHÁT TRIỂN PHỤ THUỘC BOOLE DƯƠNG XẤP XỈ TRONG CƠ SỞ DỮ LIỆU QUAN HỆ LUẬN ÁN TIẾN SĨ HỆ THỐNG THÔNG TIN Ngành: Hệ thống thông tin Mã số: 48 01 04 Xác nhận Học viện Khoa học Công nghệ Người hướng dẫn (Ký, ghi rõ họ tên) PGS TSKH Nguyễn Xuân Huy Hà Nội - 2023 ii LỜI CAM ĐOAN Tơi xin cam đoan cơng trình nghiên cứu hướng dẫn Thầy PGS TSKH Nguyễn Xuân Huy Những kết luận án có nghiên cứu chung với đồng tác giả đồng ý tác giả trước sử dụng luận án Những kết trình bày cơng trình trung thực khơng chép từ cơng trình cơng bố khác Nếu xảy việc gian lận luận án tơi chịu hồn tồn trách nhiệm Tơi xin cam đoan giúp đỡ trình thực luận án NCS cảm ơn, thông tin nguồn trích dẫn thích rõ ràng luận án NCS nêu rõ nguồn gốc Hà nội, Ngày 26 tháng năm 2023 Tác giả Nguyễn Thị Vân iii LỜI CẢM ƠN Trong thời gian thực nghiên cứu hoàn thiện luận án, NCS nhận nhiều giúp đỡ, tạo điều kiện từ Thầy, Cô, nhà nghiên cứu đồng nghiệp NCS xin bày tỏ lời cảm ơn tự đáy lòng đến người trợ giúp chia sẻ khó khăn suốt thời gian qua Trước hết, NCS xin bày tỏ lòng biết ơn đến Thầy PGS TSKH Nguyễn Xuân Huy, người đồng hành tận tình giúp đỡ NCS suốt chặng đường nghiên cứu, định hướng cho NCS NCS xin trân trọng cảm ơn nhà khoa học Thầy Cô Viện công nghệ Thông tin – Học viện Khoa học Cơng nghệ khuyến khích, tạo điều kiện thuận lợi có nhiều ý kiến đóng góp quý báu chặng đường NCS nghiên cứu thực để hoàn thành luận án NCS xin trân trọng cảm ơn Lãnh đạo Viện Công nghệ Thông tin, Học viện Khoa học Cơng nghệ khuyến khích tạo điều kiện tốt để NCS có môi trường nghiên cứu tốt NCS xin chân thành gửi lời cảm ơn tới Phòng ban Học viện Khoa học Cơng nghệ nhiệt tình giúp đỡ, tạo điều kiện tốt cho NCS suốt nghiên cứu thực luận án NCS xin chân thành cảm ơn thầy giáo PGS.TS Đặng Văn Đức, PGS.TS Nguyễn Long Giang tận tình bảo gương nghiên cứu khoa học cho NCS bước đường học tập GS TS Nguyễn Thanh Thuỷ, PGS.TS Ngô Quốc Tạo, GS.TS Từ Minh Phương, PGS.TS Trịnh Đình Thắng, GS.TS Lê Hồi Bắc, PGS.TS Đồn Văn Ban, TS Nguyễn Duy Phương…là người Thầy mà NCS học hỏi nhiều, có nhiều ý kiến quý báu giúp NCS hoàn thiện luận án NCS xin bày tỏ lời cảm ơn đến anh chị, bạn bè TS Trương Thị Thu Hà đồng hành NCS trình học tập Cuối cùng, NCS biết ơn người thân yêu gia đình ln bên cạnh ủng hộ dành lời động viên cho NCS suốt trình NCS hồn thành luận án Hà nội, Ngày 26 tháng năm 2023 Tác giả Nguyễn Thị Vân iv MỤC LỤC LỜI CẢM ƠN ii MỤC LỤC iii DANH MỤC CÁC THUẬT NGỮ, CÁC CHỮ VIẾT TẮT vii MỞ ĐẦU 1 Tính cấp thiết đề tài luận án Mục tiêu nghiên cứu Đối tượng phạm vi nghiên cứu Phương pháp nghiên cứu Nội dung nghiên cứu Ý nghĩa khoa học thực tiễn Bố cục luận án 10 CHƯƠNG CÁC LỚP PHỤ THUỘC DỮ LIỆU TRONG CƠ SỞ DỮ LIỆU 11 1.1 Mở đầu 11 1.2 Phụ thuộc hàm 13 1.3 Phụ thuộc hàm nới lỏng 20 1.4 Phụ thuộc Boole dương 22 1.4.1 Công thức Boole 22 1.4.2 Bảng trị bảng chân lý 23 1.5 Phụ thuộc Boole dương tổng quát 24 1.6 Phân loại lớp phụ thuộc Boole dương tổng quát 29 1.6.1 Lớp IE 29 v 1.6.2 Lớp LA 30 1.7 Kết luận chương 33 CHƯƠNG CÁC LỚP PHỤ THUỘC XẤP XỈ TRONG CƠ SỞ DỮ LIỆU 34 2.1 Mở đầu 34 2.2 Xây dựng hàm lambda độ đo 35 2.2.1 Hàm lambda 35 2.2.2 Độ đo 36 2.3 Đề xuất phụ thuộc hàm xấp xỉ tổng quát 38 2.4 Xây dựng lược đồ quan hệ xấp xỉ thông qua độ đo 39 2.5 Phụ thuộc yếu 40 2.6 Đề xuất phụ thuộc yếu xấp xỉ 42 2.7 Đề xuất phụ thuộc Boole dương xấp xỉ 45 2.8 Đề xuất thuộc Boole dương xấp xỉ tổng quát 49 2.8.1 Xây dựng phép sánh trị alpha dựa hàm lambda 49 2.8.2 Phụ thuộc Boole dương xấp xỉ tổng quát 50 2.9 Kết luận chương 51 CHƯƠNG CÁC THUẬT TOÁN XỬ LÝ LƯỢC ĐỒ QUAN HỆ .52 3.1 Mở đầu 52 3.2 Xây dựng phương pháp chuyển công thức logic dạng chuẩn hội 52 3.2.1 Phương pháp logic 53 3.2.2 Phương pháp lập bảng 54 3.3 Xây dưng phương pháp chứng minh công thức 55 vi 3.3.1 Phương pháp chứng minh trực CNF 56 3.3.2 Phương pháp Vương Hạo 57 3.3.3 Phương pháp hợp giải 59 3.4 Xây dựng thuật toán suy dẫn lược đồ quan hệ 64 3.4.1 Suy dẫn lược đồ quan hệ với phụ thuộc hàm 64 3.4.2 Các toán liên quan đến phụ thuộc liệu 65 3.4.3 Thuật toán suy dẫn 69 3.5 Xây dựng thuật tốn tìm bao đóng với phụ thuộc Booe dương tổng quát 71 3.6 Xây dựng thuật tốn tìm khóa với phụ thuộc Booe dương tổng quát 73 3.7 Kết luận chương 75 KẾT LUẬN VÀ HƯỚNG PHÁT TRIỂN 76 DANH MỤC CƠNG TRÌNH ĐÃ CƠNG BỐ 79 TÀI LIỆU THAM KHẢO 80 vii DANH MỤC THUẬT NGỮ, CÁC CHỮ VIẾT TẮT Ký hiệu CSDL CSDLQH CTB CTBD Đpcm CNF GT KL LClosure LĐQH LĐXX NPC Mô tả Cơ sở liệu Cơ sở liệu quan hệ Công thức Boole Công thức Boole dương Điều phải chứng minh Công thức logic dạng chuẩn hội Giả thiết Kết luận Thuật tốn bao đóng phụ thuộc logic Lược đồ quan hệ Lược đồ xấp xỉ Lớp thuật toán NP- đầy đủ PTBD Phụ thuộc Boole dương PTBDTQ PTH PTHXX PTHM PTMTQ PTY PTYTQ Unif PTNL PTHNL PTBDXX Phụ thuộc Boole dương tổng quát Phụ thuộc hàm Phụ thuộc hàm xấp xỉ Phụ thuộc hàm mạnh Phụ thuộc mạnh tổng quát Phụ thuộc yếu Phụ thuộc yếu tổng quát Thuật toán hợp giải Phụ thuộc nới lỏng Phụ thuộc hàm nới lỏng Phụ thuộc Boole dương xấp xỉ PTBDXXTQ Phụ thuộc Boole dương xấp xỉ tổng quát Phụ thuộc yếu xấp xỉ Hàm sai khác Phụ thuộc hàm sai khác PTYXX HSK PTHSK viii DANH MỤC CÁC KÝ HIỆU Ký hiệu Diễn giải Tân từ a Độ đo thuộc tính a a Độ sai khác thuộc tính a a Phép sánh trị tổng quát thuộc tính a a, a’ Phủ định a (U, F) Lược đồ quan hệ tập thuộc tính U tập ràng buộc F X Hàm sai khác tập thuộc tính X ||X||, |X| Lực lượng X ├ Phép suy dẫn theo quan hệ ╞, Phép suy dẫn theo logic ├2 suy dẫn theo quan hệ có khơng q a, Thuộc tính da Miền trị thuộc tính a f, g Phụ thuộc logic F, G Tập phụ thuộc logic F = {f1, f2, …, fk} F+ Bao đóng tập phụ thuộc F suy dẫn theo logic F* Bao đóng tập phụ thuộc F suy dẫn theo quan hệ L(U) Tập công thức Boole xây dựng U P(U) Tập công thức Boole dương U r Quan hệ r r(f) Quan hệ r thỏa phụ thuộc f ix Ký hiệu Diễn giải r(F) Quan hệ r thỏa tập phụ thuộc F ℝ+ Tập số thực không âm REL(U) Tập quan hệ tập thuộc tính U SAT(F) Tập quan hệ U thỏa tập ràng buộc F t, u, v, Bộ t.a Giá trị t thuộc tính a t.X Bộ t tập thuộc tính X Tf Bảng chân lý phụ thuộc hàm f TF Bảng chân lý tập phụ thuộc hàm F Tr, Vr Bảng trị quan hệ r U Tập thuộc tính XY Phép hợp hai tập X Y XY Phép giao hai tập X Y X Y, X+Y Tuyển (tổng) logic X Y X Y, XY Hội (tích) logic X Y X \ Y, X - Y Hiệu hai tập X Y X, Y Tập thuộc tính X+ Bao đóng tập X Σ={a1,a2,…,an} Tập phụ thuộc sai khác 𝔅 Tập giá trị Boole 𝔇 Miền trị tập thuộc tính U ℒ Tập phụ thuộc logic ℤ+ Tập số nguyên không âm