Phân tích một số phương pháp xử lý vòng lặp vô hạn trong quá trình ước lượng câu truy vấn đối với chương trình datalog

Chỉ số đề mục

50.07

Lĩnh vực nghiên cứu

Người máy và điều khiển tự động

Dạng tài liệu

Tác giả

Hồ Thuần, NGUYỄN DUY KHANH⁽¹⁾

Nhan đề

Phân tích một số phương pháp xử lý vòng lặp vô hạn trong quá trình ước lượng câu truy vấn đối với chương trình datalog

Nhan đề tiếng anh

Nguồn trích

TC Tin học và điều khiển học

Năm xuất bản

2002

Số

2

Trang

119-127

ISSN

Từ khóa

Câu truy vấn, Vòng lặp vô hạn, Chương trình datalog

Từ khóa tiếng anh

Tóm tắt

Phép hợp giải là kỹ thuật chính được các hệ thống trả lời câu truy vấn sử dụng đối với các chương trình logic. Bài báo tập trung phân tích và so sánh hai phương pháp nhằm ngăn chặn các vòng lặp vô hạn trong quá trình ước lượng câu truy vấn đối với các chương trình logic với mô hình hữu hạn. Trình bày các chiến lược tìm kiếm, thảo luận về phép biến đổi ma tập và phép ước lượng bảng SLG, chúng đều là những thuật toán hướng đích, có thể được áp dụng để ước lượng câu truy vấn đối với chương trình datalog. Sự khác nhau cơ bản trong việc thực hiện cả hai kỹ thuật này là về mặt cấu trúc dữ liệu

Tóm tắt tiếng anh

Kí hiệu kho

TTTTKHCNQG, CVv 127

File toàn văn

Xem toàn văn