TAP CHÍ KHOA HOC Đai hoc Huế, số 14 2002 MỘT SỐ CẢI TIÉN ĐỐI VỚI PHÉP BIÉN ĐỔI MA TẬP ĐẺ TỐI ƯU HÓA CÂU TRUY VẤN TRÊN CHƯƠNG TRÌNH DATALOG Lê Mạnh Thạnh, Trương Cơng Tuấn Trường Đại học Khoa học, Đại học Huế MỞ ĐẦU Phép biến đổi ma tập đánh giá kỹ thuật tối ưu câu truy vấn có hiệu sở liệu suy diễn Lý quan trọng thành công kỹ thuật kết họp ưu điểm kỹ thuật ước lượng xuống (top-down) lên (bottom-up), từ giảm thiểu số kiện cần tính tìm kiếm sở liệu Tính lơi kỹ thuật ma tập thể tính hiệu ([3, 4, 5]) Tuy nhiên, phép biến đổi ma tập chưa chiến lược định giá câu truy vấn tốt Bài báo tập trung thảo luận số vấn đề liên quan đến phép biến đổi ma tập đề xuất số cải tiến nhằm nâng cao hiệu việc tối ưu câu truy vấn chương trình Datalog MỘT SỐ KHÁT NỆM SỞ Trong khuôn khổ báo, trình bày tóm tắt số khái niệm sở phép biến đổi ma tập Để có chi tiết đầy đủ số khái niệm khác sở liệu suy diễn xem [1, 5] 2.1 Tô điểm (Adornment): Tô điểm cách thích vị từ để cung cấp thông tin vị từ sử dụng trình định giá câu truy vấn Ta có số định nghĩa: (i) Một đối đích quy tắc r gọi buộc suốt trình định giá câu truy vấn, đích tạo từ đích có giá trị vị trí đối Ngược lại, đối gọi tự (ii) Một tô điểm vị từ p(ti,t2, ,tk) dãy ký tự b và/ có chiều dài k Nếu ký hiệu thứ i tô điểm b đối thứ i p buộc, ký hiệu thứ i tơ điểm / đối thứ i p tự Chỉ có vị từ IDB tô điểm (iii) Cho quy tắc p