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. Từ "Cybernétique" đã được biết đến và dùng trước đó, năm 1834 bởi nhà vật lý André - Marie Ampère (1775 -1836) để chỉ khoa học về Chính phủ trong hệ thống phân loại của ông về kiến thức của con người. Còn ban đầu nó cũng được nhà triết học Hy Lạp Platon sử dụng để nói về Quy luật cai trị, lãnh đạo con người. Từ cầm quyền (govern) và thống đốc (governor). | Tạp chí Tin học và Đĩêu khiền học T. 18 s. 2 2002 119--127 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 Hồ THUẦN LÊ MẠNH THẠNH TRƯƠNG 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 techniques are in the maintenance of data structures. Tóm tắt. Phép hợp giải là kỹ thuật chính đuợc các hệ thống trả lời câu truy vấn sủ dụng đối với các chuơng trình logic. Bài báo tập trung phân tích và so sánh hai phuơng pháp nhằm ngăn chặn các vòng lặp vô hạn trong quá trình uớc luợng câu truy vấn đối với các chuơ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 luợc tìm kiếm thảo luận về phép biến đổi ma tập và phép uớc luợng bảng SLG chúng đều là nhũng thuật toán huớng đích có thể đuợc áp dụng để uớc luợng câu truy vấn đối với chuơ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. 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 trong nhiều công trình nghiên cứu 2 4 6-9 11 12 . 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 trên xuống có vẻ là các phương pháp trực giác do điểm khởi đầu của việc tính toán là từ đích truy vấn và chúng sẽ không tính các sự kiện 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 lại

• Kĩ thuật Viễn thông
• chương trình datalog
• khoa học điều khiển
• hệ thống kỹ thuật
• điều khiển học
• nghiên cứu tin học
• Lý thuyết thuật toán
• tự động học
• Bài giảng Datalog
• Ngôn ngữ luật cho các CSDL
• Quản trị cơ sở dữ liệu
• Hệ quản trị cơ sở dữ liệu suy diễn
• Các ngôn ngữ luật
• Ngữ nghĩa của chương trình datalog
• Phép biến đổi ma tập
• Tối ưu hóa câu truy vấn
• Câu truy vấn
• Tối ưu câu truy vấn
• Cơ sở dữ liệu suy diễn
• Đề tài nghiên cứu khoa học
• Báo cáo nghiên cứu khoa học
• Báo khoa học
• phương pháp xử lý
• Quản lý hoạt động tự học
• Thực trạng hoạt động tự học
• Hoạt động tự học
• Hoạt động tự học của sinh viên
• Ý thức tự học
• Kỹ năng tự học
• Đề thi học kỳ
• Thiết bị tự động
• Hệ thống tự động
• Đề thi Thiết bị tự động
• Đề thi Hệ thống tự động
• Bài tập Thiết bị tự động
• Bài tập Hệ thống tự động
• Thực trạng quản lý hoạt động tự học
• Giải pháp quản lý hoạt động tự học
• Quản lý giáo dục đại học
• Thiết kế các hoạt động tự học cho học sinh
• Hoạt động tự học của học sinh
• Tự học theo chủ đề môn Hóa học
• Đánh giá năng lực tự học của học sinh
• Khung năng lực tự học môn Hóa học
• Tăng cường hoạt động tự học sinh viên
• Quản lý hoạt động tự học sinh viên
• Thực trạng hoạt động tự học sinh viên
• Công tác tự học sinh viên
• Sinh viên trường Đại học Sư Phạm
• Tự động hóa
• Tự động hóa quá trình công nghệ
• Lý thuyết điều khiển tự động
• Tự động hóa quá trình sản xuất
• Hệ thống rửa xe tự động
• Đồ án tự động hóa
• Đặc tính động học
• động học của hệ thống
• cơ sở tự động
• bài giảng cơ sở tự động
• tổng quan cơ sở tự động
• tài liệu cơ sở tự động
• Đặc tính động học của hệ thống
• Khâu động học điển hình
• Động học của hệ thống tự động
• Hệ thống tự động thủy khí
• Đề thi Hệ thống tự động thủy khí
• Thực trạng quản lí hoạt động tự học
• Quản lí hoạt động tự học của học sinh
• Kĩ năng tự học của học sinh
• Phát triển khả năng tự học của học sinh
• Biện pháp nâng cao tinh thần tự học của học sinh
• Giáo trình điều khiển tự động
• Hệ thống điều khiển tự động
• Toán học phần tử
• Hệ thông điều khiển
• Giải pháp tự động hóa của
• Tin học hóa
• Chế biến sâu khoáng sản
• Hệ thống tự động hoá trạm quạt gió
• Tự động hoá hầm bơm
• Tính tích cực tự học
• Biểu hiện tính tích cực tự học của sinh viên
• Thực trạng tính tích cực trong hoạt động tự học
• Hoạt động tự học ngoài giờ lên lớp của sinh viên
• Thái độ của sinh viên đối với hoạt động tự học
• Luận văn Thạc sĩ Giáo dục học
• Biện pháp quản lý hoạt động tự học
• Quản lý giáo dục
• Lý thiết điều khiển tự động
• Bài giảng Lý thiết điều khiển tự động
• Bài giảng Hệ thống điều khiển tự động
• Điều khiển tự động
• Đặc tính động học của các khâu
• Các khâu động học cơ bản
• bài giảng lý thuyết điều khiển tự động
• tài liệu lý thuyết điều khiển tự động
• giáo trình lý thuyết điều khiển tự động
• đề cương lý thuyết điều khiển tự động