A logic-based calculus of events
New Generation Computing
SIGMOD '87 Proceedings of the 1987 ACM SIGMOD international conference on Management of data
ICLP'93 Proceedings of the tenth international conference on logic programming on Logic programming
Results on Reasoning about Updates in Transaction Logic
ILPS '97 International Seminar on Logic Databases and the Meaning of Change, Transactions and Change in Logic Databases
Process logic: Expressiveness, decidability, completeness
SFCS '80 Proceedings of the 21st Annual Symposium on Foundations of Computer Science
| Hi-index | 0.00 |
We propose External Transaction Logic (or ETR), an extension of Transaction Logic able to represent updates in internal and external domains whilst ensuring a relaxed transaction model. With this aim, ETR deals with two main components: an internal knowledge base where updates follow the strict ACID model, given by the semantics of Transaction Logic; and an external knowledge base of which one has limited or no control and can only execute external actions. When executing actions in the external domain, if a failure occurs, it is no longer possible to simply rollback to the initial state before executing the transaction. For dealing with this, similarly to what is done in databases, we define compensating operations for each external action to be performed to ensure a relaxed model of atomicity and consistency. By executing these compensations in backward order, we obtain a state considered to be equivalent to the initial one.