{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T09:44:59Z","timestamp":1742982299736,"version":"3.40.3"},"publisher-location":"New York, NY","reference-count":32,"publisher":"Springer New York","isbn-type":[{"type":"print","value":"9781461482666"},{"type":"electronic","value":"9781461482659"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-1-4614-8265-9_80643","type":"book-chapter","created":{"date-parts":[[2018,12,6]],"date-time":"2018-12-06T12:34:07Z","timestamp":1544099647000},"page":"2320-2327","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Multi-datacenter Consistency Properties"],"prefix":"10.1007","author":[{"given":"Peter","family":"Bailis","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,12,7]]},"reference":[{"issue":"4","key":"80643_CR13442","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1016\/0020-0190(85)90056-0","volume":"21","author":"B Alpern","year":"1985","unstructured":"Alpern B, Schneider FB. Defining liveness. Inf Process Lett. 1985;21(4):181\u20135.","journal-title":"Inf Process Lett"},{"issue":"2","key":"80643_CR13443","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/2450142.2450151","volume":"60","author":"Tom J. Ameloot","year":"2013","unstructured":"Ameloot TJ, Neven F, Van Den Bussche J. Relational transducers for declarative networking. J ACM. 2013;60(2):15:1\u201315:38.","journal-title":"Journal of the ACM"},{"key":"80643_CR13444","unstructured":"Bailis P, Davidson A, Fekete A, Ghodsi A, Hellerstein JM, Stoica I. Highly available transactions: virtues and limitations. In: Proceedings of the 40th International Conference on Very Large Data Bases; 2014."},{"key":"80643_CR13445","doi-asserted-by":"crossref","unstructured":"Bailis P, Fekete A, Franklin MJ, Ghodsi A, Hellerstein JM, Stoica I. Feral concurrency control: an empirical investigation of modern application integrity. In: Proceedings of the ACM SIGMOD International Conference on Management of Data; 2015.","DOI":"10.1145\/2723372.2737784"},{"key":"80643_CR13446","unstructured":"Bailis P, Fekete A, Franklin MJ, Hellerstein JM, Ghodsi A, Stoica I. Coordination avoidance in database systems. In: Proceedings of the 41st International Conference on Very Large Data Bases; 2015."},{"key":"80643_CR13447","doi-asserted-by":"crossref","unstructured":"Bailis P, Fekete A, Ghodsi A, Hellerstein JM, Stoica I. Scalable atomic visibility with RAMP transactions. In: Proceedings of the ACM SIGMOD International Conference on Management of Data; 2014.","DOI":"10.1145\/2588555.2588562"},{"issue":"3","key":"80643_CR13448","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1145\/2460276.2462076","volume":"11","author":"P Bailis","year":"2013","unstructured":"Bailis P, Ghodsi A. Eventual consistency today: limitations, extensions, and beyond. ACM Queue. 2013;11(3):20\u201332.","journal-title":"ACM Queue"},{"issue":"2","key":"80643_CR13449","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1007\/s00778-013-0330-1","volume":"23","author":"P Bailis","year":"2014","unstructured":"Bailis P, Venkataraman S, Franklin MJ, Hellerstein JM, Stoica I. VLDB J. 2014;23(2):279\u2013302","journal-title":"VLDB J."},{"issue":"3","key":"80643_CR13450","doi-asserted-by":"publisher","first-page":"325","DOI":"10.1007\/BF01232643","volume":"3","author":"D Barbar\u00e1-Mill\u00e1","year":"1994","unstructured":"Barbar\u00e1-Mill\u00e1 D, Garcia-Molina H. The demarcation protocol: a technique for maintaining constraints in distributed database systems. VLDB J. 1994;3(3):325\u201353.","journal-title":"VLDB J"},{"key":"80643_CR13451","volume-title":"Concurrency control and recovery in database systems","author":"PA Bernstein","year":"1987","unstructured":"Bernstein PA, Hadzilacos V, Goodman N. Concurrency control and recovery in database systems, vol. 370. New York: Addison-wesley; 1987."},{"issue":"1","key":"80643_CR13452","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1145\/320128.320131","volume":"5","author":"PA Bernstein","year":"1980","unstructured":"Bernstein PA, Shipman DW, Rothnie JB Jr. Concurrency control in a system for distributed databases (SDD-1). ACM Trans Database Syst. 1980;5(1): 18\u201351","journal-title":"ACM Trans Database Syst"},{"issue":"2","key":"80643_CR13453","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1109\/MC.2012.37","volume":"45","author":"E Brewer","year":"2012","unstructured":"Brewer E. CAP twelve years later: how the \u201crules\u201d have changed. Computer 2012;45(2):23\u20139.","journal-title":"Computer"},{"key":"80643_CR13454","doi-asserted-by":"crossref","unstructured":"Das S, Agrawal D, El Abbadi A. G-store: a scalable data store for transactional multi key access in the cloud. In: Proceedings of the 1st ACM Symposium on Cloud Computing; 2010.","DOI":"10.1145\/1807128.1807157"},{"issue":"3","key":"80643_CR13455","doi-asserted-by":"publisher","first-page":"341","DOI":"10.1145\/5505.5508","volume":"17","author":"SB Davidson","year":"1985","unstructured":"Davidson SB, Garcia-Molina H, Skeen D. Consistency in partitioned networks. ACM Comput Surv. 1985;17(3):341\u201370.","journal-title":"ACM Comput Surv"},{"key":"80643_CR13456","doi-asserted-by":"crossref","unstructured":"Fekete A, Gupta D, Luchangco V, Lynch N, Shvartsman A. Eventually-serializable data services. In: Proceedings of the ACM SIGACT-SIGOPS 15th Symposium on the Principles of Distributed Computing; 1996. p. 300\u20139.","DOI":"10.1145\/248052.248113"},{"issue":"5","key":"80643_CR13457","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1145\/269005.266662","volume":"31","author":"A Fox","year":"1997","unstructured":"Fox A, Gribble SD, Chawathe Y, Brewer EA, Gauthier P. Cluster-based scalable network services. ACM SIGOPS Oper Syst Rev. 1997;31(5):78\u201391.","journal-title":"ACM SIGOPS Oper Syst Rev"},{"key":"80643_CR13458","doi-asserted-by":"crossref","unstructured":"Garcia-Molina H, Salem K. Sagas. In: Proceedings of the ACM SIGMOD International Conference on Management of Data; 1987.","DOI":"10.1145\/38713.38742"},{"key":"80643_CR13459","doi-asserted-by":"crossref","unstructured":"Gray JN, Lorie RA, Putzolu GR, Traiger IL. Granularity of locks and degrees of consistency in a shared data base. Technical report, IBM, 1976.","DOI":"10.1145\/1282480.1282513"},{"issue":"4","key":"80643_CR13460","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1145\/289.291","volume":"15","author":"T Haerder","year":"1983","unstructured":"Haerder T, Reuter A. Principles of transaction-oriented database recovery. ACM Comput Surv. 1983;15(4):287\u2013317.","journal-title":"ACM Comput Surv"},{"key":"80643_CR13461","unstructured":"Helland P, Campbell D. Building on quicksand. In: Proceedings of the 4th Biennial Conference on Innovative Data Systems Research; 2009."},{"key":"80643_CR13462","doi-asserted-by":"crossref","unstructured":"Johnson PR, Thomas RH. Rfc 667: the maintenance of duplicate databases. Technical report, 1 1975.","DOI":"10.17487\/rfc0677"},{"key":"80643_CR13463","doi-asserted-by":"crossref","unstructured":"Kung H-T, Papadimitriou CH. An optimality theory of concurrency control for databases. In: Proceedings of the ACM SIGMOD International Conference on Management of Data; 1979.","DOI":"10.1145\/582095.582114"},{"key":"80643_CR13464","unstructured":"Li C, Porto D, Clement A, Gehrke J, Pregui\u00e7a N, Rodrigues R. Making geo-replicated systems fast as possible, consistent when necessary. In: Proceedings of the 10th USENIX Symposium on Operating System Design and Implementation; 2012."},{"key":"80643_CR13465","unstructured":"Li C, Leitao J, Clement A, Pregui\u00e7a N, Rodrigues R et al. Automating the choice of consistency levels in replicated systems. In: Proceedings of the USENIX 2014 Annual Technical Conference; 2014."},{"key":"80643_CR13466","doi-asserted-by":"crossref","unstructured":"Lu H, Veeraraghavan K, Ajoux P, Hunt J, Song YJ, Tobagus W, Kumar S, Lloyd W. Existential consistency: measuring and understanding consistency at facebook. In: Proceedings of the 25th ACM Symposium on Operating System Principles; 2015.","DOI":"10.1145\/2815400.2815426"},{"issue":"4","key":"80643_CR13467","doi-asserted-by":"publisher","first-page":"405","DOI":"10.1145\/7239.7265","volume":"11","author":"P O\u2019Neil","year":"1986","unstructured":"O\u2019Neil PE. The Escrow transactional method. ACM Trans Database Syst. 1986;11(4):405\u201330.","journal-title":"ACM Trans Database Syst"},{"key":"80643_CR13468","unstructured":"Recht B, R\u00e9 C, Wright S, Niu F. Hogwild: a lock-free approach to parallelizing stochastic gradient descent. In: Advances in Neural Information Proceedings of the Systems 24, Proceedings of the 25th Annual Conference on Neural Information Proceedings of the Systems; 2011."},{"key":"80643_CR13469","doi-asserted-by":"crossref","unstructured":"Roy S, Kot L, Bender G, Ding B, Hojjat H, Koch C, Foster N, Gehrke J. The homeostasis protocol: avoiding transaction coordination through program analysis. In: Proceedings of the ACM SIGMOD International Conference on Management of Data; 2015.","DOI":"10.1145\/2723372.2723720"},{"key":"80643_CR13470","doi-asserted-by":"crossref","unstructured":"Shapiro M, Pregui\u00e7a N, Baquero C, Zawirski M. A comprehensive study of convergent and commutative replicated data types. INRIA TR 7506. 2011.","DOI":"10.1007\/978-3-642-24550-3_29"},{"key":"80643_CR13471","unstructured":"Wada H, Fekete A, Zhao L, Lee K, Liu A. Data consistency properties and the trade-offs in commercial cloud storage: the consumers\u2019 perspective. In: Proceedings of the 5th Biennial Conference on Innovative Data Systems Research; 2011."},{"key":"80643_CR13472","unstructured":"Weihl W. Specification and implementation of atomic data types. PhD thesis, Massachusetts Institute of Technology, 1984."},{"issue":"3","key":"80643_CR13473","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1145\/566340.566342","volume":"20","author":"H Yu","year":"2002","unstructured":"Yu H, Vahdat A. Design and evaluation of a conit-based continuous consistency model for replicated services. ACM Trans Comput Syst. 2002;20(3):239\u201382.","journal-title":"ACM Trans Comput Syst"}],"container-title":["Encyclopedia of Database Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4614-8265-9_80643","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,6,2]],"date-time":"2020-06-02T00:02:32Z","timestamp":1591056152000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4614-8265-9_80643"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9781461482666","9781461482659"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-1-4614-8265-9_80643","relation":{},"subject":[],"published":{"date-parts":[[2018]]},"assertion":[{"value":"7 December 2018","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}