On Herbrand Semantics and Conflict Serializability of Read-Write Transactions.

@inproceedings{DBLP:conf/pods/LechtenborgerV00,
  author    = {Jens Lechtenb{\"o}rger and
               Gottfried Vossen},
  title     = {On Herbrand Semantics and Conflict Serializability of Read-Write
               Transactions},
  booktitle = {Proceedings of the Nineteenth ACM SIGMOD-SIGACT-SIGART Symposium
               on Principles of Database Systems, May 15-17, 2000, Dallas, Texas,
               USA},
  publisher = {ACM},
  year      = {2000},
  isbn      = {1-58113-214-X},
  pages     = {187-194},
  ee        = {http://doi.acm.org/10.1145/335168.335221, db/conf/pods/LechtenborgerV00.html},
  crossref  = {DBLP:conf/pods/00},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstract

Copyright © 2000 by the ACM, Inc., used by permission. Permission to make digital or hard copies is granted provided that copies are not made or distributed for profit or direct commercial advantage, and that copies show this notice on the first page or initial screen of a display along with the full citation.

Printed Edition

Online Edition: ACM Digital Library

References

[1]

Gustavo Alonso, Radek Vingralek, Divyakant Agrawal, Yuri Breitbart, Amr El Abbadi, Hans-Jörg Schek, Gerhard Weikum: Unifying concurrency control and recovery of transactions. Inf. Syst. 19(1): 101-115(1994) BibTeX

[2]

Catriel Beeri, Hans-Jörg Schek, Gerhard Weikum: Multi-Level Transaction Management, Theoretical Art or Practical Need ? EDBT 1988: 134-154 BibTeX

[3]

Philip A. Bernstein, Vassos Hadzilacos, Nathan Goodman: Concurrency Control and Recovery in Database Systems. Addison-Wesley 1987, ISBN 0-201-10715-5
Contents BibTeX

[4]

Yuri Breitbart, Dimitrios Georgakopoulos, Marek Rusinkiewicz, Abraham Silberschatz: On Rigorous Transaction Scheduling. IEEE Trans. Software Eng. 17(9): 954-960(1991) BibTeX

[5]

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

[6]

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

[7]

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

[8]

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

[9]

...

[10]

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

[11]

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

[12]

Hans-Jörg Schek, Gerhard Weikum, Haiyan Ye: Towards a Unified Theory of Concurrency Control and Recovery. PODS 1993: 300-311 BibTeX

[13]

Radek Vingralek, Haiyan Hasse-Ye, Yuri Breitbart, Hans-Jörg Schek: Unifying Concurrency Control and Recovery of Transactions with Semantically Rich Operations. Theor. Comput. Sci. 190(2): 363-396(1998) BibTeX

[14]

William E. Weihl: The Impact of Recovery on Concurrency Control. J. Comput. Syst. Sci. 47(1): 157-184(1993) BibTeX