This property is referred to as (cl

This property is referred to as (clause C2 in) Property 1 in MiniCon[19]. This is also the basic idea of the MiniCon algorithm: trying to map all query predicates of q1 to all possible views, it will notice that the existential query variable y in the query maps on r2 in S1; since r2 is existential it needs to go back to the query and check wether all predicates mentioning y can be covered by S1. Here ConnectingRoutes( x,y,p) cannot. We notice that there is duplicate work being done in this process.

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

Tài sản này được gọi là (điều khoản C2 trong) sở hữu 1 trong MiniCon [19]. Đây cũng là ý tưởng cơ bản của các thuật toán MiniCon: cố gắng để ánh xạ tất cả truy vấn predicates của q1 cho tất cả có thể xem, nó sẽ thông báo rằng hiện sinh truy vấn biến y trong truy vấn bản đồ trên r2 trong S1; kể từ khi r2 là hiện sinh nó cần để trở lại các truy vấn và kiểm tra thời tiết tất cả predicates nhắc đến y có thể được bao phủ bởi S1. Ở đây ConnectingRoutes (x, y, p) không thể. Chúng tôi nhận thấy rằng có trùng lặp công việc được thực hiện trong quá trình này.

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

Khách sạn này được gọi là (khoản C2 in) Sở hữu 1 trong MiniCon [19]. Đây cũng là ý tưởng cơ bản của thuật toán MiniCon: cố gắng để bản đồ tất cả các vị từ truy vấn của q1 cho tất cả các quan điểm có thể, nó sẽ thông báo rằng hiện sinh biến truy vấn y trong các truy vấn trên bản đồ r2 trong S1; kể từ r2 là hiện sinh nó cần phải quay trở lại để truy vấn và kiểm tra thời tiết tất cả các vị nhắc đến y có thể được bao phủ bởi S1. Đây ConnectingRoutes (x, y, p) không thể. Chúng tôi nhận thấy rằng có những việc trùng lặp được thực hiện trong quá trình này.