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
A translation language complete for database update and specification
PODS '87 Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
New Generation Computing
Updating logical databases
Procedural languages for database queries and updates
Journal of Computer and System Sciences
Database transaction models for advanced applications
Database transaction models for advanced applications
A cooperative transaction model for design databases
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
Procedural and declarative database update languages
Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database 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
Problem of Incomplete Information in Relational Databases
Problem of Incomplete Information in Relational Databases
Advanced Transaction Models and Architectures
Advanced Transaction Models and Architectures
Transaction Processing: Concepts and Techniques
Transaction Processing: Concepts and Techniques
ICDT '88 Proceedings of the 2nd International Conference on Database Theory
A Theory of Atomic Transactions
ICDT '88 Proceedings of the 2nd International Conference on Database Theory
Simulation of Advanced Transaction Models Using GOLOG
DBPL '01 Revised Papers from the 8th International Workshop on Database Programming Languages
Non-Markovian control in the situation calculus
Eighteenth national conference on Artificial intelligence
Nested Transactions in a Logical Language for Active Rules
Nested Transactions in a Logical Language for Active Rules
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
Artificial Intelligence
Transaction processing in a peer to peer database network
Data & Knowledge Engineering
Hi-index | 0.00 |
The situation calculus is a versatile logic for reasoning about actions and formalizing dynamic domains. Using the non-Markovian action theories formulated in the situation calculus, one can specify and reason about the effects of database actions under the constraints of the classical, flat database transactions, which constitute the state of the art in database systems. Classical transactions are characterized by the so-called ACID properties. With non-Markovian action theories, one can also specify, reason about, and even synthesize various extensions of the flat transaction model, generally called advanced transaction models (ATMs). In this paper, we show how to use non-Markovian theories of the situation calculus to specify and reason about the properties of ATMs. In these theories, one may refer to past states other than the previous one. ATMs are expressed as such non-Markovian theories using the situation calculus. We illustrate our method by specifying (and sometimes reasoning about the properties of) several classical models and known ATMs.