Commutativity-based concurrency control for abstract data types
From MaRDI portal
Publication:3829058
DOI10.1109/12.9728zbMath0674.68016MaRDI QIDQ3829058
Publication date: 1988
Published in: IEEE Transactions on Computers (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1109/12.9728
locking; concurrency control; state machine; recovery; abstract data types; atomic transactions; dynamic atomicity; intentions list; local atomicity; the serial specification; undo logs
Related Items
Hybrid atomicity for nested transactions, The impact of recovery on concurrency control, Commutativity-based locking for nested transactions, Hybrid concurrency control for abstract data types, On correctness on nonserializable executions, On computing serial dependency relations, Unifying concurrency control and recovery of transactions with semantically rich operations, Virtual partition algorithm in a nested transaction environment and its correctness, Compensation methods to support cooperative applications: A case study in automated verification of schema requirements for an advanced transaction model