Article

Free access

Towards a unified theory of concurrency control and recovery

Authors:

Hans-Jörg Schek,

Gerhard Weikum,

Haiyan YeAuthors Info & Claims

PODS '93: Proceedings of the twelfth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems

Pages 300 - 311

https://doi.org/10.1145/153850.153935

Published: 01 August 1993 Publication History

PDF eReader

References

[1]

C. Beeri, P. Bernstein, and N. Goodman. A model for coneurreey in nested transactions systems. Jonrnal of the A CM, 36(2), April 1989.

Digital Library

Google Scholar

[2]

Y. Breitbart, D. Georgakopoulos, M. Rusinkiewiez, and A. Silberschatz. On rigorous transaction scheduling. IEEE Transactions on Software Engineering, 17(9), September 1991.

Digital Library

Google Scholar

[3]

C. Beeri, H.-J. Schek, and G. Weikum. Multi-level transaction management, theoretical art or practical need? International Conference on Extending Database Technology (EDBT), Springer, 1988. LNCS 303.

Digital Library

Google Scholar

[4]

E.W. Dijkstra. A Discipline of Programming. Prentice-Hall, 1976.

Digital Library

Google Scholar

[5]

H. Garcia-Molina. Using semantic knowledge for transaction processing in a distributed database. A CM Transactions on Database Systems, 8(2), June 1983.

Digital Library

Google Scholar

[6]

J. Gray and A. Reuter. Transaction processing: concepts and techniquies. Morgan Kaufmann, 1993.

Digital Library

Google Scholar

[7]

V. Hadzilacos. A theory of reliability in database systems. Journal of the A CM, 35(1), January 1988.

Digital Library

Google Scholar

[8]

T. Hadzilacos and V. ttadzilacos. Transaction synchronization in object bases. Proc. A CM Principles of Database Systems, 1988.

Digital Library

Google Scholar

[9]

M.P. Herlihy and W. E. Weihl. Hybrid concurrency control for abstract data types. Proc. A CM Principles of Database Systems, 1988.

Digital Library

Google Scholar

[10]

H.J.Schek, G. Weikurn, and It. Ye. Towards a unified theory of concurrency control and recovery. Technical report, Department of Computer Science, ETH Zurich, December 1992.

Google Scholar

[11]

H.F. Korth. Locking primitives in a database system. Journal of the ACM, 30(1), January 1983.

Digital Library

Google Scholar

[12]

P. Karyehniak, M. Rusinkiewicz, A. Sheth, and G. Thomas. Bounding the effects of compensation under relaxed multi-level serializability. Technical memorandum: Tm-tsv-021509/1, Bellcore, June 1992.

Google Scholar

[13]

E. Levy, H.F. Korth, and A. Silberschatz. A theory of relaxed atomicity. Proc. A CM Principles of Distributed Computing, 1991.

Digital Library

Google Scholar

[14]

N. Lynch, M. Merritt, W. Weihl, and A. Fekete. Atomic transactions. Morgan Kaufmann, 1993. to appear.

Google Scholar

[15]

J. Moss, N. Griffeth, and M Graham. Abstraction in recovery management. A CM SIGMOD Record, 15(1), March 1986.

Digital Library

Google Scholar

[16]

C. Mohan, D. Haderle, B. Lindsay, It. Pirahesh, and P. Schwarz. ARIES: a transaction recovery method supporting finegranularity locking and partial rollbacks using write-ahead logging. A CM Transactions on Database Systems, 17(1), March 1992.

Digital Library

Google Scholar

[17]

P. Muth, T.C. Rakow, G. Weikum, P. BrSssler, and C. tIasse. Semantic coneurreey control in object-oriented database systems. Proc. IEEE Data Engineering, April 1993.

Digital Library

Google Scholar

[18]

P.E. O'Neil. The escrow transactional method. A CM Transactions on Database Systems, 11(4), December 1986.

Digital Library

Google Scholar

[19]

C. Papadimitriou. The theory of database concurrency control. Computer Science Press, 1986.

Digital Library

Google Scholar

[20]

P. Bernstein, V. Hadzilacos, and N. Goodman. Concurrency control and recovery in database systems. Addison-Wesley, 1987.

Digital Library

Google Scholar

[21]

R. Rastogi, It.F. Korth, and A. Silberschatz. Strict histories in object-based database sytems. Proc. A CM Principles of Database Systems, 1993.

Digital Library

Google Scholar

[22]

P.M. Schwarz and A.Z. Spector. Synchronizing shared abstract types. A CM Transactions on Computer Systems, 2(3), 1984.

Digital Library

Google Scholar

[23]

H.J. Schek, G. Weikum, and H. Ye. Towards a unified theory of concurrency control and recovery. Technical report, Department of Computer Science, ETH Zurich, December 1992.

Google Scholar

[24]

J. Veijalainen. Transaction concepts in autonomous database environments. PhD thesis, GMD-Bericht Nr.183. Oldenbourg Verlag, 1990.

Google Scholar

[25]

W.E. Weihl. Commutativity-based concurrency control for abstract data types. IEEE Transactions on Computers, 37(12), 1988.

Digital Library

Google Scholar

[26]

W.E. Weihl. The impact of recovery on concurrency control. Proc. A CM Principles of Database Systems, 1989.

Digital Library

Google Scholar

[27]

G. Weikum. Principles and realization strategies of multilevel tranaaction management. A CM Transactions on Database Sys. tems, 16(1), March 1991.

Digital Library

Google Scholar

Cited By

View all

Sippu SSoisalon-Soininen ESippu SSoisalon-Soininen E(2014)Advanced Locking ProtocolsTransaction Processing10.1007/978-3-319-12292-2_9(221-236)Online publication date: 16-Nov-2014
https://doi.org/10.1007/978-3-319-12292-2_9
Sippu SSoisalon-Soininen ESippu SSoisalon-Soininen E(2014)B-Tree Structure ModificationsTransaction Processing10.1007/978-3-319-12292-2_8(185-219)Online publication date: 17-Nov-2014
https://doi.org/10.1007/978-3-319-12292-2_8
Sippu SSoisalon-Soininen ESippu SSoisalon-Soininen E(2014)B-Tree TraversalsTransaction Processing10.1007/978-3-319-12292-2_7(159-183)Online publication date: 17-Nov-2014
https://doi.org/10.1007/978-3-319-12292-2_7
Show More Cited By

Index Terms

Towards a unified theory of concurrency control and recovery

Recommendations

Semantic recovery and concurrency control for object bases
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 ...
Modular Concurrency Control and Failure Recovery

An approach to concurrency control is presented; it is based on the decomposition of both the database and the individual transactions. This approach is a generalization of serializability theory in that the set of permissible transaction schedules ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

PODS '93: Proceedings of the twelfth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems

August 1993

312 pages

ISBN:0897915933

DOI:10.1145/153850

Chairman:
Catriel Beeri

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 August 1993

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Conference

SIGMOD/PODS93

Sponsor:

SIGMOD/PODS93: Joint ACM SIGMOD International Conference on Management of Data and ACM SIGMOD

May 25 - 28, 1993

D.C., Washington, USA

Acceptance Rates

PODS '93 Paper Acceptance Rate 26 of 115 submissions, 23%;

Overall Acceptance Rate 642 of 2,707 submissions, 24%

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

39
Total Citations
View Citations
374
Total Downloads

Downloads (Last 12 months)36
Downloads (Last 6 weeks)3

Reflects downloads up to 21 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Sippu SSoisalon-Soininen ESippu SSoisalon-Soininen E(2014)Advanced Locking ProtocolsTransaction Processing10.1007/978-3-319-12292-2_9(221-236)Online publication date: 16-Nov-2014
https://doi.org/10.1007/978-3-319-12292-2_9
Sippu SSoisalon-Soininen ESippu SSoisalon-Soininen E(2014)B-Tree Structure ModificationsTransaction Processing10.1007/978-3-319-12292-2_8(185-219)Online publication date: 17-Nov-2014
https://doi.org/10.1007/978-3-319-12292-2_8
Sippu SSoisalon-Soininen ESippu SSoisalon-Soininen E(2014)B-Tree TraversalsTransaction Processing10.1007/978-3-319-12292-2_7(159-183)Online publication date: 17-Nov-2014
https://doi.org/10.1007/978-3-319-12292-2_7
Sippu SSoisalon-Soininen ESippu SSoisalon-Soininen E(2014)Lock-Based Concurrency ControlTransaction Processing10.1007/978-3-319-12292-2_6(125-158)Online publication date: 17-Nov-2014
https://doi.org/10.1007/978-3-319-12292-2_6
Sippu SSoisalon-Soininen ESippu SSoisalon-Soininen E(2014)Transactional IsolationTransaction Processing10.1007/978-3-319-12292-2_5(101-124)Online publication date: 17-Nov-2014
https://doi.org/10.1007/978-3-319-12292-2_5
Sippu SSoisalon-Soininen ESippu SSoisalon-Soininen E(2014)Transaction Rollback and Restart RecoveryTransaction Processing10.1007/978-3-319-12292-2_4(65-99)Online publication date: 17-Nov-2014
https://doi.org/10.1007/978-3-319-12292-2_4
Sippu SSoisalon-Soininen ESippu SSoisalon-Soininen E(2014)Logging and BufferingTransaction Processing10.1007/978-3-319-12292-2_3(45-64)Online publication date: 17-Nov-2014
https://doi.org/10.1007/978-3-319-12292-2_3
Sippu SSoisalon-Soininen ESippu SSoisalon-Soininen E(2014)Operations on the Physical DatabaseTransaction Processing10.1007/978-3-319-12292-2_2(25-44)Online publication date: 17-Nov-2014
https://doi.org/10.1007/978-3-319-12292-2_2
Sippu SSoisalon-Soininen ESippu SSoisalon-Soininen E(2014)Processing of Write-Intensive TransactionsTransaction Processing10.1007/978-3-319-12292-2_15(351-369)Online publication date: 17-Nov-2014
https://doi.org/10.1007/978-3-319-12292-2_15
Sippu SSoisalon-Soininen ESippu SSoisalon-Soininen E(2014)Transactions in Page-Server SystemsTransaction Processing10.1007/978-3-319-12292-2_14(327-349)Online publication date: 16-Nov-2014
https://doi.org/10.1007/978-3-319-12292-2_14
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Login options

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

Cited By

Index Terms

Recommendations

Semantic recovery and concurrency control for object bases

Semantics-based concurrency control: beyond commutativity

Modular Concurrency Control and Failure Recovery