{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,24]],"date-time":"2025-11-24T05:45:13Z","timestamp":1763963113705,"version":"3.45.0"},"publisher-location":"Cham","reference-count":27,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031706288"},{"type":"electronic","value":"9783031706264"}],"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-70626-4_11","type":"book-chapter","created":{"date-parts":[[2024,9,1]],"date-time":"2024-09-01T03:01:52Z","timestamp":1725159712000},"page":"155-169","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Coordination-Free Replicated Datalog Streams with\u00a0Application-Specific Availability"],"prefix":"10.1007","author":[{"given":"Owais","family":"Qayyum","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8886-9047","authenticated-orcid":false,"given":"Weihai","family":"Yu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,9,1]]},"reference":[{"key":"11_CR1","volume-title":"Foundations of Databases","author":"S Abiteboul","year":"1995","unstructured":"Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison-Wesley, Boston (1995)"},{"key":"11_CR2","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)","journal-title":"J. Parallel Distrib. Comput."},{"key":"11_CR3","doi-asserted-by":"crossref","unstructured":"Ameloot, T.J., Neven, F., den Bussche, J.V.: Relational transducers for declarative networking. J. ACM 60(2), 15:1\u201315:38 (2013)","DOI":"10.1145\/2450142.2450151"},{"issue":"1","key":"11_CR4","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1331904.1331907","volume":"33","author":"M Balazinska","year":"2018","unstructured":"Balazinska, M., Balakrishnan, H., Madden, S.R., Stonebraker, M.: Fault tolerance in the borealis distributed stream processing system. ACM Trans. Database Syst. 33(1), 1\u201344 (2018)","journal-title":"ACM Trans. Database Syst."},{"issue":"2","key":"11_CR5","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1145\/256303.256306","volume":"44","author":"S Bistarelli","year":"1997","unstructured":"Bistarelli, S., Montanari, U., Rossi, F.: Semiring-based constraint satisfaction and optimization. J. ACM 44(2), 201\u2013236 (1997)","journal-title":"J. ACM"},{"key":"11_CR6","unstructured":"Dean, J., Ghemawat, S.: Mapreduce: simplified data processing on large clusters. In: Brewer, E.A., Chen, P. (eds.) OSDI, pp. 137\u2013150 (2004)"},{"key":"11_CR7","doi-asserted-by":"crossref","unstructured":"Enes, V., Almeida, P.S., Baquero, C., Leit\u00e3o, J.: Efficient Synchronization of State-Based CRDTs. In: ICDE (2019)","DOI":"10.1109\/ICDE.2019.00022"},{"key":"11_CR8","doi-asserted-by":"crossref","unstructured":"Green, T.J., Karvounarakis, G., Tannen, V.: Provenance semirings. In: PODS, pp. 31\u201340 (2007)","DOI":"10.1145\/1265530.1265535"},{"issue":"2","key":"11_CR9","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1145\/170036.170066","volume":"22","author":"A Gupta","year":"1993","unstructured":"Gupta, A., Mumick, I.S., Subrahmanian, V.S.: Maintaining views incrementally. SIGMOD Rec. 22(2), 157\u2013166 (1993)","journal-title":"SIGMOD Rec."},{"issue":"1","key":"11_CR10","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. SIGMOD Rec. 39(1), 5\u201319 (2010)","journal-title":"SIGMOD Rec."},{"key":"11_CR11","unstructured":"Hwang, J.H., Balazinska, M., Rasin, A., Cetintemel, U., Stonebraker, M., Zdonik, S.: High-availability algorithms for distributed stream processing. In: ICDE, pp. 779\u2013790 (2005)"},{"key":"11_CR12","doi-asserted-by":"crossref","unstructured":"Hwang, J., \u00c7etintemel, U., Zdonik, S.B.: Fast and highly-available stream processing over wide area networks. In: Alonso, G., Blakeley, J.A., Chen, A.L.P. (eds.) (ICDE), pp. 804\u2013813 (2008)","DOI":"10.1109\/ICDE.2008.4497489"},{"issue":"3","key":"11_CR13","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1145\/1462571.1462577","volume":"37","author":"ZG Ives","year":"2008","unstructured":"Ives, Z.G., et al.: The ORCHESTRA collaborative data sharing system. SIGMOD Rec. 37(3), 26\u201332 (2008)","journal-title":"SIGMOD Rec."},{"issue":"5","key":"11_CR14","doi-asserted-by":"publisher","first-page":"965","DOI":"10.1007\/s00224-019-09959-3","volume":"64","author":"B Ketsman","year":"2020","unstructured":"Ketsman, B., Albarghouthi, A., Koutris, P.: Distribution policies for datalog. Theory Comput. Syst. 64(5), 965\u2013998 (2020)","journal-title":"Theory Comput. Syst."},{"key":"11_CR15","doi-asserted-by":"crossref","unstructured":"Kleppmann, M., Wiggins, A., van Hardenberg, P., McGranaghan, M.: Local-first software: you own your data, in spite of the cloud. In: ACM Onward!, pp. 154\u2013178 (2019)","DOI":"10.1145\/3359591.3359737"},{"key":"11_CR16","doi-asserted-by":"crossref","unstructured":"Loo, B.T., et al.: Declarative networking: language, execution and optimization. In: SIGMOD, pp. 97\u2013108 (2006)","DOI":"10.1145\/1142473.1142485"},{"key":"11_CR17","unstructured":"McSherry, F., Murray, D.G., Isaacs, R., Isard, M.: Differential dataflow. In: CIDR (2013)"},{"key":"11_CR18","doi-asserted-by":"crossref","unstructured":"Meiklejohn, C., van Roy, P.: Lasp: a language for distributed, coordination-free programming. In: PPDP, pp. 184\u2013195 (2015)","DOI":"10.1145\/2790449.2790525"},{"key":"11_CR19","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1016\/j.artint.2018.12.004","volume":"269","author":"B Motik","year":"2019","unstructured":"Motik, B., Nenov, Y., Piro, R., Horrocks, I.: Maintenance of datalog materialisations revisited. Artif. Intell. 269, 76\u2013136 (2019)","journal-title":"Artif. Intell."},{"key":"11_CR20","doi-asserted-by":"crossref","unstructured":"Nigam, V., Jia, L., Thau\u00a0Loo, B., Scedrov, A.: Maintaining distributed logic programs incrementally. In: PPDP, pp. 125\u2013136 (2011)","DOI":"10.1145\/2003476.2003495"},{"key":"11_CR21","doi-asserted-by":"crossref","unstructured":"Qayyum, O., Yu, W.: Toward replicated and asynchronous data streams for edge-cloud applications. In: 37th ACM\/SIGAPP Symposium on Applied Computing (SAC), pp. 339\u2013346. ACM (2022)","DOI":"10.1145\/3477314.3507687"},{"key":"11_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"386","DOI":"10.1007\/978-3-642-24550-3_29","volume-title":"Stabilization, Safety, and Security of Distributed Systems","author":"M Shapiro","year":"2011","unstructured":"Shapiro, M., Pregui\u00e7a, N., Baquero, C., Zawirski, M.: Conflict-free replicated data types. In: D\u00e9fago, X., Petit, F., Villain, V. (eds.) SSS 2011. LNCS, vol. 6976, pp. 386\u2013400. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-24550-3_29"},{"key":"11_CR23","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1007\/BF01762108","volume":"3","author":"JD Ullman","year":"1988","unstructured":"Ullman, J.D., Gelder, A.V.: Parallel complexity of logical query programs. Algorithmica 3, 5\u201342 (1988)","journal-title":"Algorithmica"},{"issue":"1","key":"11_CR24","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1145\/1435417.1435432","volume":"52","author":"W Vogels","year":"2009","unstructured":"Vogels, W.: Eventually consistent. CACM 52(1), 40\u201344 (2009)","journal-title":"CACM"},{"key":"11_CR25","doi-asserted-by":"crossref","unstructured":"Xin, R.S., Rosen, J., Zaharia, M., Franklin, M.J., Shenker, S., Stoica, I.: Shark: SQL and rich analytics at scale. In: SIGMOD, pp. 13\u201324 (2013)","DOI":"10.1145\/2463676.2465288"},{"key":"11_CR26","doi-asserted-by":"crossref","unstructured":"Yu, W., Ignat, C.L.: Conflict-free replicated relations for multi-synchronous database management at edge. In: IEEE International Conference on Smart Data Services, pp. 113\u2013121 (2020)","DOI":"10.1109\/SMDS49396.2020.00021"},{"issue":"1","key":"11_CR27","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1109\/69.368511","volume":"7","author":"W Zhang","year":"1995","unstructured":"Zhang, W., Wang, K., Chau, S.: Data partition and parallel evaluation of datalog programs. IEEE Trans. Knowl. Data Eng. 7(1), 163\u2013176 (1995)","journal-title":"IEEE Trans. Knowl. Data Eng."}],"container-title":["Lecture Notes in Computer Science","Advances in Databases and Information Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-70626-4_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,11,24]],"date-time":"2025-11-24T05:43:33Z","timestamp":1763963013000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-70626-4_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9783031706288","9783031706264"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-70626-4_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2024]]},"assertion":[{"value":"1 September 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ADBIS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"European Conference on Advances in Databases and Information Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Bayonne","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"France","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":"28 August 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"31 August 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"28","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"adbis2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/conferences.sigappfr.org\/adbis2024\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}