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.
Similar content being viewed by others
References
Abiteboul, S. (1988). Updates, a New Database Frontier. In Proceedings of the International Conference on Data Base Theory (pp. 1–18). Pruges, Belgium: Springer-Verlag LNCS 326.
Abiteboul, S. and Vianu, V. (1991). Datalog Extensions for Database Queries and Updates. J. Computer and System Sciences, 43(1), 62–124.
Apt, K.R., Blair, H.A., and Walker, A. (1988). Towards a Theory of Declarative Knowledge. In J. Minker (Ed.), Foundation of Deductive Databases and Logic Programming (pp. 89–148). Los Altos, CA: Morgan Kaufmann.
Bonner, A.J. and Kifer,M. (1993).Transaction Logic Programming. In Proceedings of the International Conference on Logic Programming (pp. 257–279). Budapest, Hungary: MIT Press.
Bonner, A.J. and Kifer, M. (1994). An Overview of Transaction Logic. Theoretical Computer Science, 133(2), 205–265.
Bonner, A.J., Kifer, M., and Consens, M. (1993). Database Programming in Transaction Logic. In Proceedings of the International Workshop on Database Programming Languages (pp. 309–337). Manhattan, New York City: Morgan Kaufmann.
Bry, F. (1990). Intensional Updates: Abduction via Deduction. In Proceedings of the International Conference on Logic Programming (pp. 561–575). Budapest, Hungary: MIT Press.
Ceri, S., Gottlob, G., and Tanca, T. (1990). Logic Programming and Databases. Springer-Verlag.
W Chen (1997) ArticleTitleProgramming with Logical Queries, Bulk Updates and Hypothetical Reasoning IEEE Transactions on Knowledge and Data Engineering 9 IssueID4 587–599
de Maindreville, C. and Simon, E. (1988). Modelling Non Deterministic Queries and Updates in Deductive Databases. In Proceedings of the International Conference on Very Large Data Bases (pp. 395–406). Los Angeles, California, USA: Morgan Kaufmann.
Gelder, A.V., Ross, K.A., and Schlipf, J.S. (1991). The Well-Founded Semantics for General Logic Programs. Journal of ACM, 38(3), 620–650.
Gelfond, M. and Lifschitz, V. (1988). The Stable Model Semantics for Logic Programming. In Proceedings of the International Conference and Symposium on Logic Programming (pp. 1070–1080). Washington, USA: MIT Press.
Kakas, A.C. and Mancarella, P. (1990). Database Updates through Abduction. In Proceedings of the International Conference on Very Large Data Bases (pp. 650–661). Brisbane, Queensland, Australia: Morgan Kaufmann.
Liu, M. (1996). ROL: A Deductive Object Base Language. Information Systems, 21(5), 431–457.
Liu, M. (1998a). An Overview of Rule-based Object Language. Journal of Intelligent Information Systems, 10(1), 5–29.
Liu, M. (1998b). Relationlog: A Typed Extension to Datalog with Sets and Tuples. Journal of Logic Programming, 36(3), 271–299.
Liu, M. (1999a). Deductive Database Languages: Problems and Solutions. ACM Computing Surveys, 30(1), 27–62.
Liu, M. (1999b). Overview of the ROL2 Deductive Object-Oriented Database System. In Proceedings of the 30th International Conference on Technology of Object-Oriented Languages & Systems (TOOLS USA'99) (pp. 63–72). Santa Barbara, CA, USA: IEEE-CS Press.
Liu, M. and Guo, M. (1998). ROL2: A Real Deductive Object-Oriented Database Language. In Proceedings of the 17th International Conference on Conceptual Modeling (ER'98) (pp. 302–315). Singapore: Springer-Verlag LNCS 1507.
Lloyd, J.W. (1987). Foundations of Logic Programming, 2nd edition, Springer-Verlag.
Manchanda, S. (1989). Declarative Expression of Deductive Database Updates. In Proceedings of the ACM Symposium on Principles of Database Systems (pp. 93–100). Philadelphia, Pennsylvania, USA: ACM Press.
Manchanda, S. and Warren, D.S. (1988). A Logic-Based Language for Database Updates. In J. Minker (Ed.), Foundation of Deductive Databases and Logic Programming (pp. 363–394). Los Altos, CA: Morgan Kaufmann.
Montesi, D., Bertino, E., and Martelli, M. (1997). Transactions and Updates in Deductive Databases. IEEE Transactions on Knowledge and Data Engineering, 9(5), 784–797.
Naish, L., Thom, L.A., and Ramamohanarao, K. (1987). Concurrent Database Updates in Prolog. In Proceedings of the International Conference on Logic Programming (pp. 178–189). Melbourne, Victoria: MIT Press.
Naqvi, S. and Krishnamurthy, R. (1988). Database Updates in Logic Programming. In Proceedings of the ACM Syum. on Principles of Database Systems, Austin, Texas, USA (pp. 261–272).
Naqvi, S. and Tsur, S. (1989). A Logical Language for Data and Knowledge Bases. Computer Science Press.
Reiter, R. (1995). On Specifying Database Updates. Journal of Logic Programming, 25(1), 53–91.
Shan, R. and Liu, M. (1998). Introduction to the Relationlog System. In Proceedings of the 6th International Workshop on Deductive Databases and Logic Programming (DDLP'98), Manchester, UK (pp. 71–83).
Ullman, J.D. (1989). Principles of Database and Knowledge-Base Systems, Vol. 1 & 2. Computer Science Press.
Wichert, C.-A. and Freitag, B. (1997). Capturing Database Dynamics by Deferred Updates. In Proceedings of the International Conference on Logic Programming (pp. 226–240). Leuven, Belgium: MIT Press.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Liu, M. Extending Datalog with Declarative Updates. Journal of Intelligent Information Systems 20, 107–129 (2003). https://doi.org/10.1023/A:1021806000372
Issue Date:
DOI: https://doi.org/10.1023/A:1021806000372