Xem trước tài liệu

Đang tải tài liệu...

Thông tin chi tiết tài liệu

Định dạng: PDF
Số trang: 117 trang
Dung lượng: 1 MB

Giới thiệu nội dung

Một số Phụ thuộc Logic Mở rộng trong Mô hình Dữ liệu Dạng Khối

Tác giả: Trịnh Ngọc Trúc

Lĩnh vực: Khoa học máy tính

Nội dung tài liệu:

Luận án này tập trung nghiên cứu về các phụ thuộc logic trong mô hình dữ liệu dạng khối, một mở rộng của mô hình dữ liệu quan hệ nhằm khắc phục những hạn chế trong việc lưu trữ và truy xuất dữ liệu có cấu trúc phi tuyến tính. Luận án đề xuất các khái niệm mới, phát biểu và chứng minh các định lý, tính chất liên quan đến phụ thuộ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ộ trên mô hình dữ liệu dạng khối. Các kết quả nghiên cứu nhằm mục đích tìm ra các ràng buộc dữ liệu mới, góp phần mở rộng và cải thiện khả năng mô tả các mối quan hệ trong dữ liệu, đặc biệt là trong các bài toán thực tiễn có cấu trúc phức tạp.

Mục lục chi tiết:

  • MỞ ĐẦU
  • 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.2. Đại số khối
      • 1.1.3. Phụ thuộc hàm trong mô hình dữ liệu dạng khối
      • 1.1.4. Phụ thuộc đa trị 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.2. Bảng trị và bảng chân lý
      • 1.2.3. Suy dẫn logic
      • 1.2.4. Công thức Boolean dương
      • 1.2.5. Công thức Boolean đa trị
      • 1.2.6. Bảng trị và bảng chân lý
      • 1.2.7. Suy dẫn logic
      • 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.3. Tính chất của hội suy dẫn 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ực 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 minh họa 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 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
    • 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 minh họa 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.4. Tổng kết chương 3
  • KẾT LUẬN VÀ HƯỚNG PHÁT TRIỂN
  • TÀI LIỆU THAM KHẢO