Abstract
In this paper we consider the problem of answering queries using materialized views in the presence of negative goals. The solution is carried out by ‘inverting’ views and deriving both positive and negative knowledge. In order to derive negative knowledge we invert conjunctive views with negation into a set of (extended) views which may also have, in addition to negation-as-failure, a different form of negation called classical (or strong) negation. Finally, we analyze the problem of inferring knowledge from views based on relations with functional dependencies.
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Abiteboul S., Hull R., and V. Vianu, Foundations of Databases, Addison-Wesley, 1994.
Abiteboul S., Duschka O., Proc. PODS Symp., 1998.
Chaudhuri S., R. Krishnamurty, S. Potamianos, and K. Shim, Optimizing queries with materialized views. Proc. ICDE Conf., 1995, pp. 190–200.
Chekuri C., and A. Rajaraman, Conjunctive Query Containment Revisited. Proc. ICDT Conf., 1997, pp. 56–70.
Duschka O. M., and M. R. Genesereth, Answering Recursive Queries Using Views. Proc. PODS Symp., 1997, pp. 109–116.
Duschka O. M., Query Planning and Optimization in Information Integration. PhD dissertation, 1997.
Eiter T., G. Gottlob, and H. Mannila, Adding Disjunction to Datalog, Proc. PODS Symp., 1993, pp. 267–278.
Gelfond M., and V. Lifschitz, Logic Programming with Classical Negation. Proc. ICLP Conf., 1991, pp. 580–597.
Greco S., and D. Sacca’, Negative Logic Programming. Proc. NACLP Conf., 1991.
Kowalsky R., and F. Sadri, Logic Programming with Exceptions. Proc. ICLP Conf., 1991, pp. 598–613.
Levy A., A. Mendelzon, Y. Sagiv, and D. Srivastava, Answering Queries Using views. Proc. PODS Symp., 1995, pp. 95–104.
Levy A., A. Rajaraman, and J. Ullman, Answering Queries Using limited external processors. Proc. PODS Symp., 1996.
J. Lloyd, Foundation of Logic Programming, Second Edition, Spinger-Verlag, 1987.
Ramakrinshnan R., Y. Sagiv, J. Ullman, and M. Vardi, Proof-three transformations theorems and their applications. Proc. PODS Symp., 1989, pp. 172–181.
Shmueli O., Decidability and expressiveness aspects of logic queries. Proc. PODS Symp., 1987, pp. 237–249.
Qian X., Query folding. Proc. ICDE, 1996, pp. 48–55.
Ullman J.D., Principles of Database and Knowledge Base Systems, Computer Science Press, 1988.
Ullman J.D., Information integration using logical views. Proc. ICDT Conf., 1997.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Flesca, S., Greco, S. (1999). Rewriting Queries using Views. In: Bench-Capon, T.J., Soda, G., Tjoa, A.M. (eds) Database and Expert Systems Applications. DEXA 1999. Lecture Notes in Computer Science, vol 1677. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-48309-8_33
Download citation
DOI: https://doi.org/10.1007/3-540-48309-8_33
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-66448-2
Online ISBN: 978-3-540-48309-0
eBook Packages: Springer Book Archive