We examine the con- sequences of al

We examine the con- sequences of allowing more expressive view definition languages. The languages we consider for view definitions and user queries are: conjunctive queries with inequality, positive queries, datalog, and first-order logic. We show that the complexity of the problem de- pends on whether views are assumed to store all the tuples that sat- isfy the view definition, or only a subset of it. Finally, we apply the results to the view consistency and view self-maintainability prob- lems which arise in data warehousing.

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

Chúng tôi kiểm tra các chuỗi con cho phép xem thêm diễn cảm ngôn ngữ định nghĩa. Các ngôn ngữ mà chúng tôi xem xét xem định nghĩa và truy vấn người dùng là: các truy vấn bằng với bất đẳng thức, tích cực truy vấn, datalog, và đầu tiên-trật tự logic. Chúng tôi thấy rằng sự phức tạp của vấn đề de-pends trên hay không xem được giả định để lưu trữ tất cả các tuples đó ngồi-isfy định nghĩa xem, hay chỉ là một tập hợp con của nó. Cuối cùng, chúng tôi áp dụng các kết quả cho sự thống nhất xem và xem self-maintainability prob-lems mà phát sinh trong dữ liệu kho bãi.

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

Chúng ta xem xét những hệ quả của việc cho phép nhìn biểu cảm hơn ngôn ngữ định nghĩa. Các ngôn ngữ chúng ta xem xét để xem các định nghĩa và các truy vấn người dùng là: truy vấn nối tiếp với sự bất bình đẳng, các truy vấn tích cực, Datalog, và logic thứ tự đầu tiên. Chúng tôi thấy rằng sự phức tạp của vấn đề triển phụ thuộc vào biểu dù quan điểm được giả định để lưu trữ tất cả các bộ dữ liệu mà mãn isfy định nghĩa khung nhìn, hoặc chỉ là một tập hợp con của nó. Cuối cùng, chúng tôi áp dụng các kết quả để thống nhất quan điểm và xem mắc các tự trì phát sinh trong kho dữ liệu.