Nghiên cứu lý thuyết xây dựng cơ sở dữ liệu suy diễn và ngôn ngữ datalog

75 726 0
Nghiên cứu lý thuyết xây dựng cơ sở dữ liệu suy diễn và ngôn ngữ datalog

Đang tải... (xem toàn văn)

Tài liệu hạn chế xem trước, để xem đầy đủ mời bạn chọn Tải xuống

Thông tin tài liệu

Mục lục

  • MỤC LỤC

  • MỞ ĐẦU

  • DANH MỤC CÁC THUẬT NGỮ

  • CÁC HÌNH VẼ

  • CHƯƠNG I: LOGIC VÀ CƠ SỞ DỮ LIỆU

  • 1.1 Mở đầu

  • 1.2 Logic bậc một

  • 1.2.1 Cú pháp của logic bậc một

  • 1.2.2 Ngữ nghĩa của logic vị từ bậc một

  • 1.2.3 Các dạng mệnh đề của các công thức đóng

  • 1.3 Cơ sở dữ liệu logic

  • 1.3.1 Biểu diễn các sự kiện

  • 1.3.2 Các truy vấn và các ràng buộc toàn vẹn

  • 1.4 Tính toán miền

  • 1.4.1 Các nguyên tắc cơ bản

  • 1.4.2 Một số ví dụ về tính miền

  • 1.5 Tính toán các bộ

  • 1.5.1 Nguyên tắc tính bộ

  • 1.5.2 Một số ví dụ về tính bộ

  • 1.6 Các kỹ thuật suy diễn

Tài liệu cùng người dùng

Tài liệu liên quan