Formal model of correctness without serializabilty
- 1 June 1988
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGMOD Record
- Vol. 17 (3) , 379-386
- https://doi.org/10.1145/971701.50248
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- On Long-duration CAD TransactionsInformation Sciences, 1988
- Nested transactions and read-write lockingPublished by Association for Computing Machinery (ACM) ,1987
- Implementation of ArgusPublished by Association for Computing Machinery (ACM) ,1987
- Abstraction in recovery managementPublished by Association for Computing Machinery (ACM) ,1986
- Locking Primitives in a Database SystemJournal of the ACM, 1983
- A Theory of Safe Locking Policies in Database SystemsJournal of the ACM, 1982
- On concurrency control by multiple versionsPublished by Association for Computing Machinery (ACM) ,1982
- The serializability of concurrent database updatesJournal of the ACM, 1979
- The notions of consistency and predicate locks in a database systemCommunications of the ACM, 1976