The Demarcation Protocol: A Technique for Maintaining Constraints in Distributed Database Systems.

Daniel Barbará, Hector Garcia-Molina: The Demarcation Protocol: A Technique for Maintaining Constraints in Distributed Database Systems. VLDB J. 3(3): 325-353(1994)

@article{DBLP:journals/vldb/Barbara-MillaG94,
  author    = {Daniel Barbar{\'a} and
               Hector Garcia-Molina},
  title     = {The Demarcation Protocol: A Technique for Maintaining Constraints
               in Distributed Database Systems},
  journal   = {VLDB J.},
  volume    = {3},
  number    = {3},
  year      = {1994},
  pages     = {325-353},
  ee        = {db/journals/vldb/Barbara-MillaG94.html},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstract

Traditional protocols for distributed database management have a high message overhead; restrain or lock access to resources during protocol execution; and may become impractical for some scenarios like real-time systems and very large distributed databases. In this article, we present the demarcation protocol; it overcomes these problems by using explicit consistency constraints as the correctness criteria. The method establishes safe limits as "lines drawn in the sand" for updates, and makes it possible to change these limits dynamically, enforcing the constraints at all times. We show this technique can be applied to linear arithmetic, existential, key, and approximate copy constraints.

Copyright © 1994 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.

Key Words

Consistency constraints, transaction limits, serializability.

Online Paper

Download PDF file (www.vldb.org, Darmstadt, Germany)
Download PDF file (www.acm.org, New York, USA)

ACM SIGMOD Anthology

CDROM Version: Load the CDROM "Volume 4 Issue 1, Books, VLDB-j, TODS, ..." and ...

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

DVD Version: Load ACM SIGMOD Anthology DVD 2" and ...

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

References

[Alonso et al. 1990]: Rafael Alonso, Daniel Barbará, Hector Garcia-Molina: Data Caching Issues in an Information Retrieval System. ACM Trans. Database Syst. 15(3): 359-384(1990)
[Breitbart et al. 1992]: Yuri Breitbart, Hector Garcia-Molina, Abraham Silberschatz: Overview of Multidatabase Transaction Management. VLDB J. 1(2): 181-239(1992)
[Bernstein et al. 1987]: Philip A. Bernstein, Vassos Hadzilacos, Nathan Goodman: Concurrency Control and Recovery in Database Systems. Addison-Wesley 1987, ISBN 0-201-10715-5
Contents
[Carvalho & Roucairol 1982]: Osvaldo Carvalho, Gérard Roucairol: On the Distribution of an Assertion. PODC 1982: 121-131
[Date 1983]: ...
[Davidson 1982]: ...
[Du & Elmagarmid 1989]: Weimin Du, Ahmed K. Elmagarmid: Quasi Serializability: a Correctness Criterion for Global Concurrency Control in InterBase. VLDB 1989: 347-355
[Fernández & Zdonik 1989]: Mary F. Fernandez, Stanley B. Zdonik: Transaction Groups: A Model for Controlling Cooperative Transactions. POS 1989: 341-350
[Fischer et al. 1982]: Michael J. Fischer, Nancy D. Griffeth, Nancy A. Lynch: Global States of a Distributed System. IEEE Trans. Software Eng. 8(3): 198-202(1982)
[Garcia-Molina 1983]: Hector Garcia-Molina: Using Semantic Knowledge for Transaction Processing in Distributed Database. ACM Trans. Database Syst. 8(2): 186-213(1983)
[Hammer & Shipman 1980]: Michael Hammer, David W. Shipman: Reliability Mechanisms for SDD-1: A System for Distributed Databases. ACM Trans. Database Syst. 5(4): 431-466(1980)
[Korth & Speegle 1988]: Henry F. Korth, Gregory D. Speegle: Formal Model of Correctness Without Serializability. SIGMOD Conference 1988: 379-386
[Krishnakaumar & Bernstein 1992]: Narayanan Krishnakumar, Arthur J. Bernstein: High Throughput Escrow Algorithms for Replicated Databases. VLDB 1992: 175-186
[Kumar & Stonebraker 1988]: Akhil Kumar, Michael Stonebraker: Semantics Based Transaction Management Techniques for Replicated Data. SIGMOD Conference 1988: 117-125
[Lynch et al. 1986]: Nancy A. Lynch, Barbara T. Blaustein, Michael Siegel: Correctness Conditions for Highly Available Replicated Databases. PODC 1986: 11-28
[O'Neil 1986]: Patrick E. O'Neil: The Escrow Transactional Method. ACM Trans. Database Syst. 11(4): 405-430(1986)
[Pu & Leff 1991]: Calton Pu, Avraham Leff: Replica Control in Distributed Systems: An Asynchronous Approach. SIGMOD Conference 1991: 377-386
[Soparker & Silberschatz 1990]: Nandit Soparkar, Abraham Silberschatz: Data-value Partitioning and Virtual Messages. PODS 1990: 357-367