Solving the Phantom Problem by Predicative Optimistic Concurrency Control.

Manuel Reimer: Solving the Phantom Problem by Predicative Optimistic Concurrency Control. VLDB 1983: 81-88
  author    = {Manuel Reimer},
  editor    = {Mario Schkolnick and
               Costantino Thanos},
  title     = {Solving the Phantom Problem by Predicative Optimistic Concurrency
  booktitle = {9th International Conference on Very Large Data Bases, October
               31 - November 2, 1983, Florence, Italy, Proceedings},
  publisher = {Morgan Kaufmann},
  year      = {1983},
  isbn      = {0-934613-15-X},
  pages     = {81-88},
  ee        = {db/conf/vldb/Reimer83.html},
  crossref  = {DBLP:conf/vldb/83},
  bibsource = {DBLP,}


Database programming languages provide powerful relational structures and operators based on, for example, first-order predicate calculus. Language constructs for database programming, including a transaction concepC require therefore a predicate-oriented approach to concurrency controle. A predicative optimistic concunency control is presented that attacks problems inherent in predicate locking. Only those conflicts that actually occurred between transactions are detected, and well-known query evaluation algorithms are applied instead of algorithms testing the disjointneas of certain restricted classes of predicates. For that reason, this approach is an elegant solution to the phantom problem.

Copyright © 1983 by the VLDB Endowment. Permission to copy without fee all or part of this material is granted provided that the copies are not made or distributed for direct commercial advantage, the VLDB copyright notice and the title of the publication and its date appear, and notice is given that copying is by the permission of the Very Large Data Base Endowment. To copy otherwise, or to republish, requires a fee and/or special permission from the Endowment.

Online Paper

ACM SIGMOD Anthology

CDROM Version: Load the CDROM "Volume 1 Issue 4, VLDB '75-'88" and ... DVD Version: Load ACM SIGMOD Anthology DVD 1" and ... BibTeX

Printed Edition

Mario Schkolnick, Costantino Thanos (Eds.): 9th International Conference on Very Large Data Bases, October 31 - November 2, 1983, Florence, Italy, Proceedings. Morgan Kaufmann 1983, ISBN 0-934613-15-X
Contents BibTeX


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) BibTeX
Jim Gray: The Transaction Concept: Virtues and Limitations (Invited Paper). VLDB 1981: 144-154 BibTeX
David Gries: The Science of Programming. Springer 1981
Harry B. Hunt III, Daniel J. Rosenkrantz: The Complexity of Testing Predicate Locks. SIGMOD Conference 1979: 127-133 BibTeX
J. R. Jordan, J. Banerjee, R. B. Batman: Precision Locks. SIGMOD Conference 1981: 143-147 BibTeX
Anthony C. Klug: Locking Expressions for Increased Database Concurrency. J. ACM 30(1): 36-54(1983) BibTeX
H. T. Kung, John T. Robinson: On Optimistic Methods for Concurrency Control. ACM Trans. Database Syst. 6(2): 213-226(1981) BibTeX
Rudolf Munz, H.-J. Schneider, Frank Steyer: Application of Sub-Predicate Tests in Database Systems. VLDB 1979: 426-435 BibTeX
Daniel J. Rosenkrantz, Harry B. Hunt III: Processing Conjunctive Predicates and Queries. VLDB 1980: 64-72 BibTeX
Gunter Schlageter: Process Synchronization in Database Systems. ACM Trans. Database Syst. 3(3): 248-271(1978) BibTeX
Joachim W. Schmidt: Some High Level Language Constructs for Data of Type Relation. ACM Trans. Database Syst. 2(3): 247-261(1977) BibTeX
Joachim W. Schmidt, Manuel Reimer, P. Putfarken, Manuel Mall, Jürgen Koch, Matthias Jarke: Research in Database Programming: Language Constructs and Execution Models. IEEE Database Eng. Bull. 6(2): 68-73(1983) BibTeX

Referenced by

  1. Maurice Herlihy: Apologizing Versus Asking Permission: Optimistic Concurrency Control for Abstract Data Types. ACM Trans. Database Syst. 15(1): 96-124(1990)
  2. Charles Elkan: Independence of Logic Database Queries and Updates. PODS 1990: 154-160
  3. Stefan Böttcher: Improving the Concurrency of Integrity Checks and Write Operations. ICDT 1990: 259-273
  4. Matthias Jarke, Jürgen Koch: Query Optimization in Database Systems. ACM Comput. Surv. 16(2): 111-152(1984)
ACM SIGMOD Anthology - DBLP: [Home | Search: Author, Title | Conferences | Journals]
VLDB Proceedings: Copyright © by VLDB Endowment,
ACM SIGMOD Anthology: Copyright © by ACM (, Corrections:
DBLP: Copyright © by Michael Ley (, last change: Sat May 16 23:45:18 2009