Chƣơng này trình bày về CSDL suy diễn nhƣ một sự mở rộng của CSDL logic bằng cách thêm vào các quy tắc.
Datalog là một ngôn ngữ chuẩn có khả năng biểu diễn các quy tắc dựa trên cơ sở dữ liệu lớn. Datalog mở rộng có thêm sự hỗ trợ các hàm, sự phủ định và các tập hợp. Datalog cho phép đặt các câu hỏi phức tạp có chứa các phép toán của đại số quan hệ, cho phép thực hiện đệ quy nhƣng không hỗ trợ sự phủ định trong đệ qui.
KẾT LUẬN
Luận văn đã đạt đƣợc một số kết quả :
1. Luận văn tìm hiểu cơ sở logic xây dựng cơ sở dữ liệu suy diễn – Logic vị từ bậc một;
2. Trình bày về mô hình cơ sở dữ liệu logic, tính toán miền và các tính toán bộ ;
3. Tìm hiểu về các kỹ thuật suy diễn trong CSDL logic,
4. Trình bày các vấn đề của hệ quản trị CSDL suy diễn: Ngôn ngữ quy
tắc, mắc nối hoặc tích hợp, kiến trúc kiểu của một hệ quản trị CSDL tích hợp;
5. Trình bày về cú pháp, ngữ nghĩa của ngôn ngữ Datalog, cũng nhƣ sự mở rộng của Datalog với giả thuyết thế giới đóng, sự phủ định. Vấn đề tính giá trị của các truy vấn Datalog, đồ thị phụ thuộc vị từ và tính giá trị các quy tắc đệ quy.
6. Minh họa các thuật toán qua các ví dụ cụ thể.
Để tiếp tục làm việc theo hƣớng cơ sở dữ liệu suy diễn, luận văn có thể đƣợc phát triển theo :
1. Nghiên cứu vấn đề các ràng buộc toàn vẹn trong CSDL suy diễn;
2. Nghiên cứu một số kiến trúc song song cho cơ sở dữ liệu suy diễn;
việc đánh giá song song đối với các điều kiện toàn vẹn và đánh giá câu hỏi cũng là một vấn đề cần phải đi sâu nghiên cứu.