Expressing Transactions with Savepoints as Non-Markovian Theories of Actions.

Iluju Kiringa Alfredo Gabaldon Expressing Transactions with Savepoints as Non-Markovian Theories of Actions. 2003 conf/krdb/2003 KRDB http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-79/kiringa.pdf db/conf/krdb/krdb2003.html#KiringaG03