article

Free access

The notions of consistency and predicate locks in a database system

Authors:

K. P. Eswaran,

J. N. Gray,

R. A. Lorie,

I. L. TraigerAuthors Info & Claims

Communications of the ACM, Volume 19, Issue 11

Pages 624 - 633

https://doi.org/10.1145/360363.360369

Published: 01 November 1976 Publication History

PDF eReader

Abstract

In database systems, users access shared data under the assumption that the data satisfies certain consistency constraints. This paper defines the concepts of transaction, consistency and schedule and shows that consistency requires that a transaction cannot request new locks after releasing a lock. Then it is argued that a transaction needs to lock a logical rather than a physical subset of the database. These subsets may be specified by predicates. An implementation of predicate locks which satisfies the consistency condition is suggested.

References

[1]

Bjork, L.A. Recovery scenario for a DB/DC system. Proc. ACM 73 Nat. Conf., Atlanta, Ga., pp. 142-146.

Digital Library

Google Scholar

[2]

Davies, C.T. Recovery semantics for a DB/DC system. Proc. ACM 73 Nat. Conf., Atlanta, Ga., pp. 136-141.

Digital Library

Google Scholar

[3]

Chamberlin, D.D., Boyce, R.F., Traiger, I.L. A deadlockfree scheme for resource locking in a data-base environment, Information Processing 74, North-Holland Pub. Co., Amsterdam, 1974, pp.340-343.

Google Scholar

[4]

Codd, E.F. A relational model for large shared data banks. Comm.4CM 14, 6 (June 1970), pp. 377-387.

Digital Library

Google Scholar

[5]

Kleene, S.C. Introduction to Metamathematics. Van Nostrand, Princeton, N.J., 1952, p. 204.

Google Scholar

[6]

IBM Information Management System for Virtual Storage (IMS/VS), Conversion and Planning Guide. Form No. SH20- 9034, IBM, Armonk, N.Y., 1973, pp. 38-44.

Google Scholar

[7]

CODASYL, Data Base Task Group Report. ACM, N.Y., 1971.

Google Scholar

[8]

Eswaran, K.P., Gray, J.N., Lorie, R.A., and Traiger, I.L. On the notions of consistency and predicate locks in a data base system. Res. Rep., RJ 1487, IBM Res. Lab., San Jose, Calif., 1974.

Google Scholar

Cited By

View all

Chen ZYang TZheng YZhang ZJin CZhou A(2024)Spectrum: Speedy and Strictly-Deterministic Smart Contract Transactions for Blockchain LedgersProceedings of the VLDB Endowment10.14778/3675034.367504517:10(2541-2554)Online publication date: 1-Jun-2024
https://dl.acm.org/doi/10.14778/3675034.3675045
Clark JDonaldson AWickerson JRigger M(2024)Validating Database System Isolation Level Implementations with Version Certificate RecoveryProceedings of the Nineteenth European Conference on Computer Systems10.1145/3627703.3650080(754-768)Online publication date: 22-Apr-2024
https://dl.acm.org/doi/10.1145/3627703.3650080
Miller dKorth HPalmieri RLee IChabbi MSteuwer M(2024)POSTER: OCToPus: Semantic-aware Concurrency Control for Blockchain TransactionsProceedings of the 29th ACM SIGPLAN Annual Symposium on Principles and Practice of Parallel Programming10.1145/3627535.3638494(463-465)Online publication date: 2-Mar-2024
https://dl.acm.org/doi/10.1145/3627535.3638494
Show More Cited By

Recommendations

Virtual world consistency: A condition for STM systems (with a versatile protocol with invisible read operations)

The aim of a Software Transactional Memory (STM) is to discharge the programmers from the management of synchronization in multiprocess programs that access concurrent objects. To that end, an STM system provides the programmer with the concept of a ...
System level concurrency control for distributed database systems

A distributed database system is one in which the database is spread among several sites and application programs “move” from site to site to access and update the data they need. The concurrency control is that portion of the system that responds to ...
A versatile STM protocol with invisible read operations that satisfies the virtual world consistency condition
SIROCCO'09: Proceedings of the 16th international conference on Structural Information and Communication Complexity

The aim of a Software Transactional Memory (STM) is to discharge the programmers from the management of synchronization in multiprocess programs that access concurrent objects. To that end, a STM system provides the programmer with the concept of a ...

Comments

Information & Contributors

Information

Published In

Communications of the ACM Volume 19, Issue 11

Nov. 1976

54 pages

ISSN:0001-0782

EISSN:1557-7317

DOI:10.1145/360363

Editor:
Robert L. Ashenhurst
Univ. of Chicago, Chicago, IL

Issue’s Table of Contents

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 November 1976

Published in CACM Volume 19, Issue 11

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

1,649
Total Citations
View Citations
3,951
Total Downloads

Downloads (Last 12 months)597
Downloads (Last 6 weeks)70

Reflects downloads up to 11 Aug 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Chen ZYang TZheng YZhang ZJin CZhou A(2024)Spectrum: Speedy and Strictly-Deterministic Smart Contract Transactions for Blockchain LedgersProceedings of the VLDB Endowment10.14778/3675034.367504517:10(2541-2554)Online publication date: 1-Jun-2024
https://dl.acm.org/doi/10.14778/3675034.3675045
Clark JDonaldson AWickerson JRigger M(2024)Validating Database System Isolation Level Implementations with Version Certificate RecoveryProceedings of the Nineteenth European Conference on Computer Systems10.1145/3627703.3650080(754-768)Online publication date: 22-Apr-2024
https://dl.acm.org/doi/10.1145/3627703.3650080
Miller dKorth HPalmieri RLee IChabbi MSteuwer M(2024)POSTER: OCToPus: Semantic-aware Concurrency Control for Blockchain TransactionsProceedings of the 29th ACM SIGPLAN Annual Symposium on Principles and Practice of Parallel Programming10.1145/3627535.3638494(463-465)Online publication date: 2-Mar-2024
https://dl.acm.org/doi/10.1145/3627535.3638494
Ramalhete PCorreia ALee IChabbi MSteuwer M(2024)Scaling Up Transactions with Slower ClocksProceedings of the 29th ACM SIGPLAN Annual Symposium on Principles and Practice of Parallel Programming10.1145/3627535.3638472(2-16)Online publication date: 2-Mar-2024
https://dl.acm.org/doi/10.1145/3627535.3638472
Xian DWei X(2024)SC-Chef: Turboboosting Smart Contract Concurrent Execution for High Contention Workloads via Chopping TransactionsIEEE Transactions on Reliability10.1109/TR.2023.329627873:1(216-229)Online publication date: Mar-2024
https://doi.org/10.1109/TR.2023.3296278
Chen YAsheralieva AWei X(2024)AtomCI: A New System for the Atomic Cross-Chain Smart Contract Invocation Spanning Heterogeneous BlockchainsIEEE Transactions on Network Science and Engineering10.1109/TNSE.2023.334919211:3(2782-2796)Online publication date: May-2024
https://doi.org/10.1109/TNSE.2023.3349192
Wang XPeng YHuang H(2024)Gria: an efficient deterministic concurrency control protocolFrontiers of Computer Science: Selected Publications from Chinese Universities10.1007/s11704-023-2605-z18:4Online publication date: 1-Aug-2024
https://dl.acm.org/doi/10.1007/s11704-023-2605-z
Guo TZhang ZYuan YYang XWang G(2024)Hybrid concurrency control protocol for data sharing among heterogeneous blockchainsFrontiers of Computer Science: Selected Publications from Chinese Universities10.1007/s11704-022-2327-718:3Online publication date: 22-Jan-2024
https://dl.acm.org/doi/10.1007/s11704-022-2327-7
Raad ALahav OWickerson JBalcer PDongol B(2024)Intel PMDK Transactions: Specification, Validation and ConcurrencyProgramming Languages and Systems10.1007/978-3-031-57267-8_6(150-179)Online publication date: 6-Apr-2024
https://dl.acm.org/doi/10.1007/978-3-031-57267-8_6
Gessert FWingerath WRitter NGessert FWingerath WRitter N(2024)Transaktionale Semantik für global verteilte AnwendungenSchnelles und skalierbares Cloud-Datenmanagement10.1007/978-3-031-54388-3_6(141-159)Online publication date: 3-May-2024
https://doi.org/10.1007/978-3-031-54388-3_6
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Abstract

References

Cited By

Recommendations

Virtual world consistency: A condition for STM systems (with a versatile protocol with invisible read operations)

System level concurrency control for distributed database systems

A versatile STM protocol with invisible read operations that satisfies the virtual world consistency condition

Comments

Information

Published In

Publisher

Publication History

Permissions

Check for updates

Author Tags

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

PDF

eReader

Get Access

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations