Transaction datalog: A compositional language for transaction programming

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1369 LNCS, Issue , 1998, Pages 373-395

  Bonner, Anthony J ^a  

^a UNIVERSITY OF TORONTO   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

COORDINATION REACTIONS; DISTRIBUTED COMPUTER SYSTEMS; OFFICE AUTOMATION; WORK SIMPLIFICATION;

CONCURRENT ACTIVITIES; DATABASE APPLICATIONS; DATABASE TRANSACTIONS; FINE-GRAINED CONTROL; MANUFACTURING CONTROL; TRANSACTION LANGUAGE; TRANSACTION MANAGEMENT; WORKFLOW MANAGEMENTS;

DATABASE SYSTEMS;

EID: 70349291845     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-64823-2_21     Document Type: Conference Paper

References (36)

1. S. Abiteboul and V. Vianu. Procedural languages for database queries and updates. Journal of Computer and System Sciences, 41:181-229, 1990.
2. S. Abiteboul and V. Vianu. Datalog extensions for database queries and updates. Journal of Computer and System Sciences, 43:62-124, 1991.
3. P. Attie, M. Singh, A. Sheth, and M. Rusmkiewicz. Specifying and enforcing intertask dependencies. In Intl. Conference on Very Large Data Bases, Dublin, Ireland, August 1993.
4. P.A. Bernstein, V. Hadzilacos, and N. Goodman. Concurrency Control and Recovery in Databases. Addison Wesley, 1987.
5. A.J. Bonner. The power of cooperating transactions. Manuscript, 1997.
6. A.J. Bonner. Transaction Datalog: a compositional language for transaction programming. In Proceedings of the International Workshop on Database Programming Languages, Estes Park, Colorado, August 1997. Springer Verlag. Long version available at http://wvw.cs.toronto.edu/~bonner/papers. html#transaction-logic.
7. A.J. Bonner and M. Kifer. Results on reasoning about action in transaction logic. 1998. Submitted for publication.
8. A.J. Bonner and M. Kifer. Transaction logic programming. In Intl. Conference on Logic Programming, pages 257-282, Budapest, Hungary, June 1993. MIT Press.
9. A.J. Bonner and M. Kifer. An overview of transaction logic. Theoretical Computer Science, 133:205-265, October 1994.
10. A.J. Bonner and M. Kifer. Transaction logic programming (or a logic of declarative and procedural knowledge). Technical Report CSRI-323, University of Toronto, November 1995. http://HHw.cs.toronto.edu/~bonner/transaction-logic. html.
11. A.J. Bonner and M. Kifer. Concurrency and communication in transaction logic. In Joint Intl. Conference and Symposium on Logic Programming, pages 142-156, Bonn, Germany, September 1996. MIT Press.
12. A.K. Chandra and D. Harel. Computable queries for relational databases. Journal of Computer and System Sciences, 21(2):156-178, 1980.
13. P.K. Chrysanthis and K. Ramamritham. Synthesis of extended transaction models using ACTA. ACM Transactions on Database Systems, 19(3):450-491, Sept. 1994.
14. U. Dayal, H. Garcia-Molina, M. Hsu, B. Kao, and M.-C. Shan. Third generation TP monitors: A database challenge. In ACM SIGMOD Conference on Management of Data, pages 393-397, Washington, DD, May 1993.
15. A.K. Elmagarmid, editor. Database Transaction Models for Advanced Applications. Morgan-Kaufmann, San Mateo, CA, 1992.
16. A.K. Elmagarmid, Y. Leu, W. Litwin, and M. Rusinkiewcz. A multidatabase transaction model for interbase. In Intl. Conference on Very Large Data Bases, pages 507-518, Brisbane, Australia, August 13-16 1990.
17. H. Garcia-Molina and K. Salem. Sagas. In Intl. Conference on Very Large Data Bases, pages 249-259, May 1987.
18. J. Gray. The transaction concept: Virtues and limitations. In Intl. Conference on Very Large Data Bases, pages 144-154, Cannes, France, September 1981.
19. J. Gray and A. Reuter. Transaction Processing: Concepts and Techniques. Morgan Kaufmann, San Mateo, CA, 1993.
20. C.A.R. Hoare. Communicating Sequential Processes. Prentice Hall, Englewood Cliffs, NJ, 1985.
21. M. Hsu, Ed. Special issue on workflow and extended transaction systems. Bulletin of the Technical Committee on Data Engineering (IEEE Computer Society), 16(2), June 1993.
22. Samuel Y.K. Hung. Implementation and Performance of Transaction Logic in Prolog. Master's thesis, Department of Computer Science, University of Toronto, 1996. http://www.cs.toronto.edu/~bonner/transaction-logic.html.
23. P.E. Lauer and R.H. Campbell. Formal semantics of a class of high-level primitives for co-ordinating concurrent processes. Acta Informatica, 5:297-332, 1975.
24. S. Manchanda and D.S. Warren. A logic-based language for database updates. In J. Minker, editor, Foundations of Deductive Databases and Logic Programming, pages 363-394. Morgan-Kaufmann, Los Altos, CA, 1988.
25. R. Milner. Communication and Concurrency. Prentice Hall, 1989.
26. R. Milner. Operational and algebraic semantics of concurrent processes. In [34], chapter 19, pages 1201-1242. 1990.
27. J. E. B. Moss. Nested Transactions: An Approach to Reliable Distributed Computing. Series in Information Systems. MIT Press, Cambridge, MA, 1985.
28. S. Naqvi and R. Krishnamurthy. Database updates in logic programming. In ACM Symposium on Principles of Database Systems, pages 251-262, New York, March 1988. ACM.
29. M. H. Nodine, S. Ramaswamy, and S. B. Zdonik. A cooperative transaction model for design databases. In [15], chapter 3, pages 53-85. 1992.
30. M. Rusinkiewicz and A. Sheth. Specification and execution of transactional workflows. In W. Kim, editor, Modern Database Systems: The Object Model, Interoperability, and Beyond. Addison-Wesley, 1994.
31. E. Shapiro. A family of concurrent logic programming languages. ACM Computing Surveys, 21(3), 1989.
32. M.P. Singh. Semantical considerations on workflows: An algebra for intertask dependencies. In Proceedings of the International Workshop on Database Programming Languages, Gubbio, Umbria, Italy, September 6-8 1995.
33. Transarc-Encina. Encina Transactional Processing System: Transactional-C Programmers Guide and Reference, TP-00-D347. Transarc Corp., Pittsburg, PA, 1991.
34. J. van Leeuwen, editor. Handbook of Theoretical Computer Science, Volume B, Formal Methods and Semantics. Elsevier, Amsterdam, 1990.
35. H. Wachter and A. Reuter. The ConTract model. In [15], chapter 7, pages 220-263. 1992.
36. G. Weikum and H.-J. Schek. Concepts and applications of multilevel transactions and open nested transactions. In [15], chapter 13, pages 515-553. 1992.