A formal approach to recovery by compensating transactions
Henry F. Korth, Eliezer Levy, Abraham Silberschatz · 1990
Compensating transactions are intended to handle situ-ations where it is required to undo either committed or uncommitted transactions that affect other trans-actions, without resorting to cascading aborts. This stands in sharp contrast to the standard approach to transaction recovery where cascading aborts are avoided by requiring transactions to read only committed data, and where committed transactions are treated as per-manent and irreversible. We argue that this standard approach to recovery is not suitable for a wide range of advanced database applications, in particular those applications that incorporate long-duration or nested transactions. We show how compensating transactions can be effectively used to handle these types of appli-cations. We present a model that allows the definition of a variety of types of correct compensation. These types of compensation range from traditional undo, at one extreme, to application-dependent, special-purpose compensating transactions, at the other extreme, 1