{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T09:22:28Z","timestamp":1725700948750},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642329241"},{"type":"electronic","value":"9783642329258"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-32925-8_14","type":"book-chapter","created":{"date-parts":[[2012,8,25]],"date-time":"2012-08-25T05:25:15Z","timestamp":1345872315000},"page":"135-147","source":"Crossref","is-referenced-by-count":7,"title":["Confluence Analysis for Distributed Programs: A Model-Theoretic Approach"],"prefix":"10.1007","author":[{"given":"William R.","family":"Marczak","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter","family":"Alvaro","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Neil","family":"Conway","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Joseph M.","family":"Hellerstein","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Maier","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"14_CR1","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1145\/1860702.1860704","volume":"39","author":"J.M. Hellerstein","year":"2010","unstructured":"Hellerstein, J.M.: The Declarative Imperative: Experiences and Conjectures in Distributed Logic. SIGMOD Rec\u00a039, 5\u201319 (2010)","journal-title":"SIGMOD Rec"},{"doi-asserted-by":"crossref","unstructured":"Alvaro, P., Condie, T., Conway, N., Elmeleegy, K., Hellerstein, J.M., Sears, R.C.: BOOM Analytics: Exploring Data-centric, Declarative Programming for the Cloud. In: EuroSys (2010)","key":"14_CR2","DOI":"10.1145\/1755913.1755937"},{"unstructured":"Belaramani, N., Zheng, J., Nayate, A., Soul\u00e9, R., Dahlin, M., Grimm, R.: PADS: A policy architecture for distributed storage systems. In: NSDI (2009)","key":"14_CR3"},{"doi-asserted-by":"crossref","unstructured":"Chu, D.C., Popa, L., Tavakoli, A., Hellerstein, J.M., Levis, P., Shenker, S., Stoica, I.: The design and implementation of a declarative sensor network system. In: SenSys (2007)","key":"14_CR4","DOI":"10.1145\/1322263.1322281"},{"issue":"11","key":"14_CR5","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1145\/1592761.1592785","volume":"52","author":"B.T. Loo","year":"2009","unstructured":"Loo, B.T., Condie, T., Garofalakis, M., Gay, D.E., Hellerstein, J.M., Maniatis, P., Ramakrishnan, R., Roscoe, T., Stoica, I.: Declarative networking. Communications of the ACM\u00a052(11), 87\u201395 (2009)","journal-title":"Communications of the ACM"},{"doi-asserted-by":"crossref","unstructured":"Ameloot, T.J., Neven, F., Van den Bussche, J.: Relational Transducers for Declarative Networking. In: PODS (2011)","key":"14_CR6","DOI":"10.1145\/1989284.1989321"},{"key":"14_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1007\/978-3-540-92995-6_6","volume-title":"Practical Aspects of Declarative Languages","author":"J.A. Navarro","year":"2008","unstructured":"Navarro, J.A., Rybalchenko, A.: Operational Semantics for Declarative Networking. In: Gill, A., Swift, T. (eds.) PADL 2009. LNCS, vol.\u00a05418, pp. 76\u201390. Springer, Heidelberg (2008)"},{"key":"14_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"584","DOI":"10.1007\/978-3-642-02658-4_43","volume-title":"Computer Aided Verification","author":"J.A.N. P\u00e9rez","year":"2009","unstructured":"P\u00e9rez, J.A.N., Rybalchenko, A., Singh, A.: Cardinality Abstraction for Declarative Networking Applications. In: Bouajjani, A., Maler, O. (eds.) CAV 2009. LNCS, vol.\u00a05643, pp. 584\u2013598. Springer, Heidelberg (2009)"},{"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 (November 2011)","key":"14_CR9"},{"doi-asserted-by":"crossref","unstructured":"Sacc\u00e0, D., Zaniolo, C.: Stable Models and Non-Determinism in Logic Programs with Negation. In: PODS, pp. 205\u2013217 (1990)","key":"14_CR10","DOI":"10.1145\/298514.298572"},{"unstructured":"Alvaro, P., Conway, N., Hellerstein, J.M., Marczak, W.R.: Consistency Analysis in Bloom: a CALM and Collected Approach. In: CIDR (2011)","key":"14_CR11"},{"doi-asserted-by":"crossref","unstructured":"Abiteboul, S., Bienvenu, M., Galland, A., Antoine, E.: A rule-based language for web data management. In: PODS (2011)","key":"14_CR12","DOI":"10.1145\/1989284.1989320"},{"unstructured":"Bloom programming language, \n                    \n                      http:\/\/www.bloom-lang.org","key":"14_CR13"},{"doi-asserted-by":"crossref","unstructured":"Marczak, W., Alvaro, P., Conway, N., Hellerstein, J.M., Maier, D.: Confluence analysis for distributed programs: A model-theoretic approach. Technical report, EECS Department, University of California, Berkeley (June 2012)","key":"14_CR14","DOI":"10.21236\/ADA555874"},{"key":"14_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"262","DOI":"10.1007\/978-3-642-24206-9_16","volume-title":"Datalog Reloaded","author":"P. Alvaro","year":"2011","unstructured":"Alvaro, P., Marczak, W.R., Conway, N., Hellerstein, J.M., Maier, D., Sears, R.: Dedalus: Datalog in Time and Space. In: de Moor, O., Gottlob, G., Furche, T., Sellers, A. (eds.) Datalog 2010. LNCS, vol.\u00a06702, pp. 262\u2013281. Springer, Heidelberg (2011)"},{"doi-asserted-by":"crossref","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. In: SOSP (1995)","key":"14_CR16","DOI":"10.1145\/224056.224070"},{"key":"14_CR17","doi-asserted-by":"publisher","first-page":"140","DOI":"10.1109\/PDIS.1994.331722","volume-title":"Proceedings of the Third International Conference on Parallel and Distributed Information Systems, PDIS 1994","author":"D.B. Terry","year":"1994","unstructured":"Terry, D.B., Demers, A.J., Petersen, K., Spreitzer, M., Theimer, M., Welch, B.W.: Session Guarantees for Weakly Consistent Replicated Data. In: Proceedings of the Third International Conference on Parallel and Distributed Information Systems, PDIS 1994, pp. 140\u2013149. IEEE Computer Society, Washington, DC (1994)"},{"unstructured":"Gray, J., Reuter, A.: Transaction Processing: Concepts and Techniques (1993)","key":"14_CR18"},{"key":"14_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1007\/BFb0055496","volume-title":"Transactions and Change in Logic Databases","author":"G. Lausen","year":"1998","unstructured":"Lausen, G., Lud\u00e4scher, B., May, W.: On Active Deductive Databases: The Statelog Approach. In: Kifer, M., Voronkov, A., Freitag, B., Decker, H. (eds.) DYNAMICS 1997, and ILPS-WS 1997. LNCS, vol.\u00a01472, pp. 69\u2013106. Springer, Heidelberg (1998)"},{"unstructured":"Cleary, J.G., Utting, M., Clayton, R.: Data Structures Considered Harmful. In: Australasian Workshop on Computational Logic (2000)","key":"14_CR20"},{"key":"14_CR21","first-page":"1435","volume":"1","author":"M. Liu","year":"1994","unstructured":"Liu, M., Cleary, J.: Declarative Updates in Deductive Databases. Journal of Computing and Information\u00a01, 1435\u20131446 (1994)","journal-title":"Journal of Computing and Information"},{"key":"14_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1007\/10704567_18","volume-title":"Principles and Practice of Declarative Programming","author":"L. Lu","year":"1999","unstructured":"Lu, L., Cleary, J.G.: An Operational Semantics of Starlog. In: Nadathur, G. (ed.) PPDP 1999. LNCS, vol.\u00a01702, pp. 131\u2013162. Springer, Heidelberg (1999)"},{"doi-asserted-by":"crossref","unstructured":"Chomicki, J., Imieli\u0144ski, T.: Temporal Deductive Databases and Infinite Objects. In: PODS, pp. 61\u201373 (1988)","key":"14_CR23","DOI":"10.1145\/308386.308416"},{"doi-asserted-by":"crossref","unstructured":"Loo, B.T., Condie, T., Garofalakis, M., Gay, D.E., Hellerstein, J.M., Maniatis, P., Ramakrishnan, R., Roscoe, T., Stoica, I.: Declarative Networking: Language, Execution and Optimization. In: SIGMOD (2006)","key":"14_CR24","DOI":"10.1145\/1142473.1142485"},{"doi-asserted-by":"crossref","unstructured":"Mao, Y.: On the declarativity of declarative networking. In: NetDB (2009)","key":"14_CR25","DOI":"10.1145\/1713254.1713260"}],"container-title":["Lecture Notes in Computer Science","Datalog in Academia and Industry"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-32925-8_14.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T11:48:55Z","timestamp":1620128935000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-32925-8_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642329241","9783642329258"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-32925-8_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}