Concurrency Control and Recovery in Database Systems

@book{DBLP:books/aw/BernsteinHG87,
  author    = {Philip A. Bernstein and
               Vassos Hadzilacos and
               Nathan Goodman},
  title     = {Concurrency Control and Recovery in Database Systems},
  publisher = {Addison-Wesley},
  year      = {1987},
  isbn      = {0-201-10715-5},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

I am pleased to announce the free on-line availability of the book "Concurrency Control and Recovery in Database Systems," by Philip A. Bernstein, Vassos Hadzilacos, and Nathan Goodman. You can download it from http://research.microsoft.com/pubs/ccontrol/ in Adobe Acrobat format (.pdf), subject to the notice that appears on the copyright page.

This is the original 1987 version, not a new edition. The book is being made available electronically because the hard cover version, published by Addison-Wesley Longman, is out of print.

Phil Bernstein

ACM SIGMOD Anthology

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the CD and click on the path of your mount point:
  /Anthology/An4-1 or /cdrom

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the DVD and click on the path of your mount point:
  /Anthology/aDVD2 or /dvd

Contents

1. The Problem
2. Serializability Theory
3. Two Phase Locking
4. Non-Locking Schedulers
5. Multiversion Concurrency Control
6. Centralized Recovery
7. Distributed Recovery
8. Replicated Data

References

[Acharya, Buckley 85]

Shridhar Acharya, Gael N. Buckley: Transaction Restarts in Prolog Database Systems. SIGMOD Conference 1985: 364-373

[Agrawal et al. 86]

...

[Agrawal, Carey, Livny 85]

Rakesh Agrawal, Michael J. Carey, Miron Livny: Models for Studying Concurrency Control Performance: Alternatives and Implications. SIGMOD Conference 1985: 108-121

[Agrawal, DeWitt 85a]

Rakesh Agrawal, David J. DeWitt: Recovery Architectures for Multiprocessor Database Machines. SIGMOD Conference 1985: 131-145

[Agrawal, DeWitt 85b]

Rakesh Agrawal, David J. DeWitt: Integrated Concurrency Control and Recovery Mechanisms: Design and Performance Evaluation. ACM Trans. Database Syst. 10(4): 529-564(1985)

[Allchin, McKendry 83]

James E. Allchin, Martin S. McKendry: Synchronization and Recovery of Actions. PODC 1983: 31-44

[Alsberg, Day 76a]

Peter Alsberg, J. D. Day: A Principle for Resilient Sharing of Distributed Resources. ICSE 1976: 562-570

[Alsberg et al. 76b]

...

[Anderson, Lee 81]

...

[Andler et al. 82]

Sten Andler, I. Ding, Kapali P. Eswaran, Carl Hauser, Won Kim, James W. Mehl, R. Williams: System D: A Distributed System for Availability. VLDB 1982: 33-44

[Attar, Bernstein, Goodman 84]

Rony Attar, Philip A. Bernstein, Nathan Goodman: Site Initialization, Recovery, and Backup in a Distributed Database System. IEEE Trans. Software Eng. 10(6): 645-650(1984)

[Badal 79]

...

[Badal 80a]

Dushan Z. Badal: On the Degree of Concurrency Provided by Concurrency Control Mechanisms for Distributed Databases. DDB 1980: 35-48

[Badal 80b]

Dushan Z. Badal: The Analysis of the Effects of Concurrency Control on Distributed Database System Performance. VLDB 1980: 376-383

[Badal 81]

Dushan Z. Badal: Concurrency Control Overhead or Closer Look at Blocking vs. Nonblocking Concurrency Control Mechanisms. Berkeley Workshop 1981: 85-104

[Badal, Popek 78]

Dushan Z. Badal, Gerald J. Popek: A Proposal for Distributed Concurrency Control for Partially Redundant Distributed Data Base Systems. Berkeley Workshop 1978: 273-285

[Balter, Berard, Decitre 82]

R. Balter, P. Berard, Paul Decitre: Why Control of the Concurrency Level in Distributed Systems is More Fundamental Than Deadlock Management. PODC 1982: 183-193

[Barbara, Garcia-Molina 84]

Daniel Barbará, Hector Garcia-Molina: The Vulnerability of Voting Mechanisms. Symposium on Reliability in Distributed Software and Database Systems 1984: 45-53

[Barlett 82]

...

[Bayer 83]

Rudolf Bayer: Database System Design for High Performance. IFIP Congress 1983: 147-155

[Bayer et al. 80a]

Rudolf Bayer, Klaus Elhardt, Hans Heller, Angelika Reiser: Distributed Concurrency Control in Database Systems. VLDB 1980: 275-284

[Bayer, Heller, Reiser 80b]

Rudolf Bayer, Hans Heller, Angelika Reiser: Parallelism and Recovery in Database Systems. ACM Trans. Database Syst. 5(2): 139-156(1980)

[Bayer, McCreight 72]

Rudolf Bayer, Edward M. McCreight: Organization and Maintenance of Large Ordered Indices. Acta Inf. 1: 173-189(1972)

[Bayer, Schkolnick 77]

Rudolf Bayer, Mario Schkolnick: Concurrency of Operations on B-Trees. Acta Inf. 9: 1-21(1977)

[Beeri et al. 83]

Catriel Beeri, Philip A. Bernstein, Nathan Goodman: A Concurrency Control Theory for Nested Transactions. PODC 1983: 45-62

[Beeri, Obermarck 81]

Catriel Beeri, Ron Obermarck: A Resource Class Independent Deadlock Detection Algorithm. VLDB 1981: 166-178

[Belford, Schwartz, Sluizer 76]

...

[Ben-Ari 82]

...

[Bernstein et al. 78]

Philip A. Bernstein, James B. Rothnie Jr., Nathan Goodman, Christos H. Papadimitriou: The Concurrency Control Mechanism of SDD-1: A System for Distributed Databases (The Fully Redundant Case). IEEE Trans. Software Eng. 4(3): 154-168(1978)

[Bernstein, Goodman 79]

...

[Bernstein, Goodman 81]

Philip A. Bernstein, Nathan Goodman: Concurrency Control in Distributed Database Systems. ACM Comput. Surv. 13(2): 185-221(1981)

[Bernstein, Goodman 82]

Philip A. Bernstein, Nathan Goodman: A Sophisticate's Introduction to Distributed Concurrency Control (Invited Paper). VLDB 1982: 62-76

[Bernstein, Goodman 83]

Philip A. Bernstein, Nathan Goodman: Multiversion Concurrency Control - Theory and Algorithms. ACM Trans. Database Syst. 8(4): 465-483(1983)

[Bernstein, Goodman 84]

Philip A. Bernstein, Nathan Goodman: An Algorithm for Concurrency Control and Recovery in Replicated Distributed Databases. ACM Trans. Database Syst. 9(4): 596-615(1984)

[Bernstein, Goodman 86a]

Philip A. Bernstein, Nathan Goodman: Serializability Theory for Replicated Databases. J. Comput. Syst. Sci. 31(3): 355-374(1985)

[Bernstein, Goodman 86b]

Philip A. Bernstein, Nathan Goodman: A Proof Technique for Concurrency Control and Recovery Algorithms for Replicated Databases. Distributed Computing 2(1): 32-44(1987)

[Bernstein, Goodman, Hadzilacos 83]

Philip A. Bernstein, Nathan Goodman, Vassos Hadzilacos: Recovery Algorithms for Database Systems. IFIP Congress 1983: 799-807

[Bernstein, Goodman, Lai 83]

Philip A. Bernstein, Nathan Goodman, Ming-Yee Lai: Analyzing Concurrency Control Algorithms When User and System Operations Differ. IEEE Trans. Software Eng. 9(3): 233-239(1983)

[Bernstein, Shipman 80]

Philip A. Bernstein, David W. Shipman: The Correctness of Concurrency Control Mechanisms in a System for Distributed Databases (SDD-1). ACM Trans. Database Syst. 5(1): 52-68(1980)

[Bernstein, Shipman, Rothnie 80]

Philip A. Bernstein, David W. Shipman, James B. Rothnie Jr.: Concurrency Control in a System for Distributed Databases (SDD-1). ACM Trans. Database Syst. 5(1): 18-51(1980)

[Bernstein, Shipman, Wong 79]

Philip A. Bernstein, David W. Shipman, Wing S. Wong: Formal Aspects of Serializability in Database Concurrency Control. IEEE Trans. Software Eng. 5(3): 203-216(1979)

[Bhargava 82]

...

[Birman 86]

...

[Birman et al. 84]

Kenneth P. Birman, Thomas A. Joseph, Thomas Räuchle, Amr El Abbadi: Implementing Fault-Tolerant Distributed Objects. Symposium on Reliability in Distributed Software and Database Systems 1984: 124-133

[Bjork 73]

...

[Bjork, Davis 72]

...

[Blasgen et al. 79]

Mike W. Blasgen, Jim Gray, Michael F. Mitoma, Thomas G. Price: The Convoy Phenomenon. Operating Systems Review 13(2): 20-25(1979)

[Blaustein et al. 83]

...

[Borr 81]

Andrea J. Borr: Transaction Monitoring in ENCOMPASS: Reliable Distributed Transaction Processing. VLDB 1981: 155-165

[Breitwieser, Kersen 79]

H. Breitwieser, U. Kersten: Transaction and Catalog Management of the Distributed File Management System DISCO. VLDB 1979: 340-350

[Breitwieser, Leszak 82]

H. Breitwieser, M. Leszak: A Distributed Transaction Processing Protocol Based on Majority Consensus. PODC 1982: 224-237

[Briatico, Ciuffoletti, Simoncini 84]

D. Briatico, Augusto Ciuffoletti, Luca Simoncini: A Distributed Domino-Effect free recovery Algorithm. Symposium on Reliability in Distributed Software and Database Systems 1984: 207-215

[Brinch Hansen 73]

...

[Buckley, Silberschatz 84]

Gael N. Buckley, Abraham Silberschatz: Concurrency Control in Graph Protocols by Using Edge Locks. PODS 1984: 45-50

[Carey 83]

Michael J. Carey: Granularity Hierarchies in Concurrency Control. PODS 1983: 156-165

[Carey, Stonebraker 84]

Michael J. Carey, Michael Stonebraker: The Performance of Concurrency Control Algorithms for Database Management Systems. VLDB 1984: 107-118

[Casanova 81]

Marco A. Casanova: The Concurrency Control Problem for Database Systems. Lecture Notes in Computer Science Vol. 116 Springer 1981, ISBN 3-540-10845-9

[Casanova, Bernstein 80]

Marco A. Casanova, Philip A. Bernstein: General Purpose Schedulers for Database Systems. Acta Inf. 14: 195-220(1980)

[Casanova, Moura, Tucherman 85]

Marco A. Casanova, Arnaldo V. Moura, Luiz Tucherman: On the Correctness of a Local Storage Subsystem. PODS 1985: 123-134

[Ceri, Owicki 82]

Stefano Ceri, Susan S. Owicki: On the Use of Optimistic Methods for Concurrency Control in Distributed Databases. Berkeley Workshop 1982: 117-129

[Ceri, Pelagatti 84]

Stefano Ceri, Giuseppe Pelagatti: Distributed Databases: Principles and Systems. McGraw-Hill Book Company 1984, ISBN 0-07-010829-3

[Chamberlin, Boyce, Traiger 74]

Donald D. Chamberlin, Raymond F. Boyce, Irving L. Traiger: A Deadlock-Free Scheme for Resource Locking in a Data-Base Environment. IFIP Congress 1974: 340-343

[Chan et al. 82]

Arvola Chan, Stephen Fox, Wen-Te K. Lin, Anil Nori, Daniel R. Ries: The Implementation of an Integrated Concurrency Control and Recovery Scheme. SIGMOD Conference 1982: 184-191

[Chan, Gray 85]

Arvola Chan, Robert Gray: Implementing Distributed Read-Only Transactions. IEEE Trans. Software Eng. 11(2): 205-212(1985)

[Chan, Skeen 86]

...

[Chandy, Lamport 85]

K. Mani Chandy, Leslie Lamport: Distributed Snapshots: Determining Global States of Distributed Systems. ACM Trans. Comput. Syst. 3(1): 63-75(1985)

[Chandy, Misra 82]

K. Mani Chandy, Jayadev Misra: A Distributed Algorithm for Detecting Resource Deadlocks in Distributed Systems. PODC 1982: 157-164

[Chandy, Misra, Haas 83]

K. Mani Chandy, Jayadev Misra, Laura M. Haas: Distributed Deadlock Detection. ACM Trans. Comput. Syst. 1(2): 144-156(1983)

[Cheng, Belford 80]

Wing Kai Cheng, Geneva G. Belford: Update Synchronization in Distributed Databases. VLDB 1980: 301-308

[Cheng, Belford 82]

Wing Kai Cheng, Geneva G. Belford: The Resiliency of Fully Replicated Distributed Databases. Berkeley Workshop 1982: 23-44

[Chesnais, Gelenbe, Mitrani 83]

A. Chesnais, Erol Gelenbe, Isi Mitrani: On the Modeling of Parallel Access to Shared Data. Commun. ACM 26(3): 196-202(1983)

[Cheung, Kameda 85]

David Wai-Lok Cheung, Tiko Kameda: Site Optimal Termination Protocols for a Distributed Database under Network Partitioning. PODC 1985: 111-121

[Chin, Ramarao 83]

Francis Y. L. Chin, K. V. S. Ramarao: Optimal Termination Prococols for Network Partitioning. PODS 1983: 25-35

[Chu, Ohlmacher 74]

...

[Coffman, Elphick, Shoshani 71]

Edward G. Coffman Jr., M. J. Elphick, Arie Shoshani: System Deadlocks. ACM Comput. Surv. 3(2): 67-78(1971)

[Coffman 81]

Edward G. Coffman Jr., Erol Gelenbe, Brigitte Plateau: Optimization of the Number of Copies in a Distributed Data Base. IEEE Trans. Software Eng. 7(1): 78-84(1981)

[Comer 79]

Douglas Comer: The Ubiquitous B-Tree. ACM Comput. Surv. 11(2): 121-137(1979)

[Cooper 82]

Eric C. Cooper: Analysis of Distributed Commit Protocols. SIGMOD Conference 1982: 175-183

[Croker, Maier 86]

Albert Croker, David Maier: A Dynamic Tree-Locking Protocol. ICDE 1986: 49-56

[Crus 84]

Richard A. Crus: Data Recovery in IBM Database 2. IBM Systems Journal 23(2): 178-188(1984)

[Dadam, Schlageter 80]

Peter Dadam, Gunter Schlageter: Recovery in Distributed Databases Based on Non-Synchronized Local Checkpoints. IFIP Congress 1980: 457-462

[Daniels, Spector 83]

Dean S. Daniels, Alfred Z. Spector: An Algorithm for Replicated Directories. PODC 1983: 104-113

[Date 85]

C. J. Date: An Introduction to Database Systems, Volume I, 4th Edition. Addison-Wesley 1986

[Davidson 84]

Susan B. Davidson: Optimism and Consistency In Partitioned Distributed Database Systems. ACM Trans. Database Syst. 9(3): 456-481(1984)

[Davidson, Garcia-Molina, Skeen 85]

Susan B. Davidson, Hector Garcia-Molina, Dale Skeen: Consistency in Partitioned Networks. ACM Comput. Surv. 17(3): 341-370(1985)

[Davies 73]

...

[Deppe, Fry 76]

...

[Devor, Carlson 82]

Cory Devor, C. Robert Carlson: Structural locking mechanisms and their effect on database management system performance. Inf. Syst. 7(4): 345-358(1982)

[Dijkstra 71]

Edsger W. Dijkstra: Hierarchical Ordering of Sequential Processes. Acta Inf. 1: 115-138(1971)

[Dubourdieu 82]

Deborah DuBourdieux: Implementation of Distributed Transactions. Berkeley Workshop 1982: 81-94

[Dwork, Skeen 83]

Cynthia Dwork, Dale Skeen: The Inherent Cost of Nonblocking Commitment. PODC 1983: 1-11

[Eager 81]

...

[Eager, Sevcik 83]

Derek L. Eager, Kenneth C. Sevcik: Achieving Robustness in Distributed Database Systems. ACM Trans. Database Syst. 8(3): 354-381(1983)

[Effelsberg, Haerder 84]

Wolfgang Effelsberg, Theo Härder: Principles of Database Buffer Management. ACM Trans. Database Syst. 9(4): 560-595(1984)

[El Abbadi, Skeen, Cristian 85]

Amr El Abbadi, Dale Skeen, Flaviu Cristian: An Efficient, Fault-Tolerant Protocol for Replicated Data Management. PODS 1985: 215-229

[El Abbadi, Toueg 86]

Amr El Abbadi, Sam Toueg: Availability in Partitioned Replicated Databases. PODS 1986: 240-251

[Elhardt, Bayer 84]

Klaus Elhardt, Rudolf Bayer: A Database Cache for High Performance and Fast Restart in Database Systems. ACM Trans. Database Syst. 9(4): 503-525(1984)

[Ellis 77]

Clarence A. Ellis: A Robust Algorithm for Updating Duplicate Databases. Berkeley Workshop 1977: 146-158

[Ellis 80]

Carla Schlatter Ellis: Concurrent Search and Insertion in 2-3 Trees. Acta Inf. 14: 63-86,(1980)

[Ellis 83]

Carla Schlatter Ellis: Extendible Hashing for Concurrent Operations and Distributed Data. PODS 1983: 106-116

[Elmagarmid, Sheth, Liu 86]

Ahmed K. Elmagarmid, Amit P. Sheth, Ming T. Liu: Deadlock Detection Algorithms in Distributed Database Systems. ICDE 1986: 556-564

[Eswaran et al. 76]

Kapali P. Eswaran, Jim Gray, Raymond A. Lorie, Irving L. Traiger: The Notions of Consistency and Predicate Locks in a Database System. Commun. ACM 19(11): 624-633(1976)

[Fischer 83]

...

[Fischer, Griffeth, Lynch 81]

...

[Fischer, Lynch 82]

Michael J. Fischer, Nancy A. Lynch: A Lower Bound for the Time to Assure Interactive Consistency. Inf. Process. Lett. 14(4): 183-186(1982)

[Fischer, Lynch, Paterson 83]

Michael J. Fischer, Nancy A. Lynch, Mike Paterson: Impossibility of Distributed Consensus with One Faulty Process. PODS 1983: 1-7

[Fischer, Michael 82]

Michael J. Fischer, A. Michael: Sacrificing Serializability to Attain High Availability of Data. PODS 1982: 70-75

[Ford, Calhoun 84]

Ray Ford, Jim Calhoun: Concurrency Control Mechanisms and the Serializability of Concurrent Tree Algorithms. PODS 1984: 51-60

[Ford, Schultz, Jiping 84]

Ray Ford, Roger K. Shultz, Michael J. Jipping: Performance Evaluation of Distributed Concurrency Control Mechanisms. Symposium on Reliability in Distributed Software and Database Systems 1984: 84-89

[Franazek, Robinson 85]

Peter A. Franaszek, John T. Robinson: Limitations of Concurrency in Transaction Processing. ACM Trans. Database Syst. 10(1): 1-28(1985)

[Fussell, Kedem, Silberschatz 81a]

Donald S. Fussell, Zvi M. Kedem, Abraham Silberschatz: A Theory of Correct Locking Protocols for Database Systems. VLDB 1981: 112-124

[Fussell, Kedem, Silberschatz 81b]

Donald S. Fussell, Zvi M. Kedem, Abraham Silberschatz: Deadlock Removal Using Partial Rollback in Database Systems. SIGMOD Conference 1981: 65-73

[Gafni 85]

Eli Gafni: Improvements in the Time Complexity of Two Message-Optimal Election Algorithms. PODC 1985: 175-185

[Galler 82]

...

[Galler, Bos 83]

...

[Garcia-Molina 78]

Hector Garcia-Molina: Performance Comparison of Two Update Algorithms for Distributed Databases. Berkeley Workshop 1978: 108-119

[Garcia-Molina 79a]

Hector Garcia-Molina: A Concurrency Control Mechanism for Distributed Databases Which Users Centralized Locking Controllers. Berkeley Workshop 1979: 113-

[Garcia-Molina 79b]

...

[Garcia-Molina 82]

Hector Garcia-Molina: Elections in a Distributed Computing System. IEEE Trans. Computers 31(1): 48-59(1982)

[Garcia-Molina 83]

Hector Garcia-Molina: Using Semantic Knowledge for Transaction Processing in Distributed Database. ACM Trans. Database Syst. 8(2): 186-213(1983)

[Garcia-Molina 86]

Hector Garcia-Molina: The Future of Data Replication. Symposium on Reliability in Distributed Software and Database Systems 1986: 13-19

[Garcia-Molina et al. 83]

Hector Garcia-Molina, Tim Allen, Barbara T. Blaustein, R. Mark Chilenskas, Daniel R. Ries: Data-Pach: Integrating Inconsistent Copies of a Database After a Partition. Symposium on Reliability in Distributed Software and Database Systems 1983: 38-44

[Garcia-Molina, Barbara 83]

Hector Garcia-Molina, Daniel Barbará: How to Assign Votes in a Distributed System. J. ACM 32(4): 841-860(1985)

[Garcia-Molina, Kent, Chung 85]

Jack Kent, Hector Garcia-Molina, Jae Chung: An Experimental Evaluation of Crash Recovery Mechanisms. PODS 1985: 113-122

[Garcia-Molina, Pittelli, Davidson 86]

Hector Garcia-Molina, Frank M. Pittelli, Susan B. Davidson: Applications of Byzantine Agreement in Database Systems. ACM Trans. Database Syst. 11(1): 27-47(1986)

[Garcia-Molina, Wiederhold 82]

Hector Garcia-Molina, Gio Wiederhold: Read-Only Transactions in a Distributed Database. ACM Trans. Database Syst. 7(2): 209-234(1982)

[Gardarin, Chu 79]

...

[Gardarin, Chu 80]

Georges Gardarin, Wesley W. Chu: A Distributed Control Algorithm for Reliably and Consistently Updating Replicated Databases. IEEE Trans. Computers 29(12): 1060-1068(1980)

[Gardarin, Lebaux 79]

...

[Garey, Johnson 79]

M. R. Garey, David S. Johnson: Computers and Intractability: A Guide to the Theory of NP-Completeness. W. H. Freeman 1979, ISBN 0-7167-1044-7

[Gawlick, Kinkade 85]

Dieter Gawlick, David Kinkade: Varieties of Concurrency Control in IMS/VS Fast Path. IEEE Database Eng. Bull. 8(2): 3-10(1985)

[Gelenbe, Hebrail 86]

Erol Gelenbe, Georges Hébrail: A Probability Model of Uncertainty in Data Bases. ICDE 1986: 328-333

[Gelenbe, Sevcik 78]

Erol Gelenbe, Kenneth C. Sevcik: Analysis of Update Synchronization for Multiple Copy Data-Bases. Berkeley Workshop 1978: 69-90

[Gifford 79]

David K. Gifford: Weighted Voting for Replicated Data. SOSP 1979: 150-162

[Gligor, Shattuck 80]

Virgil D. Gligor, Susan H. Shattuck: On Deadlock Detection in Distributed Systems. IEEE Trans. Software Eng. 6(5): 435-440(1980)

[Gold, Boral 86]

Israel Gold, Haran Boral: The power of the private workspace model. Inf. Syst. 11(1): 1-7(1986)

[Goodman, Shasha 85]

Nathan Goodman, Dennis Shasha: Semantically-based Concurrency Control for Search Structures. PODS 1985: 8-19

[Goodman et al. 83]

Nathan Goodman, Dale Skeen, Arvola Chan, Umeshwar Dayal, Stephen Fox, Daniel R. Ries: A Recovery Algorithm for a Distributed Database System. PODS 1983: 8-15

[Goodman, Suri, Tay 83]

Nathan Goodman, Rajan Suri, Y. C. Tay: A Simple Analytic Model for Performance of Exclusive Locking in Database Systems. PODS 1983: 203-215

[Graham, Griffeth 84]

Marc H. Graham, Nancy D. Griffeth, Barbara Smith-Thomas: Reliable Scheduling of Database Transactions for Unreliable Systems. PODS 1984: 300-310

[Gray 78]

Jim Gray: Notes on Data Base Operating Systems. Advanced Course: Operating Systems 1978: 393-481

[Gray 80]

Jim Gray: A Transaction Model. ICALP 1980: 282-298

[Gray 81]

Jim Gray: The Transaction Concept: Virtues and Limitations (Invited Paper). VLDB 1981: 144-154

[Gray 86]

Jim Gray: Why Do Computers Stop and What Can Be Done About It? Symposium on Reliability in Distributed Software and Database Systems 1986: 3-12

[Gray et al. 75]

Jim Gray, Raymond A. Lorie, Gianfranco R. Putzolu, Irving L. Traiger: Granularity of Locks and Degrees of Consistency in a Shared Data Base. IFIP Working Conference on Modelling in Data Base Management Systems 1976: 365-394

[Gray et al. 81a]

Jim Gray, Paul R. McJones, Mike W. Blasgen, Bruce G. Lindsay, Raymond A. Lorie, Thomas G. Price, Gianfranco R. Putzolu, Irving L. Traiger: The Recovery Manager of the System R Database Manager. ACM Comput. Surv. 13(2): 223-243(1981)

[Gray et al. 81b]

Jim Gray, Pete Homan, Henry F. Korth, Ron Obermarck: A Straw Man Analysis of the Probability of Waiting and Deadlock in a Database System. Berkeley Workshop 1981: 125

[Gray, Lorie, Putzolu 75]

Jim Gray, Raymond A. Lorie, Gianfranco R. Putzolu, Irving L. Traiger: Granularity of Locks in a Large Shared Data Base. VLDB 1975: 428-451

[Griffeth, Miller 84]

Nancy D. Griffeth, John A. Miller: Performance Modeling of Database Recovery Protocols. Symposium on Reliability in Distributed Software and Database Systems 1984: 75-83

[Hadzilacos, Papadimitriou 85]

Thanasis Hadzilacos, Christos H. Papadimitriou: Algorithmic Aspects of Multiversion Concurrency Control. PODS 1985: 96-104

[Hadzilacos, Yannakakis 86]

Thanasis Hadzilacos, Mihalis Yannakakis: Deleting Completed Transactions. PODS 1986: 43-46

[Hadzilacos 82]

Vassos Hadzilacos: An Algorithm for Minimizing Roll Back Cost. PODS 1982: 93-97

[Hadzilacos 83]

Vassos Hadzilacos: An Operational Model for Database System Reliability. PODS 1983: 244-257

[Hadzilacos 86]

Vassos Hadzilacos: A theory of reliability in database systems. J. ACM 35(1): 121-145(1988)

[Haerder 84]

Theo Härder: Observations on optimistic concurrency control schemes. Inf. Syst. 9(2): 111-120(1984)

[Haerder, Reuter 79]

Theo Härder, Andreas Reuter: Optimization of Logging and Recovery in a Database System. IFIP TC-2 Working Conference on Data Base Architecture 1979: 139-156

[Haerder, Reuter 83]

Theo Härder, Andreas Reuter: Principles of Transaction-Oriented Database Recovery. ACM Comput. Surv. 15(4): 287-317(1983)

[Hammer, Shipman 80]

Michael Hammer, David W. Shipman: Reliability Mechanisms for SDD-1: A System for Distributed Databases. ACM Trans. Database Syst. 5(4): 431-466(1980)

[Herlihy 86]

Maurice Herlihy: A Quorum-Consensus Replication Method for Abstract Data Types. ACM Trans. Comput. Syst. 4(1): 32-53(1986)

[Hewitt 74]

...

[Hoare 74]

C. A. R. Hoare: Monitors: An Operating System Structuring Concept. Commun. ACM 17(10): 549-557(1974)

[Holt 72]

Richard C. Holt: Some Deadlock Properties of Computer Systems. ACM Comput. Surv. 4(3): 179-196(1972)

[Holt 83]

...

[Holt et al. 78]

...

[Horning et al. 74]

...

[Hua, Bhargava 82]

...

[Hunt, Rosenkrantz 79]

Harry B. Hunt III, Daniel J. Rosenkrantz: The Complexity of Testing Predicate Locks. SIGMOD Conference 1979: 127-133

[Ibaraki, Kameda 83]

...

[Irani, Lin 79]

Keki B. Irani, Hing-Lung Lin: Queuing Network Models for Concurrent Transaction Processing in a Database System. SIGMOD Conference 1979: 134-142

[Isloor, Marsland 80]

...

[Jefferson, Motro 86]

David R. Jefferson, Amihai Motro: The Time Warp Mechanism for Database Concurrency Control. ICDE 1986: 474-481

[Jordan, Banerjee, Batman 81]

J. R. Jordan, J. Banerjee, R. B. Batman: Precision Locks. SIGMOD Conference 1981: 143-147

[Joseph, Birman 86]

Thomas A. Joseph, Kenneth P. Birman: Low Cost Management of Replicated Data in Fault-Tolerant Distributed Systems. ACM Trans. Comput. Syst. 4(1): 54-70(1986)

[Kaneko et al. 79]

...

[Kanellakis, Papadimitriou 81]

Paris C. Kanellakis, Christos H. Papadimitriou: The Complexity of Distributed Concurrency Control. FOCS 1981: 185-197

[Kanellakis, Papadimitriou 82]

Paris C. Kanellakis, Christos H. Papadimitriou: Is Distributed Locking Harder? PODS 1982: 98-107

[Kawazu et al. 79]

Seiichi Kawazu, Susumu Minami, Kenji Itoh, Katsuni Teranaka: Two-Phase Deadlock Detection Algorithm in Distributed Databases. VLDB 1979: 360-367

[Kedem 83]

Zvi M. Kedem, Abraham Silberschatz: Locking Protocols: From Exclusive to Shared Locks. J. ACM 30(4): 787-804(1983)

[Kedem, Silberschatz 81]

Zvi M. Kedem, Abraham Silberschatz: A Characterization of Database Graphs Admitting a Simple Locking Protocol. Acta Inf. 16: 1-13(1981)

[Kersten, Tebra 84]

Martin L. Kersten, Hans Tebra: Application of an Optimistic Concurrency Control Method. Softw., Pract. Exper. 14(2): 153-168(1984)

[Kiessling, Landherr 83]

Werner Kießling, G. Landherr: A Quantitative Comparison of Lockprotocols for Centralized Databases. VLDB 1983: 120-130

[Kim 79]

...

[King, Collmeyer 74]

...

[Klahold et al. 85]

Peter Klahold, Gunter Schlageter, Rainer Unland, Wolfgang Wilkes: A Transaction Model Supporting Complex Applications in Integrated Information Systems. SIGMOD Conference 1985: 388-401

[Kohler 81]

Walter H. Kohler: A Survey of Techniques for Synchronization and Recovery in Decentralized Computer Systems. ACM Comput. Surv. 13(2): 149-183(1981)

[Koon, Ozsu 86]

Tse-Men Koon, M. Tamer Özsu: Performance Comparison of Resilent Concurrency Control Algorithms for Distributed Databases. ICDE 1986: 565-573

[Korth 82]

Henry F. Korth: Deadlock Freedom Using Edge Locks. ACM Trans. Database Syst. 7(4): 632-652(1982)

[Korth 83]

Henry F. Korth: Locking Primitives in a Database System. J. ACM 30(1): 55-79(1983)

[Korth et al. 83]

Henry F. Korth, Ravi Krishnamurthy, Anil Nigam, John T. Robinson: A Framework for Understanding Distributed (Deadlock Detection) Algorithms. PODS 1983: 192-202

[Krishnamurthy, Dayal 82]

Ravi Krishnamurthy, Umeshwar Dayal: Theory of Serializability for a Parallel Model of Transactions. PODS 1982: 293-305

[Kung, Lehman 80]

H. T. Kung, Philip L. Lehman: Concurrent Manipulation of Binary Search Trees. ACM Trans. Database Syst. 5(3): 354-382(1980)

[Kung, Papadimitriou 79]

H. T. Kung, Christos H. Papadimitriou: An Optimality Theory of Concurrency Control for Databases. SIGMOD Conference 1979: 116-126

[Kung, Robinson 81]

H. T. Kung, John T. Robinson: On Optimistic Methods for Concurrency Control. ACM Trans. Database Syst. 6(2): 213-226(1981)

[Kuss 82]

Herbert Kuss: On Totally Ordering Checkpoints in Distributed Data Bases. SIGMOD Conference 1982: 174, 293-302

[Kwong, Wood 82]

Yat-Sang Kwong, Derick Wood: A New Method for Concurrency in B-Trees. IEEE Trans. Software Eng. 8(3): 211-222(1982)

[Lai, Wilkinson 84]

Ming-Yee Lai, W. Kevin Wilkinson: Distributed Transaction Management in Jasmin. VLDB 1984: 466-470

[Lakshman, Agrawala 86]

T. V. Lakshman, Ashok K. Agrawala: O(N * sqrt(N)) Decentralized Commit Protocols. Symposium on Reliability in Distributed Software and Database Systems 1986: 104-110

[Lamport 78a]

...

[Lamport 78b]

Leslie Lamport: Time, Clocks, and the Ordering of Events in a Distributed System. Commun. ACM 21(7): 558-565(1978)

[Lampson 81]

Butler W. Lampson: Atomic Transactions. Advanced Course: Distributed Systems 1980: 246-265

[Lampson, Sturgis 76]

...

[Langer, Shum 82]

A. M. Langer, Annie W. Shum: The Distribution of Granule Accesses Made by Database Transactions. Commun. ACM 25(11): 831-832(1982)

[Lausen 81]

Georg Lausen: Serializability Problems of Interleaved Database Transactions. ECI 1981: 252-265

[Lausen 83]

Georg Lausen: Formal aspects of optimistic concurrency control in a multiple version database system. Inf. Syst. 8(4): 291-301(1983)

[Lausen, Soisalon-Soinien, Widmayer 84]

Georg Lausen, Eljas Soisalon-Soininen, Peter Widmayer: Maximal Concurrency by Locking. PODS 1984: 38-44

[Lavenberg 84]

Stephen S. Lavenberg: A Simple Analysis of Exclusive and Shared Lock Contention in a Database System. SIGMETRICS 1984: 143-148

[Lee 80]

Chin-Hwa Lee: Queueing Analysis of Global Locking Synchronization Schemes for Multicopy Databases. IEEE Trans. Computers 29(5): 371-384(1980)

[Lehman, Yao 81]

Philip L. Lehman, S. Bing Yao: Efficient Locking for Concurrent Operations on B-Trees. ACM Trans. Database Syst. 6(4): 650-670(1981)

[LeLann 78]

Gérard Le Lann: Algorithms for Distributed Data-Sharing Systems Which Use Tickets. Berkeley Workshop 1978: 259-272

[LeLann 81]

Gérard Le Lann: Error Recovery. Advanced Course: Distributed Systems 1980: 371-376

[Leu, Bhargava 86]

Pei-Jyun Leu, Bharat K. Bhargava: Multidimensional Timestamp Protocols for Concurrency Control. ICDE 1986: 482-489

[Lien, Weinberger 78]

Y. Edmund Lien, Peter J. Weinberger: Consistency, Concurrency and Crash Recovery. SIGMOD Conference 1978: 9-14

[Lin 79]

Wen-Te K. Lin: Concurrency Control in a Multiple Copy Distributed Database System. Berkeley Workshop 1979: 207-220

[Lin 81]

Wen-Te K. Lin: Performance Evaluation of Two Concurrency Control Mechanisms in a Distributed Database System. SIGMOD Conference 1981: 84-92

[Lin et al. 82]

...

[Lin, Nolte 82a]

...

[Lin, Nolte 82b]

Wen-Te K. Lin, Jerry Nolte: Performance of Two Phase Locking. Berkeley Workshop 1982: 131-160

[Lindsay 79]

...

[Lindsay 80]

...

[Lindsay et al. 84]

Bruce G. Lindsay, Laura M. Haas, C. Mohan, Paul F. Wilms, Robert A. Yost: Computation and Communication in R*: A Distributed Database Manager. ACM Trans. Comput. Syst. 2(1): 24-38(1984)

[Liskov 81]

...

[Liskov, Scheifler 83]

Barbara Liskov, Robert Scheifler: Guardians and Actions: Linguistic Support for Robust, Distributed Programs. ACM Trans. Program. Lang. Syst. 5(3): 381-404(1983)

[Lomet 77a]

David B. Lomet: A Practical Deadlock Avoidance Algorithm for Data Base Systems. SIGMOD Conference 1977: 122-127

[Lomet 77b]

David B. Lomet: Process Structuring, Synchronization, and Recovery Using Atomic Actions. Language Design for Reliable Software 1977: 128-137

[Lomet 78]

...

[Lomet 79]

David B. Lomet: Coping with Deadlock in Distributed Systems. IFIP TC-2 Working Conference on Data Base Architecture 1979: 89-99

[Lomet 80a]

David B. Lomet: Subsystems of Processes with Deadlock Avoidance. IEEE Trans. Software Eng. 6(3): 297-304(1980)

[Lomet 80b]

...

[Lorie 77]

Raymond A. Lorie: Physical Integrity in a Large Segmented Database. ACM Trans. Database Syst. 2(1): 91-104(1977)

[Lynch 83a]

Nancy A. Lynch: Concurrency Control for Resilient Nested Transactions. PODS 1983: 166-181

[Lynch 83b]

Nancy A. Lynch: Multilevel Atomicity - A New Correctness Criterion for Database Concurrency Control. ACM Trans. Database Syst. 8(4): 484-502(1983)

[Lynch, Fischer 81]

Nancy A. Lynch, Michael J. Fischer: On Describing the Behavior and Implementation of Distributed Systems. Theor. Comput. Sci. 13: 17-43(1981)

[Macri 76]

Philip P. Macri: Deadlock Detection and Resolution in a CODASYL Based Data Management System. SIGMOD Conference 1976: 45-49

[Malcolm, Vasudevan 84]

Michael A. Malcolm, R. Vasudevan: Coping with Network Partitions and Processor Failures in a Distributed System. Symposium on Reliability in Distributed Software and Database Systems 1984: 36-44

[Manber, Ladner 84]

Udi Manber, Richard E. Ladner: Concurrency Control In a Dynamic Search Structure. ACM Trans. Database Syst. 9(3): 439-455(1984)

[Marsland, Isloor 80]

...

[McLean 81]

Gordon McLean Jr.: Comments on SDD-1 Concurrency Control Mechanisms. ACM Trans. Database Syst. 6(2): 347-350(1981)

[Menasce, Landes 80]

Daniel A. Menascé, Oscar E. Landes: On the Design of a Reliable Storage Component for Distributed Database Management Systems. VLDB 1980: 365-375

[Menasce, Muntz 79]

Daniel A. Menascé, Richard R. Muntz: Locking and Deadlock Detection in Distributed Data Bases. IEEE Trans. Software Eng. 5(3): 195-202(1979)

[Menasce, Nakanishi 82a]

Daniel A. Menascé, Tatuo Nakanishi: Optimistic versus pessimistic concurrency control mechanisms in database management systems. Inf. Syst. 7(1): 13-27(1982)

[Menasce, Nakanishi 82b]

Daniel A. Menascé, Tatuo Nakanishi: Performance Evaluation of a Two-Phase Commit Based Protocol for DDBS. PODS 1982: 247-255

[Menasce, Popek, Muntz 80]

Daniel A. Menascé, Gerald J. Popek, Richard R. Muntz: A Locking Protocol for Resource Coordination in Distributed Databases. ACM Trans. Database Syst. 5(2): 103-138(1980)

[Minoura 78]

Toshimi Minoura: Maximally Concurrent Transaction Processing. Berkeley Workshop 1978: 206-214

[Minoura 79]

Toshimi Minoura: A New Concurrency Control Algorithm for Distributed Database Systems. Berkeley Workshop 1979: 221-

[Minoura 84]

Toshimi Minoura: Multi-Level Concurrency Control of a Database System. Symposium on Reliability in Distributed Software and Database Systems 1984: 156-168

[Mitra 85]

Debasis Mitra: Probabilistic Models and Asymptotic Results for Concurrent Processing with Exclusive and Non-Exclusive Locks. SIAM J. Comput. 14(4): 1030-1051(1985)

[Mitra, Weinberger 84]

Debasis Mitra, Peter J. Weinberger: Probabilistic Models of Database Locking: Solutions, Computational Algorithms, and Asymptotics. J. ACM 31(4): 855-878(1984)

[Mohan, Fussell, Silberschatz 82]

C. Mohan, Donald S. Fussell, Abraham Silberschatz: Compatibility and Commutativity in Non-two-phase Locking Protocols. PODS 1982: 283-292

[Mohan, Lindsay 83]

C. Mohan, Bruce G. Lindsay: Efficient Commit Protocols for the Tree of Processes Model of Distributed Transactions. PODC 1983: 76-88

[Mohan, Strong, Finkelstein 83]

C. Mohan, H. Raymond Strong, Sheldon J. Finkelstein: Method for Distributed Transaction Commit and recovery Using Byzantine Agreement Within Clusters of Processors. PODC 1983: 89-103

[Montgomery 78]

...

[Morris, Wong 84]

...

[Morris, Wong 85]

Robert J. T. Morris, Wing Shing Wong: Performance Analysis of Locking and Optimistic Concurrency Control Algorithms. Perform. Eval. 5(2): 105-118(1985)

[Moss 85]

...

[Moss, Griffeth, Graham 86]

J. Eliot B. Moss, Nancy D. Griffeth, Marc H. Graham: Abstraction in Recovery Management. SIGMOD Conference 1986: 72-83

[Mueller, Moore, Popek 83]

Erik T. Mueller, Johanna D. Moore, Gerald J. Popek: A Nested Transaction Mechanism for LOCUS. SOSP 1983: 71-89

[Munz, Krenz 77]

Rudolf Munz, G. Krenz: Concurrency in Database Systems - A Simulation Study. SIGMOD Conference 1977: 111-120

[Obermarck 82]

Ron Obermarck: Distributed Deadlock Detection Algorithm. ACM Trans. Database Syst. 7(2): 187-208(1982)

[Ong 84]

Kee S. Ong: Synapse Approach to Database Recovery. PODS 1984: 79-85

[Onuegbe, Du 86]

E. O. Onuegbe, H. C. Du: A Locking Scheme for Associative Retrieval. ICDE 1986: 574-579

[Page, Popek 85]

Thomas W. Page Jr., Gerald J. Popek: Distributed Management in Local Area Networks. PODS 1985: 135-142

[Papadimitriou 79]

Christos H. Papadimitriou: The serializability of concurrent database updates. J. ACM 26(4): 631-653(1979)

[Papadimitriou 81]

Christos H. Papadimitriou: On the Power of Locking. SIGMOD Conference 1981: 148-154

[Papadimitriou 86]

Christos H. Papadimitriou: The Theory of Database Concurrency Control. Computer Science Press 1986, ISBN 0-88175-027-1

[Papadimitriou, Bernstein, Rothnie 77]

...

[Papadimitriou, Kanellakis 84]

Christos H. Papadimitriou, Paris C. Kanellakis: On Concurrency Control by Multiple Versions. ACM Trans. Database Syst. 9(1): 89-99(1984)

[Papadimitriou, Yannakakis 85]

Christos H. Papadimitriou, Mihalis Yannakakis: The Complexity of Reliable Concurrency Control. PODS 1985: 230-234

[Parker et al. 83]

Douglas Stott Parker Jr., Gerald J. Popek, Gerard Rudisin, Allen Stoughton, Bruce J. Walker, Evelyn Walton, Johanna M. Chow, David A. Edwards, Stephen Kiser, Charles S. Kline: Detection of Mutual Inconsistency in Distributed Systems. IEEE Trans. Software Eng. 9(3): 240-247(1983)

[Parker, Ramas 82]

Douglas Stott Parker Jr., Raimundo A. Ramos: A Distributed File System Architecture Supporting High Availability. Berkeley Workshop 1982: 161-183

[Peinl, Reuter 83]

Peter Peinl, Andreas Reuter: Empirical Comparison of Database Concurrency Schemes. VLDB 1983: 97-108

[Peterson, Strickland 83]

R. J. Peterson, Jimmy P. Strickland: LOG Write-Ahead Protocols and IMS/VS Logging. PODS 1983: 216-243

[Pittelli, Garcia-Molina 86]

Frank M. Pittelli, Hector Garcia-Molina: Database Processing with Triple Modular Redundancy. Symposium on Reliability in Distributed Software and Database Systems 1986: 95-103

[Popek et al. 81]

Gerald J. Popek, Bruce J. Walker, Johanna M. Chow, David A. Edwards, Gerard Rudisin, Greg Thiel: LOCUS - A Network Transparent, High Reliability Distributed System. SOSP 1981: 169-177

[Potier, Leblanc 80]

Dominique Potier, Ph. Leblanc: Analysis of Locking Policies in Database Management Systems. Commun. ACM 23(10): 584-593(1980)

[Pradel, Schlageter, Unland 86]

U. Prädel, Gunter Schlageter, Rainer Unland: Redesign of Optimistic Methods: Improving Performance and Applicability. ICDE 1986: 466-473

[Pun, Belford 86]

K. H. Pun, Geneva G. Belford: Optimal Granularity and Degree of Multiprogramming in a Distributed Database System. ICDE 1986: 13-20

[Rahimi, Frants 79]

...

[Ramarao 85]

K. V. S. Ramarao: On the Complexity of Commit Protocols. PODS 1985: 235-244

[Ramirez, Santoro 79]

Raúl J. Ramírez, Nicola Santoro: Distributed Control of Updates in Multiple-Copy Databases: A Time Optimal Algorithm. Berkeley Workshop 1979: 191-

[Rappaport 75]

Robert L. Rappaport: File Structure Design to Facilitate On-Line Instantaneous Updating. SIGMOD Conference 1975: 1-14

[Reed 78]

...

[Reed 79]

David P. Reed: Implementing Atomic Actions on Decentralized Data. SOSP 1979: 163

[Reed 83]

David P. Reed: Implementing Atomic Actions on Decentralized Data. ACM Trans. Comput. Syst. 1(1): 3-23(1983)

[Reuter 80]

Andreas Reuter: A Fast Transaction-Oriented Logging Scheme for UNDO Recovery. IEEE Trans. Software Eng. 6(4): 348-356(1980)

[Reuter 82]

Andreas Reuter: Concurrency on High-trafic Data Elements. PODS 1982: 83-92

[Reuter 84]

Andreas Reuter: Performance Analysis of Recovery Techniques. ACM Trans. Database Syst. 9(4): 526-559(1984)

[Ries 79a]

...

[Ries 79b]

Daniel R. Ries: The Effects of Concurrency Control on the Performance of a Distributed Data Management System. Berkeley Workshop 1979: 75-112

[Ries, Stonebraker 77]

Daniel R. Ries, Michael Stonebraker: Effects of Locking Granularity in a Database Management System. ACM Trans. Database Syst. 2(3): 233-246(1977)

[Ries, Stonebraker 79]

Daniel R. Ries, Michael Stonebraker: Locking Granularity Revisited. ACM Trans. Database Syst. 4(2): 210-227(1979)

[Robinson 82]

John T. Robinson: Design of Concurrency Controls for Transaction Processing Systems. Ph.D. thesis, Carnegie Mellon University 1982

[Roome 82]

...

[Rosen 79]

Eric C. Rosen: The Updating Protocol of the ARPANET's New Routing Algorithm: A Case Study in Maintaining Identical Copies of a Changing Distributed Data Base. Berkeley Workshop 1979: 260-

[Rosenkrantz, Stearns, Lewis 78]

Daniel J. Rosenkrantz, Richard Edwin Stearns, Philip M. Lewis II: System Level Concurrency Control for Distributed Database Systems. ACM Trans. Database Syst. 3(2): 178-198(1978)

[Rothnie et al. 80]

James B. Rothnie Jr., Philip A. Bernstein, Stephen Fox, Nathan Goodman, Michael Hammer, Terry A. Landers, Christopher L. Reeve, David W. Shipman, Eugene Wong: Introduction to a System for Distributed Databases (SDD-1). ACM Trans. Database Syst. 5(1): 1-17(1980)

[Rothnie, Goodman 77]

James B. Rothnie Jr., Nathan Goodman: A Survey of Research and Development in Distributed Database Management. VLDB 1977: 48-62

[Ryu, Thomasian 86]

In Kyung Ryu, Alexander Thomasian: Analysis of Database Performance with Dynamic Locking. J. ACM 37(3): 491-523(1990)

[Samadi 76]

Behrokh Samadi: B-Trees in a System with Multiple Users. Inf. Process. Lett. 5(4): 107-112(1976)

[Schlageter 78]

Gunter Schlageter: Process Synchronization in Database Systems. ACM Trans. Database Syst. 3(3): 248-271(1978)

[Schlageter 79]

Gunter Schlageter: Enhancement of Concurrency in Database Systems by the Use of Special Rollback Methods. IFIP TC-2 Working Conference on Data Base Architecture 1979: 130-138

[Schlageter 81]

Gunter Schlageter: Optimistic Methods for Concurrency Control in Distributed Database Systems. VLDB 1981: 125-130

[Schlageter, Dadam 1980]

Gunter Schlageter, Peter Dadam: Reconstruction of Consistent Global States in Distributed Databases. DDB 1980: 191-200

[Schwarz, Spector 84]

Peter M. Schwarz, Alfred Z. Spector: Synchronizing Shared Abstract Types. ACM Trans. Comput. Syst. 2(3): 223-250(1984)

[Sequin, Sargeant, Wilnes 79]

...

[Sevcik 83]

Kenneth C. Sevcik: Comparison of Concurrency Control Methods Using Analytic Models. IFIP Congress 1983: 847-858

[Shapiro, Millstein 77a]

...

[Shapiro, Millstein 77b]

...

[Shrivastava 85]

...

[Shum 81]

...

[Siewiorek, Swaz 82]

...

[Silberschatz 82]

Abraham Silberschatz: A Multi-Version Concurrency Scheme With No Rollbacks. PODC 1982: 216-223

[Silberschatz, Kedem 80]

Abraham Silberschatz, Zvi M. Kedem: Consistency in Hierarchical Database Systems. J. ACM 27(1): 72-80(1980)

[Sinha, Nandikar, Mehndiratta 85]

Mukul K. Sinha, P. D. Nanadikar, S. L. Mehndiratta: Timestamp Based Certification Schemes for Transactions in Distributed Database Systems. SIGMOD Conference 1985: 402-411

[Skeen 81]

...

[Skeen 82a]

Dale Skeen: Nonblocking Commit Protocols. SIGMOD Conference 1981: 133-142

[Skeen 82b]

Dale Skeen: A Quorum-Based Commit Protocol. Berkeley Workshop 1982: 69-80

[Skeen 82c]

...

[Skeen 85]

Dale Skeen: Determining the Last Process to Fail. ACM Trans. Comput. Syst. 3(1): 15-30(1985)

[Skeen, Stonebraker 81]

Dale Skeen, Michael Stonebraker: A Formal Model of Crash Recovery in a Distributed System. Berkeley Workshop 1981: 129-142

[Skeen, Wright 84]

Dale Skeen, David D. Wright: Increasing Availability in Partitioned Database Systems. PODS 1984: 290-299

[Sockut, Krishnamurthy 84]

...

[Soisalon-Soininen, Wood 82]

Eljas Soisalon-Soininen, Derick Wood: An Optimal Algorithm for Testing for Safety and Detecting Deadlocks in Locked Transaction Systems. PODS 1982: 108-116

[Spector et al. 84]

Alfred Z. Spector, Jacob Butcher, Dean S. Daniels, Daniel J. Duchamp, Jeffrey L. Eppinger, Charles E. Fineman, Abdelsalam Heddaya, Peter M. Schwarz: Support for Distributed Transactions in the TABS Prototype. Symposium on Reliability in Distributed Software and Database Systems 1984: 186-206

[Spector, Schwarz 83]

Alfred Z. Spector, Peter M. Schwarz: Transactions: A Construct for Reliable Distributed Computing. Operating Systems Review 17(2): 18-35(1983)

[Stearns, Lewis, Rosenkrantz 76]

Richard Edwin Stearns, Philip M. Lewis II, Daniel J. Rosenkrantz: Concurrency Control for Database Systems. FOCS 1976: 19-32

[Stearns, Rosenkrantz 81]

Richard Edwin Stearns, Daniel J. Rosenkrantz: Distributed Database Concurrency Controls Using Before-Values. SIGMOD Conference 1981: 74-83

[Stonebraker 79]

Michael Stonebraker: Concurrency Control and Consistency of Multiple Copies of Data in Distributed INGRES. IEEE Trans. Software Eng. 5(3): 188-194(1979)

[Stonebraker 81]

Michael Stonebraker: Operating System Support for Database Management. Commun. ACM 24(7): 412-418(1981)

[Stonebraker, Neuhold 77]

Michael Stonebraker, Erich J. Neuhold: A Distributed Database Version of INGRES. Berkeley Workshop 1977: 19-36

[Strom 81]

B. Ivan Strom: Consistency of Redundant Databases in a Weak Coupled Distributed Computer Conferencing System. Berkeley Workshop 1981: 143-153

[Su 86]

Jianwen Su: Safety of Non-Well-Locked Trasnaction Systems. PODS 1986: 47-52

[Sugihara et al. 84]

Kazuo Sugihara, Tohru Kikuno, Noriyoshi Yoshida, Masanobu Ogata: A Distributed Algorithm for Deadlock Detection and Resolution. Symposium on Reliability in Distributed Software and Database Systems 1984: 169-176

[Tanenbaum 81]

Andrew S. Tanenbaum: Computer Networks. Prentice-Hall 1981, ISBN 0-13-165183-8

[Tay, Goodman, Suri 84]

...

[Tay, Goodman, Suri 85]

Y. C. Tay, Nathan Goodman, Rajan Suri: Locking Performance in Centralized Databases. ACM Trans. Database Syst. 10(4): 415-462(1985)

[Tay, Suri, Goodman 84]

Y. C. Tay, Rajan Suri, Nathan Goodman: A Mean Value Performance Model for Locking in Databases: The Waiting Case. PODS 1984: 311-322

[Tay, Suri, Goodman 85]

Y. C. Tay, Rajan Suri, Nathan Goodman: A Mean Value Performance Model for Locking in Databases: The No-Waiting Case. J. ACM 32(3): 618-651(1985)

[Thanos, Carlesi, Bertino 81]

Costantino Thanos, Carlo Carlesi, Elisa Bertino: Performance Evaluation of Two Concurrency Control Mechanisms in a Distributed Database System. ECI 1981: 266-279

[Thomas 79]

Robert H. Thomas: A Majority Consensus Approach to Concurrency Control for Multiple Copy Databases. ACM Trans. Database Syst. 4(2): 180-209(1979)

[Thomasian 82]

...

[Thomasian, Ryu 83]

...

[Tirri 83]

Henry Tirri: Freedom from Deadlock of Locked Transactions in a Distributed Database. PODC 1983: 267-276

[Traiger 82]

Irving L. Traiger: Virtual Memory Management for Database Systems. Operating Systems Review 16(4): 26-48(1982)

[Traiger et al. 82]

Irving L. Traiger, Jim Gray, Cesare A. Galtieri, Bruce G. Lindsay: Transactions and Consistency in Distributed Database Systems. ACM Trans. Database Syst. 7(3): 323-342(1982)

[Ullman 82]

Jeffrey D. Ullman: Principles of Database Systems, 2nd Edition. Computer Science Press 1982, ISBN 0-914894-36-6

[Unland, Praedel, Schlageter 83]

Rainer Unland, U. Prädel, Gunter Schlageter: Design Alternatives for Optimistic Concurrency Control Schemes. ICOD 1983: 288-297

[Verhofstad 77]

Joost Verhofstad: Recovery and Carsh Resistance in a Filing System. SIGMOD Conference 1977: 158-167

[Verhofstad 78]

Joost Verhofstad: Recovery Techniques for Database Systems. ACM Comput. Surv. 10(2): 167-195(1978)

[Verhofstad 79]

Joost Verhofstad: Recovery Based on Types. IFIP TC-2 Working Conference on Data Base Architecture 1979: 115-129

[Walter 82]

Bernd Walter: A Robust and Efficient Protocol for Checking the Availability of Remote Sites. Berkeley Workshop 1982: 45-67

[Weihl 83]

William E. Weihl: Data-dependent Concurrency Control and Recovery (Extended Abstract). PODC 1983: 63-75

[Weihl 85]

William E. Weihl: Distributed Version Management for Read-Only Actions (Extended Abstract). PODC 1985: 122-135

[Weikum 86]

Gerhard Weikum: A Theoretical Foundation of Multi-Level Concurrency Control. PODS 1986: 31-43

[Weinberger 82]

...

[Wilkinson, Lai 84]

W. Kevin Wilkinson, Ming-Yee Lai: Managing Replicate Data in JASMIN. Symposium on Reliability in Distributed Software and Database Systems 1984: 54-60

[Wolfson, Yannakakis 85]

Ouri Wolfson, Mihalis Yannakakis: Deadlock-Freedom (and Safety) of Transactions in a Distributed Database. PODS 1985: 105-112

[Wong, Edelberg 77]

Kai C. Wong, Murray Edelberg: Interval Hierarchies and Their Application to Predicate Files. ACM Trans. Database Syst. 2(3): 223-232(1977)

[Xu 82]

J. Xu: A Formal Model for Maximum Concurrency in Transaction Systems with Predeclared Writesets. VLDB 1982: 77-90

[Yannakakis 81]

Mihalis Yannakakis: Issues of Correctness in Database Concurrency Control by Locking. STOC 1981: 363-367

[Yannakakis 82a]

Mihalis Yannakakis: Freedom from Deadlock of Safe Locking Policies. SIAM J. Comput. 11(2): 391-408(1982)

[Yannakakis 82b]

Mihalis Yannakakis: A Theory of Safe Locking Policies in Database Systems. J. ACM 29(3): 718-740(1982)

[Yannakakis 84]

Mihalis Yannakakis: Serializability by Locking. J. ACM 31(2): 227-244(1984)

[Yannakakis, Papadimitriou, Kung 79]

Mihalis Yannakakis, Christos H. Papadimitriou, H. T. Kung: Locking Policies: Safety and Freedom from Deadlock. FOCS 1979: 286-297

[Zhou, Yeh, Ng 84]

Bosheng Zhou, Raymond T. Yeh, Peter A. Ng: An Algebraic System for Deadlock Detection and its Applications. Symposium on Reliability in Distributed Software and Database Systems 1984: 177-184

[Zobel 83]

...