{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,17]],"date-time":"2026-01-17T07:10:46Z","timestamp":1768633846490,"version":"3.49.0"},"reference-count":44,"publisher":"Cambridge University Press (CUP)","issue":"4","license":[{"start":{"date-parts":[[2015,8,20]],"date-time":"2015-08-20T00:00:00Z","timestamp":1440028800000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Theory and Practice of Logic Programming"],"published-print":{"date-parts":[[2016,7]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>In the Declarative Networking paradigm, Datalog-like languages are used to express distributed computations. Whereas recently formal operational semantics for these languages have been developed, a corresponding declarative semantics has been lacking so far. The challenge is to capture precisely the amount of nondeterminism that is inherent to distributed computations due to concurrency, networking delays, and asynchronous communication. This paper shows how a declarative, model-based semantics can be obtained by simply using the well-known stable model semantics for Datalog with negation. We show that the model-based semantics matches previously proposed formal operational semantics.<\/jats:p>","DOI":"10.1017\/s1471068415000381","type":"journal-article","created":{"date-parts":[[2015,8,20]],"date-time":"2015-08-20T07:35:15Z","timestamp":1440056115000},"page":"378-417","source":"Crossref","is-referenced-by-count":3,"title":["Putting logic-based distributed systems on stable grounds"],"prefix":"10.1017","volume":"16","author":[{"given":"TOM J.","family":"AMELOOT","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"JAN","family":"VAN DEN BUSSCHE","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"WILLIAM R.","family":"MARCZAK","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"PETER","family":"ALVARO","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"JOSEPH M.","family":"HELLERSTEIN","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2015,8,20]]},"reference":[{"key":"S1471068415000381_ref38","first-page":"76","volume-title":"Proceedings 11th International Symposium on Practical Aspects of Declarative Languages","author":"Navarro","year":"2009"},{"key":"S1471068415000381_ref35","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068413000513"},{"key":"S1471068415000381_ref22","doi-asserted-by":"crossref","unstructured":"Hellerstein J. 2010a. Datalog redux: Experience and conjecture. Video available (under the title \u201cThe Declarative Imperative\u201d) from URL: http:\/\/db.cs.berkeley.edu\/jmh\/. PODS 2010 keynote.","DOI":"10.1145\/1807085.1807087"},{"key":"S1471068415000381_ref18","first-page":"90","volume-title":"Proc. 25th ACM Symposium on Principles of Database Systems","author":"Deutsch","year":"2006"},{"key":"S1471068415000381_ref3","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139195881"},{"key":"S1471068415000381_ref24","doi-asserted-by":"publisher","DOI":"10.1145\/1989323.1989456"},{"key":"S1471068415000381_ref41","first-page":"137","volume-title":"Proc. 14th ACM Symposium on the Theory of Computing","author":"Vardi","year":"1982"},{"key":"S1471068415000381_ref4","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(02)00183-2"},{"key":"S1471068415000381_ref17","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-24206-9"},{"key":"S1471068415000381_ref44","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1145\/2274576.2274588","volume-title":"Proc. of the 15th International Conference on Database Theory","author":"Zinn","year":"2012"},{"key":"S1471068415000381_ref2","volume-title":"Foundations of Databases","author":"Abiteboul","year":"1995"},{"key":"S1471068415000381_ref21","doi-asserted-by":"crossref","unstructured":"Grumbach S. and Wang F. 2010. Netlog, a rule-based language for distributed programming. In Proc. 12th International Symposium on Practical Aspects of Declarative Languages, M. Carro and R. Pe\u00f1a , Eds. Lecture Notes in Computer Science, vol. 5937, 88\u2013103.","DOI":"10.1007\/978-3-642-11503-5_9"},{"key":"S1471068415000381_ref37","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-60085-2_17"},{"key":"S1471068415000381_ref13","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(94)90024-8"},{"key":"S1471068415000381_ref14","doi-asserted-by":"publisher","DOI":"10.1007\/BF01872848"},{"key":"S1471068415000381_ref28","first-page":"3","volume-title":"Proc. of the 19th ACM Symposium on Principles of Distributed Computing","author":"Lamport","year":"2000"},{"key":"S1471068415000381_ref5","doi-asserted-by":"publisher","DOI":"10.1145\/1713254.1713261"},{"key":"S1471068415000381_ref20","first-page":"1070","volume-title":"Proc. of the 5th International Conference on Logic Programming","author":"Gelfond","year":"1988"},{"key":"S1471068415000381_ref31","first-page":"246","volume-title":"Proc. of the 7th International Conference on Computational Logic in Multi-agent Systems","author":"Leite","year":"2007"},{"key":"S1471068415000381_ref30","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45448-9_11"},{"key":"S1471068415000381_ref15","doi-asserted-by":"publisher","DOI":"10.1002\/0471478210"},{"key":"S1471068415000381_ref42","volume-title":"Using Z: Specification, Refinement, and Proof","author":"Woodcock","year":"1996"},{"key":"S1471068415000381_ref11","doi-asserted-by":"publisher","DOI":"10.1145\/2450142.2450151"},{"key":"S1471068415000381_ref32","doi-asserted-by":"crossref","first-page":"454","DOI":"10.1007\/978-3-642-30743-0_31","volume-title":"Correct Reasoning - Essays on Logic-Based AI in Honour of Vladimir Lifschitz","author":"Lobo","year":"2012"},{"key":"S1471068415000381_ref26","doi-asserted-by":"crossref","first-page":"106","DOI":"10.1109\/SECPRI.2001.924291","volume-title":"Proc. of the 2001 IEEE Symposium on Security and Privacy","author":"Jim","year":"2001"},{"key":"S1471068415000381_ref10","doi-asserted-by":"publisher","DOI":"10.1145\/1989284.1989321"},{"key":"S1471068415000381_ref12","doi-asserted-by":"crossref","first-page":"86","DOI":"10.1145\/2274576.2274587","volume-title":"Proc. of the 15th International Conference on Database Theory","author":"Ameloot","year":"2012"},{"key":"S1471068415000381_ref8","unstructured":"Alvaro P. , Marczak W. et al. 2011. Dedalus: Datalog in time and space. See de Moor et al. (2011), 262\u2013281."},{"key":"S1471068415000381_ref16","doi-asserted-by":"crossref","first-page":"4","DOI":"10.1145\/2466486.2482856","article-title":"There's just no getting around it: You're building a distributed system","volume":"11","author":"Cavage","year":"2013","journal-title":"ACM Queue"},{"key":"S1471068415000381_ref43","doi-asserted-by":"publisher","DOI":"10.1007\/s13174-010-0007-6"},{"key":"S1471068415000381_ref23","doi-asserted-by":"publisher","DOI":"10.1145\/1860702.1860704"},{"key":"S1471068415000381_ref7","doi-asserted-by":"publisher","DOI":"10.21236\/ADA538767"},{"key":"S1471068415000381_ref6","unstructured":"Alvaro P. , Conway N. , Hellerstein J. and Marczak W. 2011. Consistency analysis in Bloom: A CALM and collected approach. In Proc. 5th Biennial Conference on Innovative Data Systems Research, 249\u2013260. URL: www.cidrdb.org."},{"key":"S1471068415000381_ref1","doi-asserted-by":"publisher","DOI":"10.1145\/1989284.1989320"},{"key":"S1471068415000381_ref40","first-page":"205","volume-title":"Proc. of the 9th ACM Symposium on Principles of Database Systems","author":"Sacc\u00e0","year":"1990"},{"key":"S1471068415000381_ref33","doi-asserted-by":"publisher","DOI":"10.1145\/1592761.1592785"},{"key":"S1471068415000381_ref34","volume-title":"Distributed Algorithms","author":"Lynch","year":"1996"},{"key":"S1471068415000381_ref25","unstructured":"Interlandi M. , Tanca L. and Bergamaschi S. 2013. Datalog in time and space, synchronously. In Proc. 7th Alberto Mendelzon International Workshop on Foundations of Data Management."},{"key":"S1471068415000381_ref9","doi-asserted-by":"publisher","DOI":"10.1016\/j.jcss.2014.01.005"},{"key":"S1471068415000381_ref19","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-4886-6"},{"key":"S1471068415000381_ref36","doi-asserted-by":"crossref","unstructured":"Marczak W. , Alvaro P. , Conway N. , Hellerstein J. and Maier D. 2011. Confluence analysis for distributed programs: A model-theoretic approach. Technical Report UCB\/EECS-2011-154 (Dec), EECS Department, University of California, Berkeley.","DOI":"10.21236\/ADA555874"},{"key":"S1471068415000381_ref29","doi-asserted-by":"publisher","DOI":"10.1007\/PL00008921"},{"key":"S1471068415000381_ref39","doi-asserted-by":"crossref","first-page":"174","DOI":"10.1007\/11961536_12","volume-title":"Proc. of the 4th International Conference on Declarative Agent Languages and Technologies","author":"Nigam","year":"2006"},{"key":"S1471068415000381_ref27","doi-asserted-by":"publisher","DOI":"10.1016\/B978-1-4832-1313-2.50038-X"}],"container-title":["Theory and Practice of Logic Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S1471068415000381","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,5,20]],"date-time":"2022-05-20T18:02:31Z","timestamp":1653069751000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S1471068415000381\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,8,20]]},"references-count":44,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2016,7]]}},"alternative-id":["S1471068415000381"],"URL":"https:\/\/doi.org\/10.1017\/s1471068415000381","relation":{},"ISSN":["1471-0684","1475-3081"],"issn-type":[{"value":"1471-0684","type":"print"},{"value":"1475-3081","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,8,20]]}}}