An Assertional Characterization of Serializability
McCurley, E. Robert; Schneider, Fred B.
Serializability is usually defined operationally in terms of sequences of operations. This paper gives another definition of serializability-in terms of sequences of states. It also shows how this definition can be used to prove correctness of solutions to the concurrency control problem.
computer science; technical report
Previously Published As