Abstract
We propose External Transaction Logic (or \(\mathcal{ETR}\)), an extension of Transaction Logic able to represent updates in internal and external domains whilst ensuring a relaxed transaction model. With this aim, \(\mathcal{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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Bonner, A.J., Kifer, M.: Transaction logic programming (or a logic of declarative and procedural knowledge). Technical Report CSRI-323, Computer Systems Research Institute, University of Toronto (1995)
Bonner, A.J., Kifer, M.: Results on reasoning about updates in transaction logic. In: Kifer, M., Voronkov, A., Freitag, B., Decker, H. (eds.) Dagstuhl Seminar 1997, DYNAMICS 1997, and ILPS-WS 1997. LNCS, vol. 1472, pp. 166–196. Springer, Heidelberg (1998)
de Sainte Marie, C., Hallmark, G., Paschke, A.: RIF Production Rule Dialect (June 2010), W3C Recommendation, http://www.w3.org/TR/rif-prd/
Garcia-Molina, H., Salem, K.: Sagas. SIGMOD Rec. 16, 249–259 (1987)
Gelfond, M., Lifschitz, V.: Action languages. Electr. Trans. Artif. Intell. 2, 193–210 (1998)
Harel, D., Kozen, D., Parikh, R.: Process logic: Expressiveness, decidability, completeness. In: FOCS, pp. 129–142 (1980)
Kowalski, R.A., Sergot, M.J.: A logic-based calculus of events. New Generation Comp. 4(1), 67–95 (1986)
McCarthy, J.: Situations, actions, and causal laws. Technical report, Stanford University (1963); Reprinted in MIT Press, Cambridge, pp. 410-417 (1968)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Gomes, A.S., Alferes, J.J. (2011). Transaction Logic with External Actions. In: Delgrande, J.P., Faber, W. (eds) Logic Programming and Nonmonotonic Reasoning. LPNMR 2011. Lecture Notes in Computer Science(), vol 6645. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-20895-9_31
Download citation
DOI: https://doi.org/10.1007/978-3-642-20895-9_31
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-20894-2
Online ISBN: 978-3-642-20895-9
eBook Packages: Computer ScienceComputer Science (R0)