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

@inproceedings{DBLP:conf/edbt/BarbardG92,
  author    = {Daniel Barbar{\'a} and
               Hector Garcia-Molina},
  editor    = {Alain Pirotte and
               Claude Delobel and
               Georg Gottlob},
  title     = {The Demarcation Protocol: A Technique for Maintaining Linear
               Arithmetic Constraints in Distributed Database Systems},
  booktitle = {Advances in Database Technology - EDBT'92, 3rd International
               Conference on Extending Database Technology, Vienna, Austria,
               March 23-27, 1992, Proceedings},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {580},
  year      = {1992},
  isbn      = {3-540-55270-7},
  pages     = {373-388},
  ee        = {http://dx.doi.org/10.1007/BFb0032443},
  crossref  = {DBLP:conf/edbt/92},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

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/An2-2 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/aDVD1 or /dvd

References

[ABG90]

Rafael Alonso, Daniel Barbará, Hector Garcia-Molina: Data Caching Issues in an Information Retrieval System. ACM Trans. Database Syst. 15(3): 359-384(1990)

[CR82]

Osvaldo Carvalho, Gérard Roucairol: On the Distribution of an Assertion. PODC 1982: 121-131

[DAT83]

...

[DAV82]

...

[DE89]

Weimin Du, Ahmed K. Elmagarmid: Quasi Serializability: a Correctness Criterion for Global Concurrency Control in InterBase. VLDB 1989: 347-355

[FGL82]

Michael J. Fischer, Nancy D. Griffeth, Nancy A. Lynch: Global States of a Distributed System. IEEE Trans. Software Eng. 8(3): 198-202(1982)

[FZ89]

Mary F. Fernandez, Stanley B. Zdonik: Transaction Groups: A Model for Controlling Cooperative Transactions. POS 1989: 341-350

[GAR83]

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

[HS80]

...

[KS88]

Henry F. Korth, Gregory D. Speegle: Formal Model of Correctness Without Serializability. SIGMOD Conference 1988: 379-386

[KuS88]

Akhil Kumar, Michael Stonebraker: Semantics Based Transaction Management Techniques for Replicated Data. SIGMOD Conference 1988: 117-125

[LBS86]

Nancy A. Lynch, Barbara T. Blaustein, Michael Siegel: Correctness Conditions for Highly Available Replicated Databases. PODC 1986: 11-28

[ONE86]

Patrick E. O'Neil: The Escrow Transactional Method. ACM Trans. Database Syst. 11(4): 405-430(1986)

[SS90]

Nandit Soparkar, Abraham Silberschatz: Data-value Partitioning and Virtual Messages. PODS 1990: 357-367