Our algorithm finds a maximally-con

Our algorithm finds a maximally-contained and complete rewriting R, for the problem of answering a conjunctive query Q with a
set of conjunctive views. Taking notice at the containment mapping definition we see that in order to check query containment between R and Q, we need them to be over the same schema. This is done by taking the expansions of the conjunctive rewritings in R. Given r ∈ R, we define the expansion or r, exp(r), to be the conjunctive query we obtain if we unfold the views, i.e., substitute the view heads in the body of r with their descriptions (i.e, the bodies of those view definitions). Note that, when the views get unfolded,the existential variables in the view definitions are renamed so as to get fresh variables.

Kết quả (Việt) 1:

Thuật toán của chúng tôi tìm thấy một chứa tối đa và hoàn toàn viết lại R, cho vấn đề của trả lời một truy vấn bằng Q với mộtthiết lập quan điểm bằng. Tham gia thông báo tại định nghĩa ánh xạ chính sách ngăn chặn chúng tôi thấy rằng để kiểm tra truy vấn ngăn giữa R và Q, chúng tôi cần họ để trên cùng một giản đồ. Điều này được thực hiện bằng cách mở rộng rewritings bằng ở R. Do r ∈ R, chúng tôi xác định việc mở rộng hoặc r, exp(r), để là các truy vấn bằng chúng tôi có được nếu chúng ta mở ra các quan điểm, tức là, thay thế thủ trưởng xem trong cơ thể của r với mô tả của họ (tức là, các cơ quan của những định nghĩa xem). Lưu ý rằng, khi các quan điểm nhận được mở ra, các biến hiện sinh trong định nghĩa xem được đổi tên để có được tươi biến.

Kết quả (Việt) 2:

Thuật toán của chúng tôi tìm thấy một cách tối đa kín và đầy đủ viết lại R, cho các vấn đề của việc trả lời một truy vấn nối tiếp Q với một
tập hợp các điểm nối tiếp. Dùng thông báo vào định nghĩa ánh xạ ngăn chặn chúng ta thấy rằng để kiểm tra truy vấn bao hàm giữa R và Q, chúng ta cần họ để được trong cùng một lược đồ. Điều này được thực hiện bằng cách lấy các bản mở rộng của rewritings nối tiếp trong R. Do r ∈ R, chúng tôi xác định việc mở rộng hoặc r, exp (r), để được truy vấn nối tiếp chúng ta có được nếu chúng ta mở ra các quan điểm, tức là, thay thế các điểm đầu trong cơ thể của r với mô tả của họ (tức là, các cơ quan của những định nghĩa view). Lưu ý rằng, khi các quan điểm được mở ra, các biến tồn tại trong các định nghĩa xem được đổi tên để nhận được các biến tươi.