[PDF][PDF] Answering recursive queries using views
OM Duschka, MR Genesereth - … of the sixteenth ACM SIGACT-SIGMOD …, 1997 - dl.acm.org
OM Duschka, MR Genesereth
Proceedings of the sixteenth ACM SIGACT-SIGMOD-SIGART symposium on …, 1997•dl.acm.orgWe consider the problem of answering datalog queries using materialized views. The abiity
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 …
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 …
Abstract
We consider the problem of answering datalog queries using materialized views. The abiity 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.
ACM Digital Library