{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T03:40:27Z","timestamp":1740109227097,"version":"3.37.3"},"reference-count":51,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2020,9,5]],"date-time":"2020-09-05T00:00:00Z","timestamp":1599264000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,9,5]],"date-time":"2020-09-05T00:00:00Z","timestamp":1599264000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/100000180","name":"U.S. Department of Homeland Security","doi-asserted-by":"crossref","award":["HSHQDC-16-3-00083"],"award-info":[{"award-number":["HSHQDC-16-3-00083"]}],"id":[{"id":"10.13039\/100000180","id-type":"DOI","asserted-by":"crossref"}]},{"DOI":"10.13039\/100000083","name":"Directorate for Computer and Information Science and Engineering","doi-asserted-by":"publisher","award":["CCF-1139158"],"award-info":[{"award-number":["CCF-1139158"]}],"id":[{"id":"10.13039\/100000083","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["The VLDB Journal"],"published-print":{"date-parts":[[2021,1]]},"DOI":"10.1007\/s00778-020-00628-3","type":"journal-article","created":{"date-parts":[[2020,9,5]],"date-time":"2020-09-05T10:02:31Z","timestamp":1599300151000},"page":"71-92","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Interactive checks for coordination avoidance"],"prefix":"10.1007","volume":"30","author":[{"given":"Michael","family":"Whittaker","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Joseph M.","family":"Hellerstein","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2020,9,5]]},"reference":[{"issue":"2","key":"628_CR1","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1109\/MC.2012.33","volume":"45","author":"D Abadi","year":"2012","unstructured":"Abadi, D.: Consistency tradeoffs in modern distributed database system design: cap is only part of the story. Computer 45(2), 37\u201342 (2012)","journal-title":"Computer"},{"issue":"1","key":"628_CR2","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1007\/BF01784241","volume":"9","author":"M Ahamad","year":"1995","unstructured":"Ahamad, M., Neiger, G., Burns, J.E., Kohli, P., Hutto, P.W.: Causal memory: definitions, implementation, and programming. Distrib. Comput. 9(1), 37\u201349 (1995)","journal-title":"Distrib. Comput."},{"key":"628_CR3","unstructured":"Alvaro, P., Ameloot, T.J., Hellerstein, J.M., Marczak, W., Van den Bussche, J.: A declarative semantics for dedalus. Technical Report UCB\/EECS-2011-120, EECS Department, University of California, Berkeley (2011)"},{"key":"628_CR4","doi-asserted-by":"crossref","unstructured":"Alvaro, P., Condie, T., Conway, N., Elmeleegy, K., Hellerstein, J.M., Sears, R.: Boom analytics: exploring data-centric, declarative programming for the cloud. In: Proceedings of the 5th European Conference on Computer systems, pp. 223\u2013236. ACM (2010)","DOI":"10.1145\/1755913.1755937"},{"key":"628_CR5","unstructured":"Alvaro, P., Conway, N., Hellerstein, J.M., Marczak, W.R.: Consistency analysis in bloom: a calm and collected approach. In: CIDR, pp. 249\u2013260 (2011)"},{"key":"628_CR6","doi-asserted-by":"crossref","unstructured":"Alvaro, P., Marczak, W.R., Conway, N., Hellerstein, J.M., Maier, D., Sears, R.: Dedalus: Datalog in time and space. In: Datalog Reloaded, pp. 262\u2013281. Springer (2011)","DOI":"10.1007\/978-3-642-24206-9_16"},{"issue":"2","key":"628_CR7","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1145\/2450142.2450151","volume":"60","author":"TJ Ameloot","year":"2013","unstructured":"Ameloot, T.J., Neven, F., Van den Bussche, J.: Relational transducers for declarative networking. J. ACM (JACM) 60(2), 15 (2013)","journal-title":"J. ACM (JACM)"},{"issue":"3","key":"628_CR8","first-page":"185","volume":"8","author":"P Bailis","year":"2014","unstructured":"Bailis, P., Fekete, A., Franklin, M.J., Ghodsi, A., Hellerstein, J.M., Stoica, I.: Coordination avoidance in database systems. PVLDB 8(3), 185\u2013196 (2014)","journal-title":"PVLDB"},{"key":"628_CR9","doi-asserted-by":"crossref","unstructured":"Balegas, V., Duarte, S., Ferreira, C., Rodrigues, R., Pregui\u00e7a, N., Najafzadeh, M., Shapiro, M.: Putting consistency back into eventual consistency. In: Proceedings of the Tenth European Conference on Computer Systems. ACM (2015)","DOI":"10.1145\/2741948.2741972"},{"issue":"1","key":"628_CR10","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1145\/2723872.2723889","volume":"49","author":"V Balegas","year":"2015","unstructured":"Balegas, V., Duarte, S., Ferreira, C., Rodrigues, R., Pregui\u00e7a, N., Najafzadeh, M., Shapiro, M.: Towards fast invariant preservation in geo-replicated systems. ACM SIGOPS Oper. Syst. Rev. 49(1), 121\u2013125 (2015)","journal-title":"ACM SIGOPS Oper. Syst. Rev."},{"issue":"3","key":"628_CR11","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. 3(3), 325\u2013353 (1994)","journal-title":"VLDB J."},{"issue":"2","key":"628_CR12","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1145\/356842.356846","volume":"13","author":"PA Bernstein","year":"1981","unstructured":"Bernstein, P.A., Goodman, N.: Concurrency control in distributed database systems. ACM Comput. Surv. (CSUR) 13(2), 185\u2013221 (1981)","journal-title":"ACM Comput. Surv. (CSUR)"},{"issue":"2","key":"628_CR13","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 45(2), 23\u201329 (2012)","journal-title":"Computer"},{"issue":"1","key":"628_CR14","first-page":"48","volume":"37","author":"A Cheung","year":"2014","unstructured":"Cheung, A., Madden, S., Solar-Lezama, A., Arden, O., Myers, A.C.: Using program analysis to improve database applications. IEEE Data Eng. Bull. 37(1), 48\u201359 (2014)","journal-title":"IEEE Data Eng. Bull."},{"key":"628_CR15","doi-asserted-by":"crossref","unstructured":"Conway, N., Marczak, W., Alvaro, P., Hellerstein, J.M., Maier, D.: Logic and lattices for distributed programming. Technical Report UCB\/EECS-2012-167, EECS Department, University of California, Berkeley (2012)","DOI":"10.21236\/ADA563903"},{"key":"628_CR16","doi-asserted-by":"crossref","unstructured":"Crooks, N., Pu, Y., Estrada, N., Gupta, T., Alvisi, L., Clement, A.: Tardis: A branch-and-merge approach to weak consistency. In: Proceedings of the 2016 International Conference on Management of Data, pp. 1615\u20131628. ACM (2016)","DOI":"10.1145\/2882903.2882951"},{"key":"628_CR17","doi-asserted-by":"crossref","unstructured":"De Moura, L., Bj\u00f8rner, N.: Z3: An efficient smt solver. In: International conference on Tools and Algorithms for the Construction and Analysis of Systems, pp. 337\u2013340. Springer (2008)","DOI":"10.1007\/978-3-540-78800-3_24"},{"key":"628_CR18","doi-asserted-by":"crossref","unstructured":"DeCandia, G., Hastorun, D., Jampani, M., Kakulapati, G., Lakshman, A., Pilchin, A., Sivasubramanian, S., Vosshall, P., Vogels, W.: Dynamo: amazon\u2019s highly available key-value store. In: ACM SIGOPS Operating Systems Review, vol. 41, pp. 205\u2013220. ACM (2007)","DOI":"10.1145\/1323293.1294281"},{"issue":"4","key":"628_CR19","first-page":"277","volume":"7","author":"DE Difallah","year":"2013","unstructured":"Difallah, D.E., Pavlo, A., Curino, C., Cudre-Mauroux, P.: OLTP-bench: an extensible testbed for benchmarking relational databases. PVLDB 7(4), 277\u2013288 (2013)","journal-title":"PVLDB"},{"issue":"2","key":"628_CR20","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1145\/564585.564601","volume":"33","author":"S Gilbert","year":"2002","unstructured":"Gilbert, S., Lynch, N.: Brewer\u2019s conjecture and the feasibility of consistent, available, partition-tolerant web services. ACM SIGACT News 33(2), 51\u201359 (2002)","journal-title":"ACM SIGACT News"},{"issue":"1","key":"628_CR21","doi-asserted-by":"publisher","first-page":"371","DOI":"10.1145\/2914770.2837625","volume":"51","author":"A Gotsman","year":"2016","unstructured":"Gotsman, A., Yang, H., Ferreira, C., Najafzadeh, M., Shapiro, M.: \u2019cause i\u2019m strong enough: reasoning about consistency choices in distributed systems. ACM SIGPLAN Notices 51(1), 371\u2013384 (2016)","journal-title":"ACM SIGPLAN Notices"},{"issue":"2","key":"628_CR22","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1016\/0169-023X(93)90008-D","volume":"10","author":"PW Grefen","year":"1993","unstructured":"Grefen, P.W., Apers, P.M.: Integrity control in relational database systems\u2014an overview. Data Knowl. Eng. 10(2), 187\u2013223 (1993)","journal-title":"Data Knowl. Eng."},{"issue":"2","key":"628_CR23","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1145\/170036.170048","volume":"22","author":"A Gupta","year":"1993","unstructured":"Gupta, A., Widom, J.: Local verification of global integrity constraints in distributed databases. ACM SIGMOD Rec. 22(2), 49\u201358 (1993)","journal-title":"ACM SIGMOD Rec."},{"issue":"1","key":"628_CR24","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1145\/1860702.1860704","volume":"39","author":"JM Hellerstein","year":"2010","unstructured":"Hellerstein, J.M.: The declarative imperative: experiences and conjectures in distributed logic. ACM SIGMOD Rec. 39(1), 5\u201319 (2010)","journal-title":"ACM SIGMOD Rec."},{"issue":"3","key":"628_CR25","doi-asserted-by":"publisher","first-page":"463","DOI":"10.1145\/78969.78972","volume":"12","author":"MP Herlihy","year":"1990","unstructured":"Herlihy, M.P., Wing, J.M.: Linearizability: a correctness condition for concurrent objects. ACM Trans. Program. Lang. Syst. (TOPLAS) 12(3), 463\u2013492 (1990)","journal-title":"ACM Trans. Program. Lang. Syst. (TOPLAS)"},{"issue":"10","key":"628_CR26","doi-asserted-by":"publisher","first-page":"576","DOI":"10.1145\/363235.363259","volume":"12","author":"CAR Hoare","year":"1969","unstructured":"Hoare, C.A.R.: An axiomatic basis for computer programming. Commun. ACM 12(10), 576\u2013580 (1969)","journal-title":"Commun. ACM"},{"issue":"OOPSLA","key":"628_CR27","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3360580","volume":"3","author":"G Kaki","year":"2019","unstructured":"Kaki, G., Priya, S., Sivaramakrishnan, K., Jagannathan, S.: Mergeable replicated data types. Proc. ACM Program. Lang. 3(OOPSLA), 1\u201329 (2019)","journal-title":"Proc. ACM Program. Lang."},{"key":"628_CR28","unstructured":"Kr\u00f6ning, D., R\u00fcmmer, P., Weissenbacher, G.: A proposal for a theory of finite sets, lists, and maps for the SMT-LIB standard. In: Informal Proceedings, 7th International Workshop on Satisfiability Modulo Theories at CADE, vol. 22 (2009)"},{"issue":"2","key":"628_CR29","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1145\/279227.279229","volume":"16","author":"L Lamport","year":"1998","unstructured":"Lamport, L.: The part-time parliament. ACM Trans. Comput. Syst. 16(2), 133\u2013169 (1998)","journal-title":"ACM Trans. Comput. Syst."},{"issue":"4","key":"628_CR30","first-page":"18","volume":"32","author":"L Lamport","year":"2001","unstructured":"Lamport, L., et al.: Paxos made simple. ACM Sigact News 32(4), 18\u201325 (2001)","journal-title":"ACM Sigact News"},{"key":"628_CR31","unstructured":"Li, C., Leit\u00e3o, J., Clement, A., Pregui\u00e7a, N., Rodrigues, R., Vafeiadis, V.: Automating the choice of consistency levels in replicated systems. In: 2014 USENIX Annual Technical Conference (USENIX ATC 14), pp. 281\u2013292 (2014)"},{"key":"628_CR32","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: Presented as part of the 10th USENIX Symposium on Operating Systems Design and Implementation (OSDI 12), pp. 265\u2013278 (2012)"},{"key":"628_CR33","unstructured":"Lipton, R.J., Sandberg, J.S.: Pram: A scalable shared memory. Technical Report TR-180-88, Computer Science Department, Princeton University (1988)"},{"key":"628_CR34","unstructured":"Liskov, B., Cowling, J.: Viewstamped replication revisited. Technical Report MIT-CSAIL-TR-2012-021, CSAIL, Massachusetts Institute of Technology (2012)"},{"key":"628_CR35","doi-asserted-by":"crossref","unstructured":"Lloyd, W., Freedman, M.J., Kaminsky, M., Andersen, D.G.: Don\u2019t settle for eventual: scalable causal consistency for wide-area storage with cops. In: Proceedings of the Twenty-Third ACM Symposium on Operating Systems Principles, pp. 401\u2013416. ACM (2011)","DOI":"10.1145\/2043556.2043593"},{"key":"628_CR36","unstructured":"Mehdi, S.A., Littley, C., Crooks, N., Alvisi, L., Bronson, N., Lloyd, W.: I can\u2019t believe it\u2019s not causal! scalable causal consistency with no slowdown cascades. In: NSDI, pp. 453\u2013468 (2017)"},{"issue":"4","key":"628_CR37","doi-asserted-by":"publisher","first-page":"378","DOI":"10.1145\/7239.7266","volume":"11","author":"C Mohan","year":"1986","unstructured":"Mohan, C., Lindsay, B., Obermarck, R.: Transaction management in the r* distributed database management system. ACM Trans. Database Syst. (TODS) 11(4), 378\u2013396 (1986)","journal-title":"ACM Trans. Database Syst. (TODS)"},{"key":"628_CR38","unstructured":"Mu, S., Nelson, L., Lloyd, W., Li, J.: Consolidating concurrency control and consensus for commits under conflicts. In: OSDI, pp. 517\u2013532 (2016)"},{"issue":"4","key":"628_CR39","doi-asserted-by":"publisher","first-page":"405","DOI":"10.1145\/7239.7265","volume":"11","author":"PE O\u2019Neil","year":"1986","unstructured":"O\u2019Neil, P.E.: The escrow transactional method. ACM Trans. Database Syst. (TODS) 11(4), 405\u2013430 (1986)","journal-title":"ACM Trans. Database Syst. (TODS)"},{"key":"628_CR40","unstructured":"Ongaro, D., Ousterhout, J.K.: In search of an understandable consensus algorithm. In: USENIX Annual Technical Conference, pp. 305\u2013319 (2014)"},{"key":"628_CR41","doi-asserted-by":"crossref","unstructured":"Ramachandra, K., Guravannavar, R., Sudarshan, S.: Program analysis and transformation for holistic optimization of database applications. In: Proceedings of the ACM SIGPLAN International Workshop on State of the Art in Java Program analysis, pp. 39\u201344. ACM (2012)","DOI":"10.1145\/2259051.2259057"},{"key":"628_CR42","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 2015 ACM SIGMOD International Conference on Management of Data, pp. 1311\u20131326. ACM (2015)","DOI":"10.1145\/2723372.2723720"},{"issue":"4","key":"628_CR43","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1145\/98163.98167","volume":"22","author":"FB Schneider","year":"1990","unstructured":"Schneider, F.B.: Implementing fault-tolerant services using the state machine approach: a tutorial. ACM Comput. Surv. (CSUR) 22(4), 299\u2013319 (1990)","journal-title":"ACM Comput. Surv. (CSUR)"},{"key":"628_CR44","doi-asserted-by":"crossref","unstructured":"Shapiro, M., Pregui\u00e7a, N., Baquero, C., Zawirski, M.: A comprehensive study of convergent and commutative replicated data types. Ph.D. thesis, Inria\u2013Centre Paris-Rocquencourt; INRIA (2011)","DOI":"10.1007\/978-3-642-24550-3_29"},{"key":"628_CR45","doi-asserted-by":"crossref","unstructured":"Shapiro, M., Pregui\u00e7a, N., Baquero, C., Zawirski, M.: Conflict-free replicated data types. In: Symposium on Self-Stabilizing Systems, pp. 386\u2013400. Springer (2011)","DOI":"10.1007\/978-3-642-24550-3_29"},{"key":"628_CR46","volume-title":"Managing Update Conflicts in Bayou, a Weakly Connected Replicated Storage System","author":"DB Terry","year":"1995","unstructured":"Terry, D.B., Theimer, M.M., Petersen, K., Demers, A.J., Spreitzer, M.J., Hauser, C.H.: Managing Update Conflicts in Bayou, a Weakly Connected Replicated Storage System, vol. 29. ACM, New York (1995)"},{"key":"628_CR47","doi-asserted-by":"crossref","unstructured":"Thomson, A., Diamond, T., Weng, S.-C., Ren, K., Shao, P., Abadi, D.J.: Calvin: fast distributed transactions for partitioned database systems. In: Proceedings of the 2012 ACM SIGMOD International Conference on Management of Data, pp. 1\u201312. ACM (2012)","DOI":"10.1145\/2213836.2213838"},{"issue":"1","key":"628_CR48","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1145\/1435417.1435432","volume":"52","author":"W Vogels","year":"2009","unstructured":"Vogels, W.: Eventually consistent. Commun. ACM 52(1), 40\u201344 (2009)","journal-title":"Commun. ACM"},{"key":"628_CR49","doi-asserted-by":"crossref","unstructured":"Wu, C., Faleiro, J., Lin, Y., Hellerstein, J.: Anna: A KVS for any scale. IEEE Trans. Knowl. Data Eng. (2019)","DOI":"10.1109\/TKDE.2019.2898401"},{"key":"628_CR50","doi-asserted-by":"crossref","unstructured":"Wu, Y., Chan, C.-Y., Tan, K.-L.: Transaction healing: Scaling optimistic concurrency control on multicores. In: Proceedings of the 2016 International Conference on Management of Data, pp. 1689\u20131704. ACM (2016)","DOI":"10.1145\/2882903.2915202"},{"key":"628_CR51","doi-asserted-by":"crossref","unstructured":"Zhang, I., Sharma, N.K., Szekeres, A., Krishnamurthy, A., Ports, D.R.: Building consistent transactions with inconsistent replication. In: Proceedings of the 25th Symposium on Operating Systems Principles, pp. 263\u2013278. ACM (2015)","DOI":"10.1145\/2815400.2815404"}],"container-title":["The VLDB Journal"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00778-020-00628-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s00778-020-00628-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00778-020-00628-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,9,4]],"date-time":"2021-09-04T23:30:03Z","timestamp":1630798203000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s00778-020-00628-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,9,5]]},"references-count":51,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2021,1]]}},"alternative-id":["628"],"URL":"https:\/\/doi.org\/10.1007\/s00778-020-00628-3","relation":{},"ISSN":["1066-8888","0949-877X"],"issn-type":[{"type":"print","value":"1066-8888"},{"type":"electronic","value":"0949-877X"}],"subject":[],"published":{"date-parts":[[2020,9,5]]},"assertion":[{"value":"29 January 2020","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"11 August 2020","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"20 August 2020","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"5 September 2020","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}