A model for concurrency in nested transactions systems

DOI10.1145/62044.62046zbMath0678.68105OpenAlexW2077591300MaRDI QIDQ3835055

Philip A. Bernstein, Nathan Goodman, Catriel Beeri

Publication date: 1989

Published in: Journal of the ACM (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/62044.62046

zbMATH Keywords

verificationcorrectnessnested transactionstransaction processingprocess managementserializability theoryconcurrency control algorithmscomputation forestmultilevel database systems

Mathematics Subject Classification ID

Information storage and retrieval of data (68P20) Theory of operating systems (68N25)

Related Items (5)

On the serializability theorem for nested transactions ⋮ Introduction to the theory of nested transactions ⋮ Unifying concurrency control and recovery of transactions with semantically rich operations ⋮ Transaction synchronisation in object bases ⋮ Commutativity-based locking for nested transactions

This page was built for publication: A model for concurrency in nested transactions systems