Answering Recursive Queries Using Views (1997)
Cached
Download Links
- [logic.stanford.edu]
- [logic.stanford.edu]
- DBLP
Other Repositories/Bibliography
| Venue: | In PODS |
| Citations: | 188 - 9 self |
BibTeX
@INPROCEEDINGS{Duschka97answeringrecursive,
author = {Oliver M. Duschka and Michael R. Genesereth},
title = {Answering Recursive Queries Using Views},
booktitle = {In PODS},
year = {1997},
pages = {109--116}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
We consider the problem of answering datalog queries using materialized views. The ability to answer queries using views is crucial in the context of information integration. Previous work on answering queries using views restricted queries to being conjunctive. We extend this work to general recursive queries: Given a datalog program P and a set of views, is it possible to find a datalog program that is equivalent to P and only uses views as EDB predicates? In this paper, we show that the problem of whether a datalog program can be rewritten into an equivalent program that only uses views is undecidable. On the other hand, we prove that a datalog program P can be effectively rewritten into a program that only uses views, that is contained in P, and that contains all programs that only use views and are contained in P. As a consequence, if there exists a program equivalent to P that only uses views, then our construction is guaranteed to yield a program equivalent to P. 1 Introductio...
