Formal aspects of concurrency control in long-duration transaction systems using the NT/PV model
ACM Transactions on Database Systems (TODS)
| Hi-index | 0.00 |
In nested transactions systems, it is possible for each level of a transaction to have its own correctness criteria. This results in a complex, multilevel concurrency control problem. We propose an approach to this problem called the intra-transaction concurrency control paradigm for handling multilevel concurrency control applications. This paradigm is based on defining a restricted scope for the concurrency control protocols used at each level of nesting. As such, the process of deriving multilevel protocols is simplified. To demonstrate this, two example protocols, one for the class conflict serializability (CSR) and one for the class conflict predicate correct (CPC) are presented.