Skip to main content
SpringerLink
Log in

Query Processing in Deductive Databases

  • Reference work entry
  • First Online:
Encyclopedia of Database Systems

  • 16 Accesses

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

Access this chapter

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 4,499.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Hardcover Book
USD 6,499.99
Price excludes VAT (USA)
  • Durable hardcover 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

Institutional subscriptions

Recommended Reading

  1. Bancilhon F, Maier D, Sagiv Y, Ullman JD. Magic sets and other strange ways to implement logic programs. In: Proceedings of the 5th ACM SIGACT SIGMOD Symposium on Principles of Database Systems; 1986. p. 1–15. Available at: https://pdfs.semanticscholar.org/1289/85b85556c30ad405863f2a34340049957616.pdf

  2. Ceri S, Gottlob G, Tanca L. Logic programming and databases. Berlin: Springer; 1990.

    Book  Google Scholar 

  3. Chandra AK, Harel D. Horn clauses queries and generalizations. J Log Program. 1985;2(1):1–15.

    Article  MathSciNet  MATH  Google Scholar 

  4. Ullman JD. Principles of database and Knowledge-Base systems. IRockville: Computer Science Press; 1988.

    Google Scholar 

  5. Bocca JB. EDUCE: a marriage of convenience: Prolog and a Relational DBMS. In: Proceedings of the Symposium in Logic Programming; 1986. p. 36–45.

    Google Scholar 

  6. Tsur S, Zaniolo C. LDL: a logic-based data language. In: Proceedings of the 12th International Conference on Very Large Data Bases; 1986. p. 33–41. Available at: https://dl.acm.org/citation.cfm?id=671478.

  7. Abiteboul S, Hull R, Vianu V. Foundations of 510 databases. Reading: Addison-Wesley; 1995.

    Google Scholar 

  8. Lloyd JW. Foundations of logic programming. 2nd ed. Berlin: Springer; 1987. ISBN:3-540-18199-7.

    Book  MATH  Google Scholar 

  9. Kowalski RA, Kuehner D. Linear resolution with selection function. Artif Intell. 1971;2(3–4):227–60.

    Article  MathSciNet  MATH  Google Scholar 

  10. Chakravarthy US, Minker J, Grant J. Semantic query optimization: additional constraints and control strategies. In: Proceedings of the Expert Database Conference; 1986. p. 345–79.

    Google Scholar 

  11. Sacca D, Zaniolo C. Stable models and non-determinism in logic programs with negation. In: Proceedings of the 9th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems; 1990. p. 205–217. Available at: https://dl.acm.org/citation.cfm?id=298572.

  12. Laenens E, Vermeir D. Assumption-free semantics for ordered logic programs: on the relationship between well-founded and stable partial models. J Log Comput. 1992;2(2):133–72.

    Article  MathSciNet  MATH  Google Scholar 

  13. Behrend A. Soft stratification for magic set based query evaluation in deductive databases. In: Proceedings of the 22nd ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems; 2003. p. 102–10. Available at: https://dl.acm.org/citation.cfm?id=773164.

  14. Comai S, Tanca L. Termination and confluence by rule prioritization. IEEE Trans Knowl Data Eng. 2003;15(2):257–70.

    Article  Google Scholar 

  15. W3C Member Submission. SWRL: a semantic Web rule language combining OWL and RuleML. 2004. Available at: http://www.w3.org/Submission/SWRL/

  16. Ameloot TJ. Declarative networking: recent theoretical work on coordination, correctness, and declarative semantics. SIGMOD Rec. 2014;43(2):5–16. Available at: http://www.sigmod.org/publications/sigmod-record/1406/pdfs/03.principles.Ameloot.pdf.

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Computer Science, Politecnico di Milano, Milan, Italy

    Letizia Tanca

Authors
  1. Letizia Tanca
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Letizia Tanca .

Editor information

Editors and Affiliations

  1. Georgia Institute of Technology College of Computing, Atlanta, GA, USA

    Ling Liu

  2. University of Waterloo School of Computer Science, Waterloo, ON, Canada

    M. Tamer Özsu

Section Editor information

  1. Department of Computer Science and Engineering, University of Ioannina, Ioannina, Greece

    Evaggelia Pitoura

Rights and permissions

Reprints and permissions

Copyright information

© 2018 Springer Science+Business Media, LLC, part of Springer Nature

About this entry

Check for updates. Verify currency and authenticity via CrossMark

Cite this entry

Tanca, L. (2018). Query Processing in Deductive Databases. In: Liu, L., Özsu, M.T. (eds) Encyclopedia of Database Systems. Springer, New York, NY. https://doi.org/10.1007/978-1-4614-8265-9_859

Download citation

Publish with us

Policies and ethics

Search

Navigation