TAILIEUCHUNG - 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.

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. Những ý tưởng cơ bản của điều khiển học đã và đang được các môn khoa học, công nghệ khác sử dụng lại và tiếp tục ảnh hưởng đến sự phát triển chung của nền khoa học công nghệ nhân loại. Tiền tố "Cyber", “Online”, “E-” đang hiện diện ở khắp nơi, tràn ngập cuộc sống hiện đại như tượng trưng cho sự giao lưu thông tin phong phú và tràn ngập trong văn hoá. . | Tạp chí Tin học và Điều khiển học T. 17 2001 87-96 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 VAN ĐỐI VỚI CHƯƠNG TRÌNH DATALOG LÊ MẠNH THẠNH TRƯONÍG CÔNG TUẤN Abstract. Resolution is the main technique used by query answering systems for logic programs. This paper analyses and compares two methods that avoid infinite loops in the process of query evaluation for logic programs with finite models. We present some search strategies and discuss a particular tabulation technique SLG resolution and a particular transformation technique Magic Templates. They are all goal-oriented and can be applied to evaluate queries for the Datalog programs. The primary differences between direct implementations of both approaches are in the maintenance of data structures. Tóm tắt. Phép phân 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 trong 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. Chúng tôi 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. cả hai phương pháp này đều là nhũng thuật toán hướng đích chúng ta có thể á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úa cả hai cách tiếp cận này là về mặt cấu trúc dữ liệu. 1. MỞ ĐẦU Các kỹ thuật để trả lò i câu truy vấn đối với các chương trình logic đã được nghiên cứu nhiều trong các năm qua và có thể tìm thấy nhiều công trình nghiên cứu 2 4-8 11 . Những kỹ thuật này được áp dụng theo hai cách khác nhau thường được gọi là trên xuống top-down và dưới lên bottom-up . Các phương pháp top-down có vẻ là các phương pháp trực giác do điểm khởi dầư của việc tính toán là từ dích truy vấn và chúng sẽ không tính các fact không thích hợp vói câu truy vấn. Tuy nhiên các kết quả trung gian có thể được tính toán lặp đi lặp .

• Kĩ thuật Viễn thông
• phương pháp xử lý
• điều khiển học
• nghiên cứu tin học
• Lý thuyết thuật toán
• tự động học
• khoa học điều khiển
• Bài giảng Xử lý nước cấp
• Công nghệ xử lý nước
• Phương pháp xử lý nước
• Quá trình lọc
• Phương pháp xử lý nước đặc biệt
• Công nghệ xử lý nước thải
• Phương pháp xử lý nước thải
• Bài tập xử lý nước thải
• Tài liệu xử lý nước thải
• Kỹ thuật xử lý nước thải
• Xử lý nước thải
• Xử lý nước thải bằng phương pháp sinh học
• Phương pháp sinh học
• Xử lý sinh học
• Thiết kế hệ thống xử lý nước
• Phương pháp xử lý bùn cặn
• Phương pháp xử lý bể phản ứng
• Xử lý nước thải hóa học
• Xử lý nước thải sinh học
• Các loại bể xử lý
• Các cấp xử lý nước thải
• Luận văn thạc sỹ
• Giải pháp xử lý nước thải chăn nuôi
• Xử lý nước thải chăn nuôi lợn
• Phương pháp giải quyết vấn đề
• Phương pháp xử lý tình huống
• Hành động dạy học
• Phương pháp quản lý
• Phương pháp lãnh đạo
• Xử lý tình huống
• Công nghệ giáo dục
• xử lý nước cấp
• công nghệ xử lý nước cấp
• kỹ thuật xử lý nước cấp
• giáo trình xử lý nước cấp
• Cơ sở công nghệ xử lý khí thải
• Công nghệ xử lý khí thải
• Xử lý khí thải
• Khí thải công nghiệp
• Phương pháp xử lý hơi
• Xử lý khí độc
• Công nghệ xử lý khí thải công nghiệp
• Xử lý khí thải công nghiệp
• Lý thuyết công nghệ xử lý nước thải
• Giáo trình công nghệ xử lý nước thải
• Qui trình xử lý công nghệ nước thải
• Hệ thống công nghệ xử lý nước thải
• Xử lý đất do kí sinh trùng
• Biện pháp xử lý đất
• Kỹ thuật xử lý đất
• Xử lý đất bằng biện pháp cơ giới
• Xử lý đất bằng biện pháp công trình
• Phương pháp khử trùng đất
• Bài giảng Kỹ thuật xử lý nước thải
• Kỹ thuật xử lý
• Phương pháp hóa lý
• Phương pháp keo tụ tạo bông
• Phương pháp cơ học
• Phương pháp hoá học
• Phương pháp xử lý sinh học
• luận văn
• phương pháp Fenton
• chất hữu cơ khó phân hủy
• xử lý nước rỉ rác
• Phương pháp xử lý cơ học
• Phương pháp xử lý hóa lý
• kỹ thuật xử lý ảnh
• công nghệ xử lý ảnh
• phương pháp xử lý ảnh
• hướng dẫn xử lý ảnh
• kinh nghiệm xử lý ảnh
• Phương pháp xử lý bụi
• Xử lý bụi
• Tổng quan xử lý bụi
• Bài giảng xử lý bụi
• Tài liệu xử lý bụi
• Phân loại bụi
• Ô nhiễm môi trường
• Ô nhiễm không khí