Transaction Logic with (Complex) Events

José Júlio Alferes, Ana Sofia Gomes

Research output: Contribution to conferencePaperpeer-review

7 Downloads (Pure)


This work deals with the problem of combining reactive features, such as the ability to respond to events and define complex events, with the execution of ACID transactions over general Knowledge Bases (KBs). With this as goal, we build on Transaction Logic (T R), a logic precisely designed to model and execute (ACID) transactions in KBs defined by arbitrary logic theories. In it, transactions are written in a logic- programming style, by combining primitive update operations over a general KB, with the usual logic programming connectives and some additional connectives e.g. to express sequence of actions. While T R is a natural choice to deal with transactions, it remains the question whether T R can be used to express complex events, but also to deal simultaneously with the detection of complex events and the execution of transactions. In this paper we show that the former is possible while the latter is not. For that, we start by illustrating how T R can express complex events, and in particular, how SNOOP event expressions can be translated in the logic. Afterwards, we show why T R fails to deal with the two issues together, and propose Transaction Logic with Events to solve the intended problem. The achieved solution is a non-monotonic conservative extension of T R, which guarantees that every complex event detected in a transaction is necessarily responded. Along with its syntax, model theory and executional semantics, we prove some properties, including that it is indeed a conservative extension, and that it enjoys from important properties
of non-monotonic logics, like support.
Original languageEnglish
Number of pages25
Publication statusPublished - 2014
EventInternational Conference on Logic Programming -
Duration: 1 Jan 2010 → …


ConferenceInternational Conference on Logic Programming
Period1/01/10 → …


Dive into the research topics of 'Transaction Logic with (Complex) Events'. Together they form a unique fingerprint.

Cite this