We study the complexity of the prob

We study the complexity of the problem ofanswering queriesusing materialized views. This problem has attracted a lot of attention recently because of its relevance in data integration. Previous work consideredonly conjunctiveview definitions. We examine the consequences of allowing more expressive view definition languages. Thelanguagesweconsiderforviewdefinitionsanduserqueriesare: conjunctive queries with inequality, positive queries, datalog, and first-order logic. We show that the complexity of the problem depends on whether views are assumedto store all the tuples that satisfy the view definition, or only a subset of it. Finally, we apply the results to the view consistencyand view self-maintainability problems which arise in data warehousing.

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

Chúng tôi nghiên cứu sự phức tạp của các vấn đề ofanswering queriesusing vật hoá quan điểm. Vấn đề này đã thu hút rất nhiều sự chú ý gần đây vì nó liên quan trong hợp dữ liệu. Trước đây công việc consideredonly định nghĩa conjunctiveview. Chúng ta xem xét những hậu quả của việc cho phép xem thêm diễn cảm ngôn ngữ định nghĩa. Thelanguagesweconsiderforviewdefinitionsanduserqueriesare: conjunctive truy vấn 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 ta thấy sự phức tạp của các vấn đề phụ thuộc vào việc xem có cửa hàng assumedto tuples đáp ứng đị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ả để xem consistencyand xem self-maintainability vấn đề mà phát sinh trong dữ liệu kho bãi.

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

Chúng tôi nghiên cứu sự phức tạp của vấn đề ofanswering queriesusing thể hóa quan điểm. Vấn đề này đã thu hút rất nhiều sự chú ý gần đây vì sự phù hợp của nó trong tích hợp dữ liệu. Nghiên cứu trước đây định nghĩa conjunctiveview consideredonly. Chúng ta xem xét hậu quả của việc cho phép nhìn biểu cảm hơn ngôn ngữ định nghĩa. Thelanguagesweconsiderforviewdefinitionsanduserqueriesare: 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 đề phụ thuộc vào việc quan điểm được assumedto lưu trữ tất cả các bộ dữ liệu theo định nghĩa xem, 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ả để xem xem consistencyand vấn đề tự bảo trì phát sinh trong kho dữ liệu.