David Scott Gerstl

Learn More
A number of authors have proposed methods for increasing the throughput of transaction processing systems by decomposing transactions into steps and allowing the steps of concurrently executing transactions to be interleaved. In some proposals all interleavings are assumed to be acceptable, while in others certain interleavings are forbidden. In this paper(More)
Assertional Concurrency Control System Arthur J. Bernstein David S. Gerstly Wai-Hong Leung Philip M. Lewis Department of Computer Science State University of New York at Stony Brook Stony Brook, NY 11794-4400 USA fart, gerstl, wleung, pmlg@cs.sunysb.edu Abstract Serializability has been widely accepted as the correctness criterion for databases subject to(More)
Serializability is the most stringent level of isolation used in transaction processing systems and has been widely accepted as the correctness criterion for concurrently executing transactions. It generally uses a strict two-phase locking protocol, in which locks are held until transactions commit. Unfortunately, this implies that locks might be held for(More)
  • 1