Skip to main content
SpringerLink
Log in

Extending Datalog with Declarative Updates

  • Conference paper
  • First Online:
Database and Expert Systems Applications (DEXA 2000)

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

Included in the following conference series:

Abstract

The semantics of static deductive databases is well understood based on the work in logic programming. In the past decade, various methods to incorporate update constructs into logic programming and deductive databases have been proposed. However, there is still no consensus about the appropriate treatment of dynamic behavior in deductive databases. In this paper, we propose a language called DatalogU, which is a minimal but powerful extension of Datalog with updates to base relations. DatalogU allows the user to program set-oriented complex database transactions with concurrent, disjunctive and sequential update operations in a simple and direct way. It has a simple and intuitive declarative semantics that naturally accounts for set-oriented updates in deductive databases.

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 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.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

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. S. Abiteboul. Updates, a New Database Frontier. In Proceedings of the International Conference on Data Base Theory, pages 1–18, Pruges, Belgium, 1988. Springer-Verlag LNCS 326.

    Google Scholar 

  2. S. Abiteboul and V. Vianu. Datalog Extensions for Database Queries and Updates. J. Computer and System Sciences, 43(1):62–124, 1991.

    Article  MathSciNet  Google Scholar 

  3. K. R. Apt, H. A. Blair, and A. Walker. Towards a theory of declarative knowledge. In J. Minker, editor, Foundation of Deductive Databases and Logic Programming, pages 89–148. Morgan Kaufmann Publishers, 1988.

    Google Scholar 

  4. A. J. Bonner and M. Kifer. Transaction Logic Programming. In Proceedings of the International Conference on Logic Programming, pages 257–279, Budapest, Hungary, 1993. MIT Press.

    Google Scholar 

  5. A. J. Bonner and M. Kifer. An Overview of Transaction Logic. Theoretical Computer Science, 133(2):205–265, 1994.

    Article  MathSciNet  Google Scholar 

  6. A.J. Bonner, M. Kifer, and M. Consens. Database Programming in Transaction Logic. In Proceedings of the International Workshop on Database Programming Languages, pages 309–337, Manhattan, New York City, 1993. Morgan-Kaufmann.

    Google Scholar 

  7. F. Bry. Intensional Updates: Abduction via Deduction. In Proceedings of the International Conference on Logic Programming, pages 561–575, Budapest, Hungary, 1990. MIT Press.

    Google Scholar 

  8. S. Ceri, G. Gottlob, and T. Tanca. Logic Programming and Databases. Springer-Verlag, 1990.

    Google Scholar 

  9. W. Chen. Programming with Logical Queries, Bulk Updates and Hypothetical Reasoning. IEEE Transactions on Knowledge and Data Engineering, 9(4):587–599, 1997.

    Article  MathSciNet  Google Scholar 

  10. C. deMaindreville and E. Simon. Modelling Non Deterministic Queries and Updates in Deductive Databases. In Proceedings of the International Conference on Very Large Data Bases, pages 395–406, Los Angeles, California, USA, 1988. Morgan Kaufmann Publishers, Inc.

    Google Scholar 

  11. A. V. Gelder, K. A. Ross, and J. S. Schlipf. The Well-Founded Semantics for General Logic Programs. Journal of ACM, 38(3):620–650, 1991.

    MathSciNet  MATH  Google Scholar 

  12. M. Gelfond and V. Lifschitz. The Stable Model Semantics for Logic Programming. In Proceedings of the International Conference and Symposium on Logic Programming, pages 1070–1080, Washington, USA, 1988. MIT Press.

    Google Scholar 

  13. A. C. Kakas and P. Mancarella. Database Updates through Abduction. In Proceedings of the International Conference on Very Large Data Bases, pages 650–661, Brisbane, Queensland, Australia, 1990. Morgan Kaufmann Publishers, Inc.

    Google Scholar 

  14. M. Liu. ROL: A Deductive Object Base Language. Information Systems, 21(5):431–457, 1996.

    Article  Google Scholar 

  15. M. Liu. An Overview of Rule-based Object Language. Journal of Intelligent Information Systems, 10(1):5–29, 1998.

    Article  Google Scholar 

  16. M. Liu. Relationlog: A Typed Extension to Datalog with Sets and Tuples. Journal of Logic Programming, 36(3):271–299, 1998.

    Article  MathSciNet  Google Scholar 

  17. M. Liu and M. Guo. ROL2: A Real Deductive Object-Oriented Database Language. In Proceedings of the 17th International Conference on Conceptual Modeling (ER’ 98), pages 302–315, Singapore, Nov. 16–19 1998. Springer-Verlag LNCS 1507.

    Google Scholar 

  18. J. W. Lloyd. Foundations of Logic Programming. Springer-Verlag, 2 edition, 1987.

    Google Scholar 

  19. S. Manchanda. Declarative Expression of Deductive Database Updates. In Proceedings of the ACM Symposium on Principles of Database Systems, pages 93–100, Philadelphia, Pennsylvania, 1989.

    Google Scholar 

  20. S. Manchanda and D. S. Warren. A logic-based language for database updates. In J. Minker, editor, Foundation of Deductive Databases and Logic Programming, pages 363–394. Morgan Kaufmann Publishers, 1988.

    Google Scholar 

  21. D. Montesi, E. Bertino, and M. Martelli. Transactions and Updates in Deductive Databases. IEEE Transactions on Knowledge and Data Engineering, 9(5):784–797, 1997.

    Article  Google Scholar 

  22. L. Naish, L. A. Thorn, and K. Ramamohanarao. Concurrent Database Updates in Prolog. In Proceedings of the International Conference on Logic Programming, pages 178–189, Melbourne, Victoria, 1987. MIT Press.

    Google Scholar 

  23. S. Naqvi and R. Krishnamurthy. Database Updates in Logic Programming. In Proceedings of the ACM Syum. on Principles of Database Systems, pages 261–272, Austin, Texas, 1988.

    Google Scholar 

  24. S. Naqvi and S. Tsur. A Logical Language for Data and Knowledge Bases. Computer Science Press, 1989.

    Google Scholar 

  25. R. Reiter. On Specifying Database Updates. Journal of Logic Programming, 25(1):53–91, 1995.

    Article  MathSciNet  Google Scholar 

  26. J. D. Ullman. Principles of Database and Knowledge-Base Systems, volume 1 & 2. Computer Science Press, 1989.

    Google Scholar 

  27. Carl-Alexander Wiehert and Burkhard Freitag. Capturing Database Dynamics by Deferred Updates. In Proceedings of the International Conference on Logic Programming, Leuven, Belgium, 1997. MIT Press.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, University of Regina, Regina, Saskatchewan, Canada, S4S 0A2

    Mengchi Liu

Authors
  1. Mengchi Liu
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computing and Mathematical Sciences, Maritime Greenwich University Campus, 30 Park Row, London, SE10 9LS, UK

    Mohamed Ibrahim

  2. University of Linz, FAW, Altenbergerstr. 69, 4040, Linz, Austria

    Josef Küng

  3. Middlesex University, Bounds Green, London, UK

    Norman Revell

Rights and permissions

Reprints and permissions

Copyright information

© 2000 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Liu, M. (2000). Extending Datalog with Declarative Updates. In: Ibrahim, M., Küng, J., Revell, N. (eds) Database and Expert Systems Applications. DEXA 2000. Lecture Notes in Computer Science, vol 1873. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-44469-6_70

Download citation

  • DOI: https://doi.org/10.1007/3-540-44469-6_70

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-67978-3

  • Online ISBN: 978-3-540-44469-5

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation