This Article 
 Bibliographic References 
 Add to: 
Transactions and Updates in Deductive Databases
September-October 1997 (vol. 9 no. 5)
pp. 784-797

Abstract—In this paper, we develop a new approach that provides a smooth integration of extensional updates and declarative query languages for deductive databases. The approach is based on a declarative specification of updates in rule bodies. Updates are not executed as soon are evaluated. Instead, they are collected and then applied to the database when the query evaluation is completed. We call this approach nonimmediate update semantics. We provide a top-down and equivalent bottom-up semantics which reflect the corresponding computation models. We also package set of updates into transactions and we provide a formal semantics for transactions. Then, in order to handle complex transactions, we extend the transaction language with control constructors still preserving formal semantics and semantics equivalence.

[1] S. Abiteboul, "Updates: A New Frontier," Proc. Int'l Conf. Database Theory, 1988.
[2] S. Abiteboul and V. Vianu, "A Transaction Language Complete for Database Update and Specification," Proc. ACM Symp. Principles Database Systems, pp. 260-268.New York: ACM, 1987.
[3] S. Abiteboul and V. Vianu, "Procedural and Declarative Database Update Languages," Proc. ACM Symp. Principles Database Systems, pp. 240-251.New York: ACM, 1988.
[4] S. Abiteboul and V. Vianu, "Equivalence and Optimization of Relational Transactions," J. ACM, vol. 35, no. 1, pp. 70-120, Jan. 1988.
[5] S. Abiteboul, R. Hull, and V. Vianu, Foundations of Databases. Addison-Wesley, 1995.
[6] E. Bertino and B. Catania, "Static Analysis in Intensional Databases in U-Datalog," Proc. ACM Symp. Principles Database Systems.New York: ACM, pp. 202-212, 1996.
[7] E. Bertino, B. Catania, G. Guerrini, M. Martelli, and D. Montesi, "A Bottom-Up Interpreter for a Database Language with Updates and Transactions," Proc. Joint Conf. Declarative Programming GULP-PRODE,Peniscola, Spain, pp. 206-220, 1994.
[8] E. Bertino, B. Catania, G. Guerrini, and D. Montesi, "Static Analysis of Transactional Intensional Databases," Proc. Second Workshop Deductive Databases, Int'l Conf. Logic Programming, pp. 57-73,Genova, Italy, 1994.
[9] E. Bertino, B. Catania, G. Guerrini, and D. Montesi, "Transaction Optimization in Rule Databases," Proc. Fourth IEEE Research Issues in Data Eng.: Active Database Systems (RIDE-ADS '94), pp. 137-145,Houston, 1994.
[10] E. Bertino, G. Guerrini, and D. Montesi, "Towards Deductive Object Databases," J. Theory and Practice of Object Systems, vol. 1, no. 1, pp. 19-39. John Wiley&Sons, 1995.
[11] E. Bertino, M. Martelli, and D. Montesi, "Modeling Database Updates with Constraint Logic Programming," U.W. Lipeck and B. Thalheim, eds., Proc. Fourth Int'l Workshop Foundations Models and Languages Data and Objects, pp. 120-132,Dagstuhl, Germany, 1992.
[12] A.J. Bonner and M. Kifer, "An Overview of Transaction Logic Programming," Theoretical Computer Science, vol. 133, no. 2, pp. 205-265, Oct. 1994.
[13] M.L. Brodie, "On Modelling Behavioural Semantics of Databases," C. Zaniolo and C. Delobel, eds., Proc. Seventh Int'l Conf. Very Large Data Bases, pp. 32-42, 1981.
[14] L. Brownston,R. Farrell,E. Kant, and N. Martin,Programming Expert Systems in OPS5 An Introduction to Rule-Based Programming. Addison Wesley, 1985.
[15] S. Ceri, G. Gottlob, and L. Tanca, "What You Always Wanted to Know About Datalog—And Never Dared to Ask," IEEE Trans. Knowledge and Data Eng., vol. 1, no. 1, pp. 146-164, Mar. 1989.
[16] W. Chen, "Declarative Specification and Evaluation of Database Updates," C. Delobel et al., ed., Proc. Third Int'l Conf. Deductive and Object-Oriented Databases, pp. 147-166, 1991.
[17] C. de Maindreville and E. Simon, "A Production Rule Based Approach to Deductive Databases," Proc. Fourth Int'l Conf. Data Eng., 1988.
[18] M.A. Derr, G. Phipps, and K.A. Ross, "Glue-Nail: A Deductive Database System," J. Clifford and R. King, eds., Proc. Int'l Conf. ACM Management Data, pp. 308-317, 1991.
[19] J. Jaffar and M. Maher, "Constraint Logic Programming: A Survey," J. Logic Programming, vol. 19, no. 20, pp. 503-581, 1994.
[20] C.J. Date and H. Darwen, A Guide to the SQL Standard.Reading, Mass.: Addison-Wesley, Oct. 1992.
[21] R. Fagin, J.D. Ullman, and M. Vardi, "On the Semantics of Updates in Database," Proc. ACM Symp. Principles Database Systems, pp. 352-365.New York: ACM, 1983.
[22] S.J. Finkelstein and J. Widom, "A Syntax and Semantics for Set-Oriented Production Rules in Relational Database Systems," SIGMOD Record, vol. 18, no. 3, pp. 36-45, Sept. 1989.
[23] M. Gabbrielli, N. Dore, and G. Levi, "Observable Semantics for Constraints Logic Programs," J. Logic Computation, vol. 5, no. 2, pp. 133-171, 1995.
[24] M. Gabbrielli, R. Giacobazzi, and D. Montesi, "Modular Logic Programs on Finite Domain," Proc. Italian Conf. Logic Programming, pp. 663-678,Ghizzeria, Italy, 1993.
[25] H. Gallaire,J. Minker,, and J. Nicolas,“Logic and databases: A deductive approach,” ACM Computing Surveys, vol. 16, no. 2, pp. 153-185, June 1984.
[26] J. Gray and A. Reuter, Transaction Processing: Concepts and Techniques, Morgan Kauffman, 1993.
[27] Y. Gurevich, "Towards Logic Tailored for Computational Complexity, Computation, and Proof Theory," M.M. Richter, ed., Springer-Verlag, Lecture Notes in Math. vol. 1,104, pp. 175-216, 1984.
[28] D. Harel, First-Order Dynamic Logic. Lecture Notes in Computer Science, vol. 68. Springer-Verlag, 1979.
[29] R. Hull and D. Jacobs, "Language Constructs for Programming Active Databases," Proc. Int'l Conf. Very Large Data Bases, pp. 455-467, Sept. 1991.
[30] J. Jaffar and J.L. Lassez, "Constraint Logic Programming," Proc. ACM Principles of Programming Languages, pp. 111-119, 1987.
[31] D. Karabeg and V. Vianu, "Parallel Update Transactions," M. Gyssens, J. Paredaens, and D. Van Gucht, eds., Proc. Second Int'l Conf. Database Theory, Lecture Notes in Computer Science, vol. 326, pp. 307-321.Berlin: Springer-Verlag, 1988.
[32] T.G. Lindholm and R.A. O'Keefe, "Efficient Implementation of a Defensible Semantics for Dynamic Prolog Code," J.-L. Lassez, ed., Proc. Fourth Int'l Conf. Logic Programming, pp. 21-39.Cambridge, Mass.: MIT Press, 1987.
[33] J.W. Lloyd, Foundations of Logic Programming, Springer Series in Symbolic Computation, second ed. New York: Springer-Verlag, 1987.
[34] S. Manchanda and D.S. Warren, "A Logic-Based Language for Database Updates," J. Minker, ed., Foundations of Logic Programming and Deductive Databases.Los Altos, Calif.: Morgan Kaufmann, 1988.
[35] D. Montesi and E. Bertino, "Queries, Constraints, Updates, and Transactions within a Logic-Based Language," Y. Yesha, B. Bhargava, and T. Finin, eds., Proc. Second Int'l Conf. Information and Knowledge Management, pp. 500-506, 1993.
[36] S. Naqvi and S. Tsur, A Logical Language for Data and Knowledge Bases.New York: Computer Science Press, 1989.
[37] R. Ramakrishnan, D. Srivastava, S. Sudarshan, and P. Seshadri, "The Coral Deductive System," VLDB J., vol. 3, no. 2, pp. 161-210, 1994.
[38] R. Ramakrishnan,D. Srivastava,, and S. Sudarshan,“Coral_Control, relations and logic,” Proc. 18th Int’l Conf. Very Large Data Bases, pp. 547-559.,Vancouver, Can., Aug. 1992.
[39] Y. Sagiv, “Optimizing Datalog Programs,” Foundations of Deductive Databases and Logic Programming, J. Minker, ed., pp. 659-698, Morgan-Kaufmann, 1988. Extended abstract of this paper appears in Proc. ACM Symp. Principles of Database Systems (PODS), pp. 237-249, 1987.
[40] O. Shmueli,“Decidability and expressiveness aspects of logic queries,” Proc. 6th ACM Symp. on Principles of Database Systems, 1987, pp. 237-249.
[41] J. Ullman, Principles of Database and Knowledge-Base Systems, vol. 1. Computer Science Press, 1988.
[42] M. Winslett, Updating Logical Databases. Cambridge Univ. Press, 1990.

Index Terms:
Database languages, deductive databases, updates, transactions, semantics.
Danilo Montesi, Elisa Bertino, Maurizio Martelli, "Transactions and Updates in Deductive Databases," IEEE Transactions on Knowledge and Data Engineering, vol. 9, no. 5, pp. 784-797, Sept.-Oct. 1997, doi:10.1109/69.634755
Usage of this product signifies your acceptance of the Terms of Use.