Optimistic multi-level concurrency control for nested typed objects

The authors propose an optimistic multilevel method that also exploits commutativity of typed operations in order to enhance concurrency. One of the main advantages of this method is that it makes it possible to take commutativity depending upon return values into account. A bank-transaction example illustrating the proposed approach is presented.<
>