Skip to main content
SpringerLink
Log in
Book cover

International Conference on Database Theory

ICDT 1999: Database Theory — ICDT’99 pp 83–99Cite as

Decidability of First-Order Logic Queries over Views

  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1540))

Abstract

We study the problem of deciding satisfiability of first order logic queries over views, our aim being to delimit the boundary between the decidable and the undecidable fragments of this language. Views currently occupy a central place in database research, due to their role in applications such as information integration and data warehousing. Our principal result is the identification of an important decidable class of queries over unary conjunctive views. This extends the decidability of the classical class of first order sentences over unary relations (the Löwenheim class). We then demonstrate how extending this class leads to undecidability. In addition to new areas, our work also has relevance to extensions of results for related problems such as query containment, trigger termination, implication of dependencies and reasoning in description logics.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. S. Abiteboul and O. Duschka. Complexity of answering queries using materialized views. In Proceedings of the 17th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, pages 254–263, Seattle, Washington, 1998.

    Google Scholar 

  2. J. Bailey, G. Dong, and K. Ramamohanarao. Decidability and undecidability results for the termination problem of active database rules. In Proceedings of the 17th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, pages 264–273, Seattle, Washington, 1998.

    Google Scholar 

  3. E. Boerger, E. Graedel, and Y. Gurevich. The Classical Decision Problem. Springer-Verlag, 1996.

    Google Scholar 

  4. D. Calvanese, G. De Giacomo, and M. Lenzerini. On the decidability of query containment under constraints. In Proceedings of the 17th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, pages 149–158, Seattle, Washington, 1998.

    Google Scholar 

  5. S. Cosmadakis, H. Gaifman, P. Kanellakis, and M. Vardi. Decidable optimization problems for database logic programs. Proceedings of the ACM Symposium on the Theory of Computing, pages 477–490 1988.

    Google Scholar 

  6. S. Cosmadakis, P. Kanellakis, and M. Vardi. Polynomial time implication problems for unary inclusion dependencies. Journal of the ACM, 37(1):15–46, 1990.

    Article  MATH  MathSciNet  Google Scholar 

  7. N. Immerman. Upper and lower bounds for first-order expressibility. Journal of Computer and System Sciences, 25:76–98, 1982.

    Article  MATH  MathSciNet  Google Scholar 

  8. A. Levy, I. S. Mumick, Y. Sagiv, and O. Shmueli. Equivalence, query reachability, and satisfiability in datalog extensions. In Proceedings of the twelfth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, pages 109–122, Washington D.C., 1993.

    Google Scholar 

  9. A. Levy and M. Rousset. The limits on combining recursive horn rules with description logics. In Proceedings of the 13th National Conference on Artificial Intelligence (AAAI-96), Portland, Oregon, 1996.

    Google Scholar 

  10. Y. Sagiv and M. Yannakakis. Equivalences among relational expressions with the union and difference operators. Journal of the ACM, 27(4):633–655, 1980.

    Article  MATH  MathSciNet  Google Scholar 

  11. D. Theodoratos. Deductive object oriented schemas. In Proceedings of ER’96, 15th International Conference on Conceptual Modeling, pages 58–72 1996.

    Google Scholar 

  12. J. D. Ullman. Information integration using logical views. In Proceedings of the Sixth International Conference on Database Theory, LNCS 1186, pages 19–40, Delphi, Greece, 1997.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, King’s College London Strand, London, WC2R 2LS, UK

    James Bailey

  2. Department of Computer Science, The University of Melbourne, Parkville, 3052, Australia

    Guozhu Dong

Authors
  1. James Bailey
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Guozhu Dong
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Institute of Computer Science, The Hebrew University, Givat-Ram, Jerusalem, 91940, Israel

    Catriel Beeri

  2. Department of Computer and Information Science, University of Pennsylvania, Philadelphia, PA, 19104-6389, USA

    Peter Buneman

Rights and permissions

Reprints and permissions

Copyright information

© 1999 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Bailey, J., Dong, G. (1999). Decidability of First-Order Logic Queries over Views. In: Beeri, C., Buneman, P. (eds) Database Theory — ICDT’99. ICDT 1999. Lecture Notes in Computer Science, vol 1540. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-49257-7_7

Download citation

  • DOI: https://doi.org/10.1007/3-540-49257-7_7

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-65452-0

  • Online ISBN: 978-3-540-49257-3

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation