Tên luận án:
MỘT SỐ PHỤ THUỘC LOGIC MỞ RỘNG TRONG MÔ HÌNH DỮ LIỆU DẠNG KHỐI
Ngành:
Khoa học máy tính
Tóm tắt nội dung tài liệu:
Luận án "Một số Phụ thuộc logic mở rộng trong Mô hình dữ liệu dạng khối" tập trung giải quyết những hạn chế của mô hình dữ liệu quan hệ truyền thống trong việc lưu trữ và khai thác dữ liệu có cấu trúc phi tuyến tính, cũng như những giới hạn của các phụ thuộc dữ liệu hiện có trong mô tả ràng buộc dữ liệu thực tiễn trên mô hình dữ liệu dạng khối. Mục tiêu chính của nghiên cứu là tìm ra Hội suy dẫn của các Công thức Boolean dương, Phụ thuộc Boolean dương đa trị, Phụ thuộc Boolean dương theo nhóm bộ và Phụ thuộc Boolean dương đa trị theo nhóm bộ trong mô hình dữ liệu dạng khối, đồng thời xây dựng các mệnh đề, định lý và tính chất liên quan.
Luận án được cấu trúc gồm phần mở đầu, ba chương và phần kết luận. Chương 1 trình bày các kiến thức nền tảng về mô hình dữ liệu dạng khối và đại số Boolean. Chương 2 đi sâu vào kết quả nghiên cứu về hội suy dẫn và phụ thuộc Boolean dương đa trị, đề xuất các khái niệm, điều kiện cần và đủ, cùng thuật toán tìm hội suy dẫn (XDF, XDF-S) và cài đặt thực nghiệm. Chương 3 tiếp tục phát triển các phụ thuộc Boolean dương theo nhóm bộ và phụ thuộc Boolean dương đa trị theo nhóm bộ, mở rộng phép so sánh từ cặp phần tử sang nhóm p phần tử, qua đó giảm đáng kể số lần so sánh.
Những đóng góp mới của luận án bao gồm việc đề xuất các công thức suy dẫn, hội suy dẫn trên khối, tính chất của họ tập đóng và khối chân lý; đồng thời xây dựng và cài đặt thuật toán tìm hội suy dẫn. Nghiên cứu cũng đề xuất các loại phụ thuộc dữ liệu mới như phụ thuộc Boolean dương đa trị, phụ thuộc Boolean dương theo nhóm bộ và phụ thuộc Boolean dương đa trị theo nhóm bộ, cùng các khái niệm, định lý và tính chất liên quan. Các kết quả thực nghiệm đã chứng minh tính đúng đắn của các thuật toán và khả năng ứng dụng trong việc giải quyết bài toán tìm ràng buộc dữ liệu trên khối.
Mục lục chi tiết:
- MỞ ĐẦU
- 1. Tính cấp thiết của luận án
- 2. Mục tiêu nghiên cứu
- 3. Bố cục của luận án
- CHƯƠNG 1. MỘT SỐ KIẾN THỨC CƠ SỞ
- 1.1. Mô hình dữ liệu dạng khối
- 1.1.1. Khối, lát cắt của khối
- 1.1.3. Phụ thuộc hàm trong mô hình dữ liệu dạng khối
- 1.2. Đại số Boolean
- 1.2.1. Công thức Boolean
- 1.2.4. Công thức Boolean dương
- 1.2.8. Công thức Boolean dương đa trị
- 1.3. Phụ thuộc Boolean dương trong mô hình dữ liệu dạng khối
- 1.3.1. Khối chân lý của khối
- 1.3.2. Phụ thuộc Boolean dương trên khối
- 1.4. Kết luận chương 1
- CHƯƠNG 2. HỘI SUY DẪN VÀ PHỤ THUỘC BOOLEAN DƯƠNG ĐA TRỊ TRONG MÔ HÌNH DỮ LIỆU DẠNG KHỐI
- 2.1. Đặt vấn đề
- 2.2. Hội suy dẫn trong mô hình dữ liệu dạng khối
- 2.2.1. Công thức suy dẫn trong lược đồ khối
- 2.2.2. Tính chất của họ tập đóng và khối chân lý
- 2.3. Các thuật toán xây dựng hội suy dẫn
- 2.3.1. Thuật toán XDF
- 2.3.2. Thuật toán XDF-S
- 2.3.3. Cài đặt thử nghiệm thuật toán XDF
- 2.4. Phụ thuộc Boolean dương đa trị trong mô hình dữ liệu dạng khối
- 2.4.1. Khối m-chân lý của khối dữ liệu
- 2.4.2. Công thức Boolean dương đa trị
- 2.4.3. Phép gán trị
- 2.4.4. Phụ thuộc Boolean dương đa trị trên khối
- 2.4.5. Bao đóng tập phụ thuộc Boolean dương đa trị
- 2.4.6. Thể hiện và thể hiện chặt tập phụ thuộc Boolean dương đa trị
- 2.5. Cài đặt thực nghiệm bài toán tìm Phụ thuộc Boolean dương đa trị trên khối
- 2.6. Tổng kết chương 2
- CHƯƠNG 3. PHỤ THUỘC BOOLE DƯƠNG THEO NHÓM BỘ VÀ PHỤ THUỘC BOOLE DƯƠNG ĐA TRỊ THEO NHÓM BỘ TRONG MÔ HÌNH DỮ LIỆU DẠNG KHỐI
- 3.1. Đặt vấn đề
- 3.2. Phụ thuộc Boolean dương theo nhóm bộ trong mô hình dữ liệu dạng khối
- 3.2.1. Phép gán trị
- 3.2.2. Khối chân lý theo nhóm bộ của khối dữ liệu
- 3.2.3. Phụ thuộc Boolean dương theo nhóm bộ của khối dữ liệu
- 3.2.4. Bao đóng tập phụ thuộc Boolean dương theo nhóm bộ
- 3.2.5. Thể hiện và thể hiện chặt tập phụ thuộc Boolean dương theo nhóm bộ
- 3.3. Phụ thuộc Boolean dương đa trị theo nhóm bộ trong mô hình dữ liệu dạng khối
- 3.3.1. Phép gán trị
- 3.3.2. Khối chân lý đa trị theo nhóm bộ của khối dữ liệu
- 3.3.3. Phụ thuộc Boolean dương đa trị theo nhóm bộ của khối dữ liệu
- 3.3.4. Bao đóng tập phụ thuộc Boolean dương đa trị theo nhóm bộ
- 3.3.5. Thể hiện, thể hiện chặt
- 3.4. Cài đặt thực nghiệm bài toán tìm Phụ thuộc Boolean dương theo nhóm bộ và phụ thuộc Boolean dương đa trị theo nhóm bộ trên khối
- 3.5. Tổng kết chương 3
- KẾT LUẬN VÀ HƯỚNG PHÁT TRIỂN
- 1. Luận án đã đạt được các kết quả sau:
- 2. Hướng phát triển:
- NHỮNG ĐÓNG GÓP MỚI CỦA LUẬN ÁN
- DANH MỤC CÔNG TRÌNH CỦA TÁC GIẢ