The intuition behind the second par

The intuition behind the second part of the definition is that whenever a part of a query needs a value, you can not cover that
part with a view that does not explicitly provide this value. On occasion, we might abuse the above definition to say that a greater
subgoal, or even V itself, covers qq with ϕ (since these coverings involve trivial extensions of ϕ). For all variables x ∈ gq and y ∈ gvwe say that x maps on y (or y covers x) iff for a covering involving ϕ, ϕ(x) = y.

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

Trực giác phía sau phần thứ hai của định nghĩa là rằng bất cứ khi nào một phần của một truy vấn cần một giá trị, bạn có thể không bao gồm màmột phần với một cái nhìn không rõ ràng cung cấp giá trị này. Thỉnh thoảng, chúng tôi có thể lạm dụng định nghĩa trên để nói rằng, một lớn hơnsubgoal, hoặc thậm chí V chính nó, bao gồm qq với ϕ (kể từ khi những lớp phủ liên quan đến tiện ích mở rộng tầm thường của ϕ). Đối với tất cả các biến x ∈ gq và y ∈ gvwe nói rằng x bản đồ trên y (hoặc bao gồm y x) iff cho một bao gồm liên quan đến ϕ, ϕ(x) = y.

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

Trực giác đằng sau phần thứ hai của định nghĩa là bất cứ khi nào một phần của một truy vấn cần có một giá trị, bạn không thể bao quát rằng
một phần với một cái nhìn mà không cung cấp một cách rõ ràng giá trị này. Thỉnh thoảng, chúng ta có thể lợi dụng các định nghĩa ở trên để nói rằng một lớn hơn
subgoal, hoặc thậm chí V chính nó, bao gồm qq với φ (kể từ những trải liên quan đến mở rộng tầm thường của φ). Đối với tất cả các biến x ∈ GQ và y ∈ gvwe nói rằng bản đồ trên x y (hoặc bao bì y x) khi và chỉ khi để che chở sự tham gia của φ, φ (x) = y.