... nghiên cứu Việc tìm hiểu sở sở liệu suy diễn ứng dụng vấn đề có ý nghĩa lý thuyết thực tiễn Với lý em chọn đề tài nghiên cứu luận văn là: “ Nghiên cứu lý thuyết xây dựng sở liệu suy diễn ngôn ngữ Datalog ... Logic sở liệu Trình bày khái niệm sở logic bậc – ngôn ngữ tảng để biểu diễn sở liệu logic, tính toán tính toán miền hình thức hoá logic ngôn ngữ truy vấn sở liệu quan hệ Chương 2: Cơ sở liệu suy diễn ... diễn Trình bày ngôn ngữ quy tắc sở liệu suy diễn, vấn đề phân chia hay tích hợp động suy diễn với hệ quản trị sở liệu Chương trình bày ngôn ngữ Datalog, cú pháp, ngữ nghĩa, mở rộng Datalog, vấn...