Số hóa bởi Trung tâm Học liệu - ĐHTN http://www.lrc-tnu.edu.vn/
Các thuật toán lựa chọn đƣợc đƣa vào tất cả các bản tóm tắt tƣơng ứng với các truy vấn. Việc lựa chọn (thuật toán 1) dựa trên thuật toán tìm kiếm theo chiều sâu và dựa trên thuộc tính của hệ thống phân cấp: các bƣớc tổng quát trong mô hình SAINTETIQ đảm bảo rằng bất kỳ mô tả tồn tại trong nút của cây cũng tồn tại trong mỗi nút cha. Ngƣợc lại, một mô tả là vắng mặt trong nội dung bản tóm tắt khi và chỉ khi nó vắng mặt ở tất cả các danh mục con của bản tóm tắt này. Thuộc tính của hệ thống phân cấp cho phép cắt nhánh ngay sau khi nó biết không tìm đƣợc kết quả nào tại nhánh đó. Tùy thuộc vào truy vấn mà một phần của hệ thống phân cấp chỉ đƣợc sử dụng để khảo sát. Trong mọi trƣờng hợp tất cả các kết quả có liên quan đều bị thu nạp.
Thuật toán 1 mô tả việc thăm dò và thuật toán lựa chọn với các giả định nhƣ sau:
- Hàm Explore-Select trả về một danh sách các bản tóm tắt phù hợp.
- Hàm Corr tƣơng ứng với các bài kiểm tra phù hợp với báo cáo trong mục 3.5.2 - Toán tử “+” thực hiện một danh sách nối đối số của nó.
- Hàm Add là phƣơng thức khởi tạo ban đầu cho các danh sách, nó thêm một yếu tố để tạo nên một danh sách các loại phù hợp.
- Lres là một biến địa phƣơng.
Ví dụ 4: Kết quả của việc áp dụng các thuật toán trên các phần của hệ thống phân cấp trong hình 2.4 đã đƣợc trình bày ở trên sẽ đƣợc liệt kê dƣới đây:
Số hóa bởi Trung tâm Học liệu - ĐHTN http://www.lrc-tnu.edu.vn/ Q1 Q2 Q3 Q4 Q5 Q6 <z5, z7> <z4, z7> <z3, z4, z5, z7> <> <z3, z4, z5, z6> <z5, z7> tb2, te1 tb1, te1 ta1, tb1, tc1, td1, tb2, te1 __ ta1, tb1, tc1, td1, tb2, tc2, te1 tb2, te1
Hình 2.5 đoạn chương trình mô phỏng [7]