Abstract
We consider the problem of answering queries using views, where queries and views are conjunctive queries with arithmetic comparisons (CQACs) over dense orders. Previous work only considered limited variants of this problem, without giving a complete solution. We have developed a novel algorithm to obtain maximally-contained rewritings (MCRs) for queries having left (or right) semi-interval-comparison predicates. For semi-interval queries, we show that the language of finite unions of CQAC rewritings is not sufficient to find a maximally-contained solution, and identify cases where datalog is sufficient. Finally, we show that it is decidable to obtain equivalent rewritings for CQAC queries.
Original language | English (US) |
---|---|
Title of host publication | Proceedings of the ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems |
Pages | 209-220 |
Number of pages | 12 |
State | Published - 2002 |
Event | Proceedings of the 21st ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems (PODS 2002) - Madison, WI, United States Duration: Jun 3 2002 → Jun 5 2002 |
Other
Other | Proceedings of the 21st ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems (PODS 2002) |
---|---|
Country/Territory | United States |
City | Madison, WI |
Period | 6/3/02 → 6/5/02 |
All Science Journal Classification (ASJC) codes
- Software
- Information Systems
- Hardware and Architecture