Correctness of concurrency control and implications in distributed databases

In this paper we report our preliminary re sults in the correctness of concurrency control and we outline a new approach to concurrency control. First, we derive necessary and sufficient condition for the serializability of concurrent execution of transactions, regardless of the underlying mech anism (i. e. locking or time stamps) controlling such execution. We then outline a proposal for a new approach to concurrency control which is motivated by the results presented in the first part of the paper. The approach is based on detection of nonserializable actions and subsequent recovery rather than the prevention or avoidance methods which are used by existing concurrency control mechanisms.