Papers on F-logic, Transaction Logic, and Related Issues

• Transaction Logic
  A logical formalism for expressing update phemomena in databases, logic programming and AI.
  If you plan on printing this report, make sure you have enough paper... (over 150 pages)
  • Abstract

  Some parts of this report have appeared in:

  Theoretical Computer Science, vol. 133, Oct. 1994
  Database Programming Languages, Springer-Verlag Workshops in Computing Series, Feb. 1993
  Intl. Conf. on Logic Programming, June 1993
  Intl. Conf. on Temporal Logic, July 1994
  and in other places, which I don't remember.

• A Logic for Programming Database Transactions

  In Logics for Databases and Information Systems, Jan Chomicki, Gunter Saake (eds.), Kluwer Academic Publ.

• Implementing an Efficient DOOD System Using a Tabling Logic Engine
  

  Computational Logic 2000 (Stream on Deductive and Object-Oriented Databases)

• Concurrent Transaction Logic
  Extension of Transaction Logic to model concurrent processes.
  • Abstract

• H. Isozaki and H. Katsuno, Transformation of Transaction Logic Programs Based on Estimation of Transaction Execution Paths, NTT Basic Research Laboratory, Japan, 1994.
  
  
• Logical Foundations of Object-Oriented and Frame-Based Languages
  Journal of ACM, May 1995.
  This one is also over 100 pages.
  • Abstract
  
  
  
• HiLog: A Foundation for Higher-Order Logic Programming
  Journal of Logic Programming 1993.
  • Abstract
  
  
  
• Sorted HiLog: Sorts in Higher-Order Logic Data Languages
  Intl. Conf. on Database Theory, 1995. Lecture Notes in Computer Science 893.
  • Abstract

• Deductive and Object-Oriented Data Languages---A Quest for Integration
  Keynote address at the 4-th Intl. Conf. on Deductive and Object-Oriented Databases, Singapore, December 1995 (Springer's LNCS 1013).
  • Abstract

• Transparencies of the talk DOOD: From Wishful Thinking to (Virtual) Reality.

• Transaction Logic tutorial presented at ILPS'97.

• Logic Based Modelling and Analysis of Workflows. Describes an application of Concurrent Transaction Logic to workflow management systems. ACM PODS 1998.
  
  
• A Logical Framework for Scheduling Workflows under Resource Allocation Constraints . An extension of Concurrent Transaction Logic to deal with constraint solving with applications to workflow management. VLDB 2002.
  
  
• The State of Change: A Survey. Surveys a number of logic-based approaches to dealing with changing states in database languages. Transactions and Change in Logic Databases, LNCS, Springer Verlag, 1998.
  
  
• Results on Reasoning about Updates in Transaction Logic. What the title says. Transactions and Change in Logic Databases, LNCS, Springer Verlag, 1998.
  
  
• Database Programming in Transaction Logic. Proceedings of the Fourth International Workshop on Database Programming Languages - Object Models and Languages, 1993.

Back to Foundations of DOOD