The impact of recovery on concurrency control (Q686645)

The paper investigates the constraints that recovery methods for transaction systems impose on concurrency control, a subject which seems to have been neglected by theoreticians so far. More specifically, two popular recovery methods are considered: update in place (in which the effects of a transaction that is aborted at some point are ``undone'') and deferred update (in which all the effects of a transaction are seen in the system only when the transaction commits). The work gives a precise characterization of the conflict relations that work with each recovery method and it is shown that each method permits conflict relations that the other do not.