A Formal Characterization of Epsilon Serializability.

@article{DBLP:journals/tkde/RamamrithamP95,
  author    = {Krithi Ramamritham and
               Calton Pu},
  title     = {A Formal Characterization of Epsilon Serializability},
  journal   = {IEEE Trans. Knowl. Data Eng.},
  volume    = {7},
  number    = {6},
  year      = {1995},
  pages     = {997-1007},
  ee        = {db/journals/tkde/RamamrithamP95.html},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstract

Copyright © 1995 by The Institute of Electrical and Electronic Engineers, Inc. (IEEE). Abstract used with permission.

Joint ACM SIGMOD / IEEE Computer Society 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/An3-3 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

References

[1]

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

[2]

Daniel Barbará, Hector Garcia-Molina: The Case for Controlled Inconsistency in Replicated Data. Workshop on the Management of Replicated Data 1990: 35-38 BibTeX

[3]

Daniel Barbará, Hector Garcia-Molina: The Demarcation Protocol: A Technique for Maintaining Linear Arithmetic Constraints in Distributed Database Systems. EDBT 1992: 373-388 BibTeX

[4]

Panos K. Chrysanthis, Krithi Ramamritham: A Formalism for Extended Transaction Model. VLDB 1991: 103-112 BibTeX

[5]

Panos K. Chrysanthis, Krithi Ramamritham: ACTA: A Framework for Specifying and Reasoning about Transaction Structure and Behavior. SIGMOD Conference 1990: 194-203 BibTeX

[6]

Panos K. Chrysanthis, Krithi Ramamritham: ACTA: The SAGA Continues. Database Transaction Models for Advanced Applications 1992: 349-397 BibTeX

[7]

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

[8]

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

[9]

Hector Garcia-Molina, Kenneth Salem: Sagas. SIGMOD Conference 1987: 249-259 BibTeX

[10]

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

[11]

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 BibTeX

[12]

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

[13]

Meichun Hsu, Abraham Silberschatz: Unilateral Commit: A New Paradigm for Reliable Distributed Transaction Processing. ICDE 1991: 286-293 BibTeX

[14]

Mohan Kamath, Krithi Ramamritham: Performance Characteristics of Epsilon Serializability with Hierarchical Inconsistency Bounds. ICDE 1993: 587-594 BibTeX

[15]

Henry F. Korth, Eliezer Levy, Abraham Silberschatz: A Formal Approach to Recovery by Compensating Transactions. VLDB 1990: 95-106 BibTeX

[16]

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

[17]

Narayanan Krishnakumar, Arthur J. Bernstein: Bounded Ignorance in Replicated Systems. PODS 1991: 63-74 BibTeX

[18]

Eliezer Levy, Henry F. Korth, Abraham Silberschatz: An Optimistic Commit Protocol for Distributed Transaction Management. SIGMOD Conference 1991: 88-97 BibTeX

[19]

Eliezer Levy, Henry F. Korth, Abraham Silberschatz: A Theory of Relaxed Atomicity (Extended Abstract). PODC 1991: 95-109 BibTeX

[20]

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

[21]

Calton Pu, Avraham Leff: Replica Control in Distributed Systems: An Asynchronous Approach. SIGMOD Conference 1991: 377-386 BibTeX

[22]

Calton Pu, Avraham Leff: Autonomous Transaction Execution with Epsilon Serializability. RIDE-TQP 1992: 2-11 BibTeX

[23]

...

[24]

...

[25]

...

[26]

Amit P. Sheth, Marek Rusinkiewicz: Management of Interdependent Data: Specifying Dependency and Consistency Requirements. Workshop on the Management of Replicated Data 1990: 133-136 BibTeX

[27]

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

[28]

Gio Wiederhold, Xiaolei Qian: Modeling Asynchrony in Distributed Databases. ICDE 1987: 246-250 BibTeX

[29]

Kun-Lung Wu, Philip S. Yu, Calton Pu: Divergence Control for Epsilon-Serializability. ICDE 1992: 506-515 BibTeX

Referenced by

1. Lyman Do, Prabhu Ram, Pamela Drew: The Need for Distributed Asynchronous Transactions. SIGMOD Conference 1999: 534-535
2. Evaggelia Pitoura: Scalable Invalidation-Based Processing of Queries in Broadcast Push Delivery. ER Workshops 1998: 230-241
3. Kun-Lung Wu, Philip S. Yu, Calton Pu: Divergence Control Algorithms for Epsilon Serializability. IEEE Trans. Knowl. Data Eng. 9(2): 262-274(1997)
4. Lisa Cingiser DiPippo, Victor Fay Wolfe: Object-Based Semantic Real-Time Concurrency Control with Bounded Imprecision. IEEE Trans. Knowl. Data Eng. 9(1): 135-147(1997)
5. Krithi Ramamritham, Panos K. Chrysanthis: A Taxonomy of Correctness Criteria in Database Applications. VLDB J. 5(1): 85-97(1996)
6. Sang Hyuk Son, Fengjie Zhang: Real-Time Replication Control for Distributed Database Systems: Algorithms and Their Performance. DASFAA 1995: 214-221
7. Lyman Do, Pamela Drew: The Management of Interdependent Asynchronous Transactions in Heterogeneous Database Environments. DASFAA 1995: 16-25
8. Mohan Kamath, Krithi Ramamritham: Performance Characteristics of Epsilon Serializability with Hierarchical Inconsistency Bounds. ICDE 1993: 587-594