UNIFYING CONCURRENCY-CONTROL AND RECOVERY OF TRANSACTIONS WITH SEMANTICALLY RICH OPERATIONS

The classical theory of transaction management contains two different aspects, namely concurrency control and recovery, which ensure seriali zability and atomicity of transaction executions, respectively. Althou gh concurrency control and recovery are not independent of each other, the criteria for these two aspects were developed orthogonally and as a result, in most cases these criteria are incompatible with each oth er. Recently a unified theory of concurrency control and recovery for databases with read and write operations has been introduced in [19, 1 ] that allows reasoning about serializability and atomicity within the same framework. In [19, 1] a class of schedules (called prefix reduci ble), which guarantees both serializability and atomicity in a failure prone environment with read/write operations was introduced. Several protocols were developed to generate such schedules by a database conc urrency control mechanism. We present here a unified transaction model for databases with an arbitrary set of semantically rich operations. We investigate constructive characterization of the class of prefix re ducible schedules with semantically rich operations. It turns out that unlike databases with only read/write operations, the exact character ization of prefix reducible schedules in databases with arbitrary oper ations is rather infeasible. Thus, we propose here several sufficientl y rich subclasses of prefix reducible schedules, and design concurrenc y control protocols that guarantee both serializability and atomicity for schedules from these classes.