Nested transactions: an approach to reliable distributed computing
Nested transactions: an approach to reliable distributed computing
Concurrency control and recovery in database systems
Concurrency control and recovery in database systems
Foundations of logic programming; (2nd extended ed.)
Foundations of logic programming; (2nd extended ed.)
A model for concurrency in nested transactions systems
Journal of the ACM (JACM)
Database transaction models for advanced applications
Database transaction models for advanced applications
Concepts and applications of multilevel transactions and open nested transactions
Database transaction models for advanced applications
Acta, a framework for modeling and reasoning
Acta, a framework for modeling and reasoning
Synthesis of extended transaction models using ACTA
ACM Transactions on Database Systems (TODS)
A logic for programming database transactions
Logics for databases and information systems
Some contributions to the metatheory of the situation calculus
Journal of the ACM (JACM)
Knowlege in action: logical foundations for specifying and implementing dynamical systems
Knowlege in action: logical foundations for specifying and implementing dynamical systems
Advanced Transaction Models and Architectures
Advanced Transaction Models and Architectures
Transaction Processing: Concepts and Techniques
Transaction Processing: Concepts and Techniques
A Theory of Atomic Transactions
ICDT '88 Proceedings of the 2nd International Conference on Database Theory
Non-Markovian control in the situation calculus
Eighteenth national conference on Artificial intelligence
IJCAI'97 Proceedings of the Fifteenth international joint conference on Artifical intelligence - Volume 2
Automata theory for reasoning about actions
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
Non-Markovian control in the situation calculus
Eighteenth national conference on Artificial intelligence
Specifying active databases as non-Markovian theories of actions
Journal of Intelligent Information Systems
Synthesizing advanced transaction models using the situation calculus
Journal of Intelligent Information Systems
Non-Markovian control in the Situation Calculus
Artificial Intelligence
Hi-index | 0.01 |
We propose a logical framework for describing, reasoning about, and simulating transaction models that relax some of the ACID (Atomicity-Consistency-Isolation-Durability) properties of classical transactions. Such extensions, usually called advanced transaction models (ATMs), have been proposed for dealing with new database applications involving long-lived, endless, and cooperative activities. Our approach appeals to non-Markovian theories, in which one may refer to past states other than the previous one. We specify an ATM as a suitable non-Markovian theory of the situation calculus, and its properties, including the relaxed ACID properties, as formulas of the same calculus. We use our framework to formalize classical and closed nested transactions. We first formulate each ATM and its properties as a theory of a certain kind and formulas of the situation calculus, respectively. We then define a legal database log as one whose actions are all possible and in which all the Commit and Rollback actions must occur whenever they are possible. After that, we show that the known properties of the ATM, including the (possibly relaxed) ACID constraints, are properties of legal logs and logical consequences of the theory corresponding to that ATM. Finally, we show how to use such a specification as a background theory for transaction programs written in the situation calculus based programming language GOLOG.