Predicates appearing in the body st

Predicates appearing in the body stand for relations of a database
D, while the head represents the answer relation of the query over
D. The query being “safe” means that _x ⊆ _n
i=1 _yi. All variables
in the head are called head, distinguished, or returning variables,
while the variables appearing only in the body (i.e., those in
_n
i=1 _yi _x) are called existential variables. We will call type of
a variable its property of being distinguished or existential. For all
sets of atoms S, vars(S) is the set of variables appearing in all the
atoms in S (e.g., vars(Q)2 is the set of all query variables). Q(D)
refers to the result of evaluating the query Q over the database D.
A view V is a named query. The result set of a view is called
the extension of the view. In the context of data integration a view
could be incomplete, in the sense that its extension could only be a
subset of the relation V (D). Users pose conjunctive queries over
D and the system needs to rewrite or reformulate these queries
into a union of conjunctive queries (UCQ) that only use the views’
head predicates so as to obtain all of the tuples in Q(D) that are
available in the sources. We will refer to this UCQ as the query
rewriting while an individual conjunctive query in a rewriting will
be called a conjunctive rewriting [7]. Query rewriting is closely
related to the problem of query containment [16].

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

Predicates xuất hiện trong cơ thể đứng cho quan hệ cơ sở dữ liệuD, trong khi người đứng đầu đại diện cho mối quan hệ trả lời các truy vấn trênMất các truy vấn được "an toàn" có nghĩa là rằng _n _x ⊆tôi = 1 _yi. Tất cả các biếntrong phần đầu được gọi là người đứng đầu, phân biệt, hoặc trở về biến,trong khi các biến xuất hiện chỉ trong cơ thể (tức là, những người trong_ntôi = 1 _yi _x) được gọi là biến hiện sinh. Chúng tôi sẽ gọi loạimột biến thuộc tính được phân biệt hoặc hiện sinh. Cho tất cảbộ nguyên tử S, vars (S) là tập hợp của các biến xuất hiện trong tất cả cácnguyên tử trong S (ví dụ như, vars (Q) 2 là tập hợp tất cả truy vấn biến). Q(D)đề cập đến kết quả của việc đánh giá các truy vấn Q trên cơ sở dữ liệu mấtMột cái nhìn V là một truy vấn được đặt tên theo. Thiết lập kết quả của một cái nhìn được gọi làTiện ích mở rộng giao diện. Trong bối cảnh hội nhập dữ liệu một xemcó thể là không đầy đủ, trong ý nghĩa mở rộng của nó có thể chỉ là mộttập hợp con của mối quan hệ V (D). Người dùng đưa ra bằng truy vấn trênD và hệ thống cần phải viết lại hoặc reformulate các truy vấn nàyvào một liên minh của các truy vấn bằng (UCQ) mà chỉ sử dụng các quan điểmpredicates đầu để có được tất cả các tuples trong Q(D) cócó sẵn trong các nguồn. Chúng tôi sẽ đề cập đến UCQ này như truy vấnviết lại trong khi một truy vấn bằng cá nhân trong một viết lại sẽđược gọi là một conjunctive viết lại [7]. Truy vấn viết lại là chặt chẽliên quan đến vấn đề của truy vấn ngăn chặn [16].