article

Free access

Concurrency control in advanced database applications

Authors:

Naser S. Barghouti,

Gail E. KaiserAuthors Info & Claims

ACM Computing Surveys (CSUR), Volume 23, Issue 3

Pages 269 - 317

https://doi.org/10.1145/116873.116875

Published: 01 September 1991 Publication History

PDF eReader

References

[1]

ADAMS, E. W., HONDA, M., AND MILLER, T. C. 1989. Object managment in a CASE environment. In Proceedings of the 11th International Conference on Software Engineering (May) IEEE Computer Society Press, pp. 154-163.

Crossref

Google Scholar

[2]

BANClLHON, F., KIM, W., ANn KORTn, H. 1985. A model of CAD transactions. In Proceedtngs of the 11th Internattonal Conference on Very Large Databases, (August), Morgan Kaufmann, pp. 25-33.

Google Scholar

[3]

BEERI, C., BERNSTEIN, P. A, AND GOODMAN, N. 1986 A model for concurrency in nested transaction systems. Tech Rep. TR-86-03, The Wang Institute for Graduate Studies, Tyngaboro, Mass.

Google Scholar

[4]

BEERI, C, BERNSTEIN, P. A., AND GOODMAN, N. 1989. A model for concurrency in nested transaction systems. J/2, ACM 36, 230-269.

Crossref

Google Scholar

[5]

BEERI, C., SCHEK, H.-J., AND WEIKUM, G. 1988. Multilevel transaction management: Theoretical art or practical need? Adv. Database Tech (Mar), pp. 134-154 Published as Lecture Notes in Computer Science 41303, G. Goos and J. Hart Manis, Eds

Crossref

Google Scholar

[6]

BERNSTEIN, P.A. 1987. Database systems support for software engineering: An extended ab~ stract. In Proceedings of the 9th International Conference on Software Engineering (March), IEEE Computer Society Press, pp. 166-178.

Crossref

Google Scholar

[7]

BERNSTEIN, P. A., AND GOODMAN, N. Concurrency control in distributed database systems. ACM Comput. Surv. 13, 2 (June), 185-221.

Crossref

Google Scholar

[8]

BERNSTEIN, P.A., HADZmACOS, V., AND GOODMAN, N. 1987. Concurrency Control a,d Recovery in Database Systems. Addison-Wesley, Reading, Mass.

Crossref

Google Scholar

[9]

BJORK, L.A. 1973. Recovery scenario for a DB/DC system. In Proceedings of the 28th ACM National Conference (Aug.), ACM Press, pp. 142-146.

Crossref

Google Scholar

[10]

CHRYSANTHIS, P.K., AND RAMAMRITHAM, K. 1990. Acta: A framework for specifying and reasoning about transaction structure and behavior. In Proceedings of the 1990 ACM SIGMOD International Conference on the Management of Data (May), ACM Press, pp. 194-203.

Crossref

Google Scholar

[11]

DAVmS, C.T. 1973. Recovery semantics for a DB/DC system~ In Proceedings of the 28th ACM National Conference (Aug.), ACM Press, pp. 136-141.

Crossref

Google Scholar

[12]

--. 1978. Data processing spheres of control. IBM Syst. J. 17, 2, 179-198.

Google Scholar

[13]

DITTRICH, K., GOTT~ARD, W., ANn LOEKEMANN, P. 1987. DAMOKLES: The database system for the UNIBASE software engineering environment. IEEE Bullet. Database Eng. 10, 1 (March), 37-47.

Google Scholar

[14]

DowsoN, M., AND NEJMEH, B. 1989. Nested transactions and visibility domains. In Proceedings of the 1989 ACM SIGMOD Workshop on Software CAD Databases (Feb.), ACM Press, pp. 36-38. Position paper.

Google Scholar

[15]

EASTMAN, C. 1980. System facilities for CAD databases. In Proceedings of the 17th ACM Design Automation Conference (June), ACM Press, pp. 50-56. ~ 1981. Database facilities for engineering design. In Proceedings of the IEEE (Oct.), IEEE Computer Society Press, pp. 1249-1263.

Crossref

Google Scholar

[16]

EGE, A., AND ELLIS, C.A. 1987. Design and implementation of Gordion, an object-based management system. In Proceedings of the 3rd International Conference on Data Engineering (Feb.), IEEE Computer Society Press, pp 226-234.

Crossref

Google Scholar

[17]

EL ABBADI, A. ANn TOUEG, S. 1989. The group paradigm for concurrency control protocols. IEEE Trans. Knowledge Data Eng. 1, 3 (Sept.), 376-386~

Crossref

Google Scholar

[18]

ESWARAN, K., GRAY, J., LORIE, R., AND TRAIGER, I. 1976. The notions of consistency and predicate locks in a database system. Commun. ACM 19, 11 (Nov.), 624-632.

Crossref

Google Scholar

[19]

FELDMAN, S.I. 1979. Make: A program for maintaining computer programs. Softw. Pract. Exper. 9, 4 (Apr.), 255-265.

Google Scholar

[20]

FERNANDEZ, M. F., AND ZDONIK, S. B. 1989. Transaction groups: A model for controlling cooperative work. In Proceedings of the 3rd International Workshop on Persistent Object Systems: Their Design, hnplementation, and Use (Jan.), Morgan-Kaufman pp. 128-138~

Crossref

Google Scholar

[21]

GARCIA-MOLINA, H. 1983. Using semantic knowledge for transaction processing in a distributed database~ ACM Trans. Database Syst. 8, 2 (June), 186-213.

Crossref

Google Scholar

[22]

GARCIA-MOLINA, H., AND SALEM, K. 1987. SAGAS~ In Proceedings of' the ACM SIGMOD 1987 Annual Conference (May), ACM Press, pp. 249-259.

Crossref

Google Scholar

[23]

GARZA, J., AND KIM, W. 1988. Transaction management in an object-oriented database system. In Proceedings of the ACM SIGMOD International Conference on the Management of Data June), ACM Press, pp. 37-45.

Crossref

Google Scholar

[24]

GRAY, J. 1978. Notes on database operating systems. IBM Res. Rep~ RJ2188, IBM Research Laboratory, San Jose, Calif.

Google Scholar

[25]

GRAY, J., LORIE, R., AND PUTZOLU, G. 1975. Granularity of locks and degrees of consistency in a shared database. IBM Res. Rep. RJ1654, IBM Research Laboratory, San Jose, Calif.

Google Scholar

[26]

HERLIHY, M.P., AND WEIHL, W.E. 1988. Hybrid concurrency control for abstract data types. In Proceedings of the 7th ACM Symposium on Principles of Database Systems (Mar.), ACM Press, pp. 201-210.

Crossref

Google Scholar

[27]

KAISER, G.E. 1990. A flexible transaction model for software engineering. In Proceedings of the 6th International Conference on Data Engineering (Feb.), IEEE Computer Society Press, pp. 560-567.

Crossref

Google Scholar

[28]

KAISER, G. E., AND FEILER, P. H. 1987. Intelligent assistance without artificial intelligence. In Praceedings of the 32nd IEEE Computer Society International Conference (Feb.), IEEE Computer Society Press, pp. 236-241~

Google Scholar

[29]

KAISER, G. E., AND PERRY, D. E. 1987. Workspaces and experimental databases: Automated support for software maintenance and evolution. In Proceedings of the Conference on Software Maintenance (Sept.)~ IEEE Computer Society Press, pp. 108-114.

Google Scholar

[30]

KATZ, R. H. 1990. Toward a unified framework for version modeling in engineering databases. ACM Comput. Surv. 22, 4 (Dec.), 375-408.

Crossref

Google Scholar

[31]

KATZ, R. H., AND WEISS, S. 1984. Design transaction management. In Proceedings of the ACM IEEE 21st Design Automation Conference (June), IEEE Computer Society Press, pp. 692-693.

Crossref

Google Scholar

[32]

KIM, W., Loam, R. A., MCNABB, D., AND PLOUFFE, W. 1984. A transaction mechanism for engineering databases. In ?roceed~ngs of the lOth International Conference an Very Large Databases (Aug.), Morgan Kaufmann, pp. 355-362~

Crossref

Google Scholar

[33]

KIM, W., BALLOU, N., CHOU, H., AND GARZA, J. 1988. Integrating an object-oriented pragramming system with a database system. In Proceedings of the 3rd Internatwnal Conference on Object-Oriented Programming Systems, Languages and Applicatwns (Sept.), ACM Press, pp. 142-152.

Crossref

Google Scholar

[34]

KLAHOLD, P., SCHLAGETER, G., UNLAND, R., AND WILKES, W. 1985. A transaction model supporting complex applications in integrated information systems. In Proceedings of the ACM SIGMOD International Conference on the Management of Data (May), ACM Press, pp. 388-401.

Crossref

Google Scholar

[35]

KOHLER, W. 1981 A survey of techniques for synchronization and recovery in decentralized computer systems ACM Comput. Surv. 13, 2 (June), 149-183.

Crossref

Google Scholar

[36]

KORTH, H., AND SILBERSCHATZ, A. 1986. Database System Concepts. McGraw Hill, New York.

Crossref

Google Scholar

[37]

--. 1990. Long-duration transactions in software design projects. In Proceedings of the 6th International Conference on Data Engineering (Feb.), IEEE Computer Society Press, pp 568-574.

Crossref

Google Scholar

[38]

KORTH, H., AND SPEEGLE, G. 1988. Formal model of correctness without serializability. In Proceedings of the ACM SIGMOD Internatwnal Conference on the Management of Data (June), ACM Press, pp. 379-386.

Crossref

Google Scholar

[39]

KUN, H., AND ROmNSON, J. 1981. On optimistic methods for concurrency control ACM Trans. Database Syst. 6, 2 (June), 213-226.

Crossref

Google Scholar

[40]

KUTAY, A., AND EASTMAN, C. 1983. Transaction management in engineering databases. In Proceedmgs of the Annual Meeting of Database Week: Engineerzng Design Applwations (May), IEEE Computer Society Press, pp. 73-80.

Google Scholar

[41]

LEBLANG, D. B., AND CHASE, R P., JR. 1987. Parallel software configuration management in a network environment IEEE Softw 4, 6 (Nov.), 28-35.

Google Scholar

[42]

LORIE, R, AND PLOUI~'EE, W 1983. Complex objects and their use in demgn transactions. In roceedings of the Annual Meetzng of Database Week; Engineering Design Applications (May), EEE Computer Society Press, pp 115-121.

Google Scholar

[43]

LYNCH, N. A. 1983 Multfievel atomicity: A new correctness criterion for database concurrency control. ACM Trans. Database Syst. 8, 4 (Dec.), 484 502

Crossref

Google Scholar

[44]

MARTIN, B. 1987 Modeling concurrent activities with nested objects. In Proceedings of the 7th International Conference on D~strzbuted Computing Systems (Sept.), IEEE Computer Society Press, pp 432-439.

Google Scholar

[45]

Moss, J. E. B. 1985. Nested Transactions: An Approach to Reliable Distributed Computing. The MIT Press, Cambridge, Mass.

Crossref

Google Scholar

[46]

NESTOR, J. R. 1986. Toward a persistent object base In Advanced Programming Environments, Conradi, R., Didriksen, T. M., and Wanvlk, D H, eds. Springer-Verlag, Berlin, pp. 372 394.

Crossref

Google Scholar

[47]

PAPADIMITRIOU, C 1986. The Theory of Database Concurrency Control. Computer Science Press, Rockville, Md.

Crossref

Google Scholar

[48]

PERRY, D., AND KAISER, G. 1991. Models of software development environments IEEE Trans. Softw Eng. 17, 3 (Mar.)

Crossref

Google Scholar

[49]

PRADEL, U, SCHLAGETER, G, AND UNLAND, R. 1986. Redesign of optimistic methods: Improving performance and availability In Proceedings of the 2nd International Conference on Data Engineering (Feb.), IEEE Computer Society Press, pp. 466-473.

Crossref

Google Scholar

[50]

PU, C., KAISER, G., AND HUTCHINSON, N. 1988. Split transactions for open-ended activities In Proceedings of the 14th Inter, ational Conference on Very Large Databases (Aug.), Morgan Kaufmann, pp. 26-37.

Crossref

Google Scholar

[51]

REED, R. 1978 Naming and synchromzation in a decentralized computer system Ph.D. dissertation, MIT Laboratory of Computer Science, MIT Tech. Rep. 205.

Crossref

Google Scholar

[52]

ROCHKIND, M. J 1975. The source code control system IEEE Trans. Softw. Eng. SE-1, 364 370

Google Scholar

[53]

ROSENKRANTZ, D., STEARNS, R., AND LEWIS, P. 1978 System-level concurrency control for distributed database systems ACM Trans. Database Syst 3, 2 (June), 178-198

Crossref

Google Scholar

[54]

ROWE, L.A, AND WENSEL, S. 1989. 1989 ACM SIGMOD Workshop on Software CAD Databases, Napa, Cahf

Google Scholar

[55]

SALEM, K., GARCIA-MOLINA, H., AND ALONSO, R. 1987. Altrmstlc locking: A strategy for coping with longdlved transactions In Proceed- ~ngs of the 2nd Internatzonal Workshop on High Performance Transactzon Systems (Sept), Amdahl Corporation, IBM Corporatmn, pp. 19.1 19 24.2RSilberschatz, A., and Kedem, Z. Consistency in hierarchical database systems. J. ACM27, i (Jan), 72-80

Crossref

Google Scholar

[56]

SKARRA, A. H, AND ZDONIK, S. B. 1989. Concurrency control and object-oriented databases In Kim, W., and Lochovsky, F. H., eds, Object-Oriented Concepts, Databases, and Applications, ACM Press, New York, pp 395-421

Crossref

Google Scholar

[57]

STONEBRAKER, M., KATZ, R, PATTERSON, D., AND OUSTERHOUT, J. 1988. The demgn of XPRS. In Proceedings of the 14th International Conference on Very Large Databases (Aug.), Morgan Kaufmann, pp 318-330

Crossref

Google Scholar

[58]

TICHY, W. F. 1985. RCS: A system for version control. Softw. Pract. Exper. 15, 7 (July), 637-654

Crossref

Google Scholar

[59]

WALPOLE, J., BLAIR, G., HUTCHISON, D., AND NICOL, J. 1987. Transaction mechanisms for distributed programming environments. Softw. Eng. J. 2, 5 (Sept.), 169-177

Crossref

Google Scholar

[60]

WALPOLE, J., BLAIR, G., MALIK, J., AND NICOL, J. 1988a A unifying model for consistent distributed software development environments. In Proceedings of the ACM SIGSOFT/ SIGPLAN Software Engineering Symposium on Practical Software Development Environments (Nov.), ACM Press, pp. 183-190. 1988b. Maintaining consistency in distributed software engineering environments. In Proceedings of the 8th International Conference on Distributed Computing Systems (June), IEEE Computer Society Press, pp. 418-425.

Crossref

Google Scholar

[61]

WALTER, B. 1984. Nested transactions with multiple commit points: An approach to the structuring of advanced database applications. In Proceedings of the lOth International Conference on Very Large Databases (Aug.), Morgan KauL mann, pp. 161-171.

Crossref

Google Scholar

[62]

WEmL, W. 1988. Commutativity-based concurrency control for abstract data types (Preliminary Report). In Proceedings of the 21st Annual Hawaii International Conference on System Sciences (Jan.), IEEE Computer Society Press, pp. 205-214.

Crossref

Google Scholar

[63]

WEIKUM, G. 1986. A theoretical foundation of multilevel concurrency control. In Proceedings of the 5th ACM Symposium on Principles of Database Systems (Mar.), ACM Press, pp. 31-42.

Crossref

Google Scholar

[64]

WEIKUM, G., AND SCHEK, H.-J. 1984. Architectural issues of transaction management in multilevel systems. In Proceedings of the lOth International Conference on Very Large Databases (Aug.), Morgan Kaufmann.

Crossref

Google Scholar

[65]

WILLIAMS, R, DANIELS, D., HASS, L., LAPIS, B., LINDSAY, B., NG, P., OBERMARCLE, R., SELINGER, P, WALKER, A., WILMS, P., AND YOST, R. 1981. R:* An overview of the architecture In Improving Database Usability and Responsiveness, Scheuermann, P., Ed. Academic Press, NY, pp. 1-27.

Google Scholar

[66]

YANNAKAKIS, M. 1982. Issues of correctness in database concurrency control by locking. J. ACM29, 3 (July), 718-740

Crossref

Google Scholar

[67]

YEH, S., ELLIS, C., EGE, A., AND KORTH, H. 1987. Performance analysis of two concurrency control schemas for design environments. Tech. Rep. STP-036-87, MCC, Austin, Tex.

Crossref

Google Scholar

Cited By

View all

Bandara ELiang XFoytik PShetty SRanasinghe NDe Zoysa K(2021)Rahasak—Scalable blockchain architecture for enterprise applicationsJournal of Systems Architecture: the EUROMICRO Journal10.1016/j.sysarc.2021.102061116:COnline publication date: 1-Jun-2021
https://dl.acm.org/doi/10.1016/j.sysarc.2021.102061
Chaudhry NYousaf M(2021)Concurrency control for real‐time and mobile transactions: Historical view, challenges, and evolution of practicesConcurrency and Computation: Practice and Experience10.1002/cpe.654934:3Online publication date: 5-Aug-2021
https://doi.org/10.1002/cpe.6549
Bandara ELiang XFoytik PShetty SRanasinghe NDe Zoysa K(2020)Bassa-Scalable Blockchain Architecture for Smart Cities2020 IEEE International Smart Cities Conference (ISC2)10.1109/ISC251055.2020.9239072(1-8)Online publication date: 28-Sep-2020
https://doi.org/10.1109/ISC251055.2020.9239072
Show More Cited By

Index Terms

Concurrency control in advanced database applications

Recommendations

Multiversion Cautious Schedulers for Database Concurrency Control

Let MC stand for a class of logs (i.e. sequences of read/write steps of transactions) that are serializable when multiple versions of the data items are maintained. The multiversion cautious scheduler, MCS(MC) which is introduced, outputs a sequence ...
Semantics-based concurrency control: beyond commutativity

The concurrency of transactions executing on atomic data types can be enhanced through the use of semantic information about operations defined on these types. Hitherto, commutativity of operations has been exploited to provide enchanced concurrency ...
Page-based optimistic concurrency control for memory-mapped persistent object systems
HICSS '95: Proceedings of the 28th Hawaii International Conference on System Sciences

New applications that support cooperative work of users on distributed computers often share persistent data structures that contain pointers. For these applications, the underlying system, often uses the "page server" architecture, in which the ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

ACM Computing Surveys Volume 23, Issue 3

Sept. 1991

136 pages

ISSN:0360-0300

EISSN:1557-7341

DOI:10.1145/116873

Issue’s Table of Contents

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 September 1991

Published in CSUR Volume 23, Issue 3

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

198
Total Citations
View Citations
3,546
Total Downloads

Downloads (Last 12 months)317
Downloads (Last 6 weeks)33

Reflects downloads up to 10 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Bandara ELiang XFoytik PShetty SRanasinghe NDe Zoysa K(2021)Rahasak—Scalable blockchain architecture for enterprise applicationsJournal of Systems Architecture: the EUROMICRO Journal10.1016/j.sysarc.2021.102061116:COnline publication date: 1-Jun-2021
https://dl.acm.org/doi/10.1016/j.sysarc.2021.102061
Chaudhry NYousaf M(2021)Concurrency control for real‐time and mobile transactions: Historical view, challenges, and evolution of practicesConcurrency and Computation: Practice and Experience10.1002/cpe.654934:3Online publication date: 5-Aug-2021
https://doi.org/10.1002/cpe.6549
Bandara ELiang XFoytik PShetty SRanasinghe NDe Zoysa K(2020)Bassa-Scalable Blockchain Architecture for Smart Cities2020 IEEE International Smart Cities Conference (ISC2)10.1109/ISC251055.2020.9239072(1-8)Online publication date: 28-Sep-2020
https://doi.org/10.1109/ISC251055.2020.9239072
Antonino PGibson-Robinson TRoscoe A(2019)Efficient verification of concurrent systems using local-analysis-based approximations and SAT solvingFormal Aspects of Computing10.1007/s00165-019-00483-231:3(375-409)Online publication date: 1-Jun-2019
https://dl.acm.org/doi/10.1007/s00165-019-00483-2
Mohamed MBadawy MEL-Sayed A(2018)An improved algorithm for database concurrency controlInternational Journal of Information Technology10.1007/s41870-018-0240-y11:1(21-30)Online publication date: 1-Sep-2018
https://doi.org/10.1007/s41870-018-0240-y
Jaziri WSassi NDamak D(2016)Using Temporal Versioning and Integrity Constraints for Updating Geographic Databases and Maintaining Their ConsistencyGeospatial Research10.4018/978-1-4666-9845-1.ch053(1137-1167)Online publication date: 2016
https://doi.org/10.4018/978-1-4666-9845-1.ch053
Ding BKot LDemers AGehrke JGhandeharizadeh SBalazinska MFreedman MBarahmand S(2015)CentimanProceedings of the Sixth ACM Symposium on Cloud Computing10.1145/2806777.2806837(262-275)Online publication date: 27-Aug-2015
https://dl.acm.org/doi/10.1145/2806777.2806837
Navale RSinha UVijaya PKrishnamurthy K(2015)Database Management System on Flosolver Mk3IETE Technical Review10.1080/02564602.1998.1141678615:6(497-502)Online publication date: 26-Mar-2015
https://doi.org/10.1080/02564602.1998.11416786
Ruan DHua YPang Z(2014)A kind of two-level cooperation distributed scheduling strategy2014 IEEE 5th International Conference on Software Engineering and Service Science10.1109/ICSESS.2014.6933594(410-413)Online publication date: Jun-2014
https://doi.org/10.1109/ICSESS.2014.6933594
Borrmann AFlurl MJubierre JMundani RRank E(2014)Synchronous collaborative tunnel design based on consistency-preserving multi-scale modelsAdvanced Engineering Informatics10.1016/j.aei.2014.07.00528:4(499-517)Online publication date: 1-Oct-2014
https://dl.acm.org/doi/10.1016/j.aei.2014.07.005
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.

References

Cited By

Index Terms

Recommendations

Multiversion Cautious Schedulers for Database Concurrency Control

Semantics-based concurrency control: beyond commutativity

Page-based optimistic concurrency control for memory-mapped persistent object systems

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