In reasoning about actions, it is commonly assumed that the dynamics of domains satisfies
the Markov Property: the executability conditions and the effects of all actions are fully …

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 …

Active databases are usually centered around the notion of Event-Condition-Action (ECA)
rules. An ECA rule's action is executed upon detection of an event whenever the rule's …

SPLACID is a semi-formal language conceived for the specification and synthesis of
(advanced) transactional models from basic features, such as transaction types and …

Abstract External Transaction Logic (ETR) is an extension of logic programming useful to
reason about the behaviour of agents that have to operate in a transactional way, in a two …

Flat transactions with savepoints are a variation of the classical flat transactions that allows
the user to go undo work done so far back to a certain point within the transaction. This is as …

Cloud computing represents a technological change in computing. Despite the
technological change, however, the quality of the computation, in particular its dependability …

Modern real-time data-intensive systems generate large amounts of data that are processed
using complex data-related computations such as data aggregation. In order to maintain …

Over the last 15 years, database management systems (DBMSs) have been enhanced by
the addition of rule-based programming to obtain active DBMSs. One of the greatest …

Active databases unify traditional database technology with rule-based programming to
express reactive capabilities. Traditional database management systems (DBMSs) are …