Đang tải... (xem toàn văn)
Thông tin tài liệu
Ngày đăng: 25/03/2015, 09:55
Xem thêm: Nghiên cứu lý thuyết xây dựng cơ sở dữ liệu suy diễn và ngôn ngữ datalog
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
Trích đoạn
Tài liệu cùng người dùng
Tài liệu liên quan