Expressing Transactions with Savepoints as Non-Markovian Theories of Actions

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 opposed to pure classical flat transactions that either commit to whole work done so far or undo it. Recently, this mechanism is being offered by some major database products. Their semantics, however, seem not to be as well studied as the classical flat transactions. In this paper, we show how to use non-Markovian control in the situation calculus to capture flat transactions with savepoints. We also state some of their properties.

• Type: Conference
• Year: 2003
• Where: KRDB
• Authors: Iluju Kiringa, Alfredo Gabaldon
• Keywords: Classical flat Transactions, Database, Flat Transactions, KRDB 2003, Undo Work