Transaction logic with external actions

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

2 Citations (Scopus)


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, 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.

Original languageEnglish
Title of host publicationLogic Programming and Nonmonotonic Reasoning - 11th International Conference, LPNMR 2011, Proceedings
Editors J. P. Delgrande, W. Faber
Place of PublicationBerlin, Heidelberg
Number of pages6
ISBN (Electronic) 978-3-642-20895-9
ISBN (Print)978-3-642-20894-2
Publication statusPublished - 2011

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume6645 LNAI
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Dive into the research topics of 'Transaction logic with external actions'. Together they form a unique fingerprint.

Cite this