Datalog Và Cơ Sở Dữ Liệu Suy DiễnTrình bày khái quát về Cơ sở dữ liệu (CSDL) suy diễn và chương trình Datalog. Nêu và phân tích, làm rõ đặc trưng, ý nghĩa của mỗi cách tiếp cận khác nhau để trả lời câu hỏi truy vấn trong CSDL suy diễn. Giới thiệu các phương pháp nhằm ngăn chặn các vòng lặp vô hạn khi tìm kiếm lời giải của câu truy vấn đối với Datalog bằng phương pháp định giá bảng cũng như thuật toán định giá chương trình Datalog theo các thành phần liên thông mạnh đã được phân tích, xem xét. Trình bày, phương pháp biến đổi ma tập và thảo luận một số hạn chế của phép biến đổi ma tập. Từ đó, có được sự cải tiến thuật toán ma tập trên một số lớp con của chương trình Datalog và chương trình Datalog tuyến tính. Luận văn thạc sĩ Chuyên ngành Công nghệ thông tin Người hướng dẫn khoa học: PGS. TS. Hồ Thuần Tác giả: Vũ Hồng Sơn Số trang: 98 Kiểu file: PDF Ngôn ngữ: Tiếng Việt Đại học Công nghệ 2005 Link Download http://dlib.vnu.edu.vn/iii/cpro/DigitalItemViewPage.external?lang=vie&sp=1007719https://drive.google.com/drive/folders/1yLBzZ1rSQoNjmWeJTM6cEZ3WGQHg04L1
