The problem of minimizing a rewriti

The problem of minimizing a rewriting is NP-complete [16] and therefore most algorithms produce a number of non-minimal conjunctive rewritings in their solutions. An additional problem related to minimality is that of redundant rewritings, when more than one equivalent conjunctions exist in the same UCQ rewriting. Our algorithm produces fewer conjunctive rewritings than the current state-of-the-art algorithm, but we also suffer from redundant and non-minimal ones. A containment mapping from a query Q to a rewriting R is also seen as the covering of Q by (the views in) R. Similarly we can define:
DEF. 3. Covering: For all queries Q, for all views V , for all subgoals gq ∈ body(Q), for all subgoals gv ∈ body(V ), for all
partial homomorphisms ϕ : vars(Q) → vars(V ), we say that a view subgoal gv covers a subgoal gq of Q with ϕ iff:
• ϕ(gq) = gv, and
• for all x ∈ vars(gq) if x is distinguished then ϕ(x) ∈ vars(gv) is distinguished.

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

Vấn đề của việc giảm thiểu một viết lại là NP-đầy đủ [16] và do đó hầu hết các thuật toán sản xuất một số lượng không tối thiểu bằng rewritings trong các giải pháp của họ. Một vấn đề bổ sung liên quan đến minimality là của dự phòng rewritings, khi nhiều hơn một liên từ tương đương tồn tại trong cùng một UCQ viết lại. Thuật toán của chúng tôi sản xuất ít rewritings bằng hơn thuật toán nhà nước-of-the-nghệ thuật hiện tại, nhưng chúng tôi cũng bị những người dự phòng và phòng không tối thiểu. Ánh xạ chính sách ngăn chặn từ một truy vấn Q để viết lại một R cũng được coi là bao gồm của Q (views ở) R. Tương tự như vậy, chúng tôi có thể xác định:DEF. 3. Bao gồm: Cho tất cả các truy vấn Q, cho tất cả xem V, cho tất cả subgoals gq ∈ body(Q), cho tất cả subgoals gv ∈ cơ thể (V), cho tất cảmột phần homomorphisms ϕ: vars(Q) → vars (V), chúng tôi nói rằng một gv subgoal xem bao gồm một subgoal gq của Q với ϕ iff:• Φ(gq) = gv, và• cho tất cả các vars(gq) x ∈ nếu x phân biệt sau đó ϕ(x) ∈ vars(gv) được phân biệt.

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

Các vấn đề giảm thiểu một viết lại là NP-đầy đủ [16] và do đó hầu hết các thuật toán tạo ra một số rewritings nối tiếp không nhỏ trong các giải pháp của họ. Một vấn đề nữa liên quan đến minimality là của rewritings dự phòng, khi có nhiều hơn một liên từ tương đương tồn tại trong viết lại UCQ cùng. Thuật toán của chúng tôi sản xuất ít rewritings nối tiếp so với nhà nước-of-the-nghệ thuật thuật toán hiện nay, nhưng chúng tôi cũng phải chịu đựng từ những người dư thừa và không tối thiểu. Một bản đồ ngăn chặn từ một Q truy vấn để viết lại một R cũng được xem như là phần bao ngoài của Q của (các quan điểm trong) R. Tương tự như vậy chúng ta có thể xác định:
DEF. 3. Che: Đối với tất cả các truy vấn Q, cho tất cả các quan điểm V, cho tất cả subgoals GQ ∈ cơ thể (Q), cho tất cả subgoals gv ∈ cơ thể (V), cho tất cả
homomorphisms φ phần: vars (Q) → VAR (V), chúng ta nói rằng một gv xem subgoal bao gồm một GQ subgoal của Q với φ iff:
• φ (GQ) = gv, và
• với mọi x ∈ vars (GQ) nếu x được phân biệt sau đó φ (x) ∈ VAR (gv) là phân biệt.