{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,24]],"date-time":"2026-06-24T15:03:51Z","timestamp":1782313431988,"version":"3.54.5"},"publisher-location":"Cham","reference-count":24,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031626371","type":"print"},{"value":"9783031626388","type":"electronic"}],"license":[{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024]]},"DOI":"10.1007\/978-3-031-62638-8_2","type":"book-chapter","created":{"date-parts":[[2024,6,11]],"date-time":"2024-06-11T04:01:37Z","timestamp":1718078497000},"page":"18-35","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Synql: A CRDT-Based Approach for\u00a0Replicated Relational Databases with\u00a0Integrity Constraints"],"prefix":"10.1007","author":[{"given":"Claudia-Lavinia","family":"Ignat","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Victorien","family":"Elvinger","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Habibatou","family":"Ba","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2024,6,12]]},"reference":[{"key":"2_CR1","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1016\/j.jpdc.2017.08.003","volume":"111","author":"PS Almeida","year":"2018","unstructured":"Almeida, P.S., Shoker, A., Baquero, C.: Delta state replicated data types. J. Parallel Distrib. Comput. 111, 162\u2013173 (2018). https:\/\/doi.org\/10.1016\/j.jpdc.2017.08.003","journal-title":"J. Parallel Distrib. Comput."},{"key":"2_CR2","doi-asserted-by":"publisher","unstructured":"Bailis, P., Fekete, A., Franklin, M.J., Ghodsi, A., Hellerstein, J.M., Stoica, I.: Feral concurrency control: an empirical investigation of modern application integrity. In: Proceedings of the 2015 ACM SIGMOD International Conference on Management of Data. SIGMOD 2015, Association for Computing Machinery, New York, NY, USA (2015). https:\/\/doi.org\/10.1145\/2723372.2737784","DOI":"10.1145\/2723372.2737784"},{"key":"2_CR3","doi-asserted-by":"publisher","unstructured":"Bailis, P., Fekete, A.D., Franklin, M.J., Ghodsi, A., Hellerstein, J.M., Stoica, I.: Coordination avoidance in database systems. Proceedings of the VLDB Endowment 8(3), 185\u2013196 (2014). https:\/\/doi.org\/10.14778\/2735508.2735509","DOI":"10.14778\/2735508.2735509"},{"key":"2_CR4","doi-asserted-by":"publisher","unstructured":"Balegas, V., et al.: Putting consistency back into eventual consistency. In: Proceedings of the Tenth European Conference on Computer Systems, pp. 1\u201316. EuroSys 2015 (2015). https:\/\/doi.org\/10.1145\/2741948.2741972","DOI":"10.1145\/2741948.2741972"},{"key":"2_CR5","doi-asserted-by":"publisher","unstructured":"Balegas, V., Duarte, S., Ferreira, C., Rodrigues, R., Pregui\u00e7a, N.M.: IPA: invariant-preserving applications for weakly consistent replicated databases. Proc. VLDB Endowment 12(4), 404\u2013418 (2018). https:\/\/doi.org\/10.14778\/3297753.3297760","DOI":"10.14778\/3297753.3297760"},{"key":"2_CR6","unstructured":"Baquero, C., Almeida, P.S., Cunha, A., Ferreira, C.: Composition in state-based replicated data types. Bull. Eur. Assoc. Theor. Comput. Sci. 123 (2017). http:\/\/eatcs.org\/beatcs\/index.php\/beatcs\/article\/view\/507"},{"key":"2_CR7","doi-asserted-by":"publisher","unstructured":"Brewer, E.A.: Towards robust distributed systems (abstract). In: Proceedings of the Nineteenth Annual ACM Symposium on Principles of Distributed Computing, PODC 2000 (2000). https:\/\/doi.org\/10.1145\/343477.343502","DOI":"10.1145\/343477.343502"},{"key":"2_CR8","doi-asserted-by":"publisher","unstructured":"Corbett, J.C., et al.: Spanner: Google\u2019s globally distributed database. ACM Trans. Comput. Syst. 31(3) (2013). https:\/\/doi.org\/10.1145\/2491245","DOI":"10.1145\/2491245"},{"key":"2_CR9","doi-asserted-by":"publisher","unstructured":"DeCandia, G., et al.: Dynamo: Amazon\u2019s highly available key-value store. In: Proceedings of Twenty-First ACM SIGOPS Symposium on Operating Systems Principles, SOSP 2007 (2007). https:\/\/doi.org\/10.1145\/1294261.1294281","DOI":"10.1145\/1294261.1294281"},{"key":"2_CR10","doi-asserted-by":"publisher","unstructured":"Fox, A., Brewer, E.: Harvest, yield, and scalable tolerant systems. In: Proceedings of the Seventh Workshop on Hot Topics in Operating Systems, pp. 174\u2013178, March 1999. https:\/\/doi.org\/10.1109\/HOTOS.1999.798396","DOI":"10.1109\/HOTOS.1999.798396"},{"issue":"2","key":"2_CR11","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). https:\/\/doi.org\/10.1145\/564585.564601","journal-title":"ACM SIGACT News"},{"key":"2_CR12","doi-asserted-by":"publisher","unstructured":"Johnson, P.R., Thomas, R.: Maintenance of duplicate databases, January 1975. https:\/\/doi.org\/10.17487\/RFC0677","DOI":"10.17487\/RFC0677"},{"key":"2_CR13","doi-asserted-by":"publisher","unstructured":"Kleppmann, M., Wiggins, A., van Hardenberg, P., McGranaghan, M.: Local-first software: you own your data, in spite of the cloud. In: Masuhara, H., Petricek, T. (eds.) Proceedings of the 2019 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software. Onward! 2019 (2019). https:\/\/doi.org\/10.1145\/3359591.3359737","DOI":"10.1145\/3359591.3359737"},{"key":"2_CR14","doi-asserted-by":"publisher","unstructured":"Kulkarni, S.S., Demirbas, M., Madappa, D., Avva, B., Leone, M.: Logical physical clocks. In: Proceedings of the 18th International Conference on Principles of Distributed Systems, OPODIS 2014 (2014). https:\/\/doi.org\/10.1007\/978-3-319-14472-6_2","DOI":"10.1007\/978-3-319-14472-6_2"},{"key":"2_CR15","doi-asserted-by":"publisher","unstructured":"Lakshman, A., Malik, P.: Cassandra: A decentralized structured storage system. ACM SIGOPS Oper. Syst. Rev. 44(2), 35\u201340 (2010). https:\/\/doi.org\/10.1145\/1773912.1773922","DOI":"10.1145\/1773912.1773922"},{"key":"2_CR16","doi-asserted-by":"publisher","unstructured":"Li, C., Porto, D., Clement, A., Gehrke, J., Pregui\u00e7a, N.M., Rodrigues, R.: Making geo-replicated systems fast as possible, consistent when necessary. In: Thekkath, C., Vahdat, A. (eds.) Proceedings of the 10th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2012 (2012). https:\/\/doi.org\/10.5555\/2387880.2387906","DOI":"10.5555\/2387880.2387906"},{"key":"2_CR17","unstructured":"Lopes, P., et al.: Antidote SQL: relaxed when possible, strict when necessary (2019). http:\/\/arxiv.org\/abs\/1902.03576"},{"key":"2_CR18","doi-asserted-by":"publisher","unstructured":"Shapiro, M., Pregui\u00e7a, N.M., Baquero, C., Zawirski, M.: Conflict-free replicated data types. In: Proceedings of the 13th International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2011 (2011). https:\/\/doi.org\/10.1007\/978-3-642-24550-3_29","DOI":"10.1007\/978-3-642-24550-3_29"},{"key":"2_CR19","doi-asserted-by":"publisher","unstructured":"Stonebraker, M., Madden, S., Abadi, D.J., Harizopoulos, S., Hachem, N., Helland, P.: The end of an architectural era: (it\u2019s time for a complete rewrite). In: Proceedings of the 33rd International Conference on Very Large Data Bases, VLDB 2007 (2007). https:\/\/doi.org\/10.5555\/1325851.1325981","DOI":"10.5555\/1325851.1325981"},{"key":"2_CR20","doi-asserted-by":"publisher","unstructured":"Sumbaly, R., Kreps, J., Gao, L., Feinberg, A., Soman, C., Shah, S.: Serving large-scale batch computed data with project voldemort. In: Proceedings of the 10th USENIX Conference on File and Storage Technologies, FAST 2012, USENIX Association (2012). https:\/\/doi.org\/10.5555\/2208461.2208479","DOI":"10.5555\/2208461.2208479"},{"key":"2_CR21","doi-asserted-by":"publisher","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, SIGMOD 2012 (2012). https:\/\/doi.org\/10.1145\/2213836.2213838","DOI":"10.1145\/2213836.2213838"},{"key":"2_CR22","doi-asserted-by":"publisher","unstructured":"Tu, S., Zheng, W., Kohler, E., Liskov, B., Madden, S.: Speedy transactions in multicore in-memory databases. In: Proceedings of the Twenty-Fourth ACM Symposium on Operating Systems Principles, SOSP 2013 (2013). https:\/\/doi.org\/10.1145\/2517349.2522713","DOI":"10.1145\/2517349.2522713"},{"key":"2_CR23","doi-asserted-by":"publisher","unstructured":"Yu, W., Elvinger, V., Ignat, C.L.: A generic undo support for state-based CRDTS. In: Felber, P., Friedman, R., Gilbert, S., Miller, A. (eds.) Proceedings of the 23rd International Conference on Principles of Distributed Systems, OPODIS 2019 (2019). https:\/\/doi.org\/10.4230\/LIPIcs.OPODIS.2019.14","DOI":"10.4230\/LIPIcs.OPODIS.2019.14"},{"key":"2_CR24","doi-asserted-by":"publisher","unstructured":"Yu, W., Ignat, C.L.: Conflict-free replicated relations for multi-synchronous database management at edge. In: Proceedings of the IEEE International Conference on Smart Data Services, SMDS 2020 (2020). https:\/\/doi.org\/10.1109\/SMDS49396.2020.00021","DOI":"10.1109\/SMDS49396.2020.00021"}],"container-title":["Lecture Notes in Computer Science","Distributed Applications and Interoperable Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-62638-8_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,11]],"date-time":"2024-06-11T04:02:19Z","timestamp":1718078539000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-62638-8_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9783031626371","9783031626388"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-62638-8_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024]]},"assertion":[{"value":"12 June 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"DAIS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"IFIP International Conference on Distributed Applications and Interoperable Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Groningen","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"The Netherlands","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"17 June 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"21 June 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"24","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"dais2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}