Skip to main content
    • Aa
    • Aa

Putting logic-based distributed systems on stable grounds


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.

Linked references
Hide All

This list contains references from the content that can be linked to their source. For a full set of references and notes please see the PDF or HTML where available.

S. Abiteboul , M. Bienvenu , A. Galland , et al.2011. A rule-based language for Web data management. In Proc. 30th ACM Symposium on Principles of Database Systems, ACM Press, New York, NY, USA, 293304.

J. Abrial 2010. Modeling in Event-B – System and Software Engineering. Cambridge University Press.

J. Alferes , L. Pereira , H. Przymusinska and T. Przymusinski 2002. LUPS–-a language for updating logic programs. Artificial Intelligence 138, 1–2, 87116.

P. Alvaro , T. Condie , N. Conway , J. Hellerstein and R. Sears 2009. I do declare: Consensus in a logic language. Operating Systems Review 43, 4, 2530.

T. Ameloot and J. Van den Bussche 2014. Positive Dedalus programs tolerate non-causality. Journal of Computer and System Sciences 80, 7, 11911213.

T. Ameloot , F. Neven and J. Van den Bussche 2011. Relational transducers for declarative networking. In Proc. 30th ACM Symposium on Principles of Database Systems, ACM Press, 283292.

T. Ameloot , F. Neven and J. Van den Bussche 2013. Relational transducers for declarative networking. Journal of the ACM 60, 2, 15:115:38.

K. Apt , N. Francez and S. Katz 1988. Appraising fairness in languages for distributed programming. Distributed Computing 2, 226241.

H. Attiya and J. Welch 2004. Distributed Computing: Fundamentals, Simulations, and Advanced Topics. Wiley.

O. de Moor , G. Gottlob , T. Furche and A. Sellers (Eds.) 2011. Datalog Reloaded: First International Workshop, Datalog 2010, Lecture Notes in Computer Science, Springer-Verlag, Berlin/Heidelberg, Germany, vol. 6702.

N. Francez 1986. Fairness. Springer-Verlag New York, Inc., New York, NY, USA.

J. Hellerstein 2010b. The declarative imperative: Experiences and conjectures in distributed logic. SIGMOD Record 39, 1, 519.

S. Huang , T. Green and B. Loo 2011. Datalog and emerging applications: An interactive tutorial. In Proc. of the 2011 ACM SIGMOD International Conference on the Management of Data, SIGMOD ’11, ACM, 12131216.

R. Krishnamurthy and S. Naqvi 1988. Non-deterministic choice in Datalog. In Proc. of the 3rd International Conference on Data and Knowledge Bases, Morgan Kaufmann, Burlington, MA, USA, 416424.

L. Lamport 2000b. Fairness and hyperfairness. Distributed Computing 13, 4, 239245.

J. Leite , J. Alferes and L. Pereira 2002. Minerva – a dynamic logic programming agent architecture. In Revised Papers from the 8th International Workshop on Intelligent Agents VIII, ATAL, Springer-Verlag, 141157.

B. Loo et al.2009. Declarative networking. Communications of the ACM 52, 11, 8795.

J. Navarro and A. Rybalchenko 2009. Operational semantics for declarative networking. In Proceedings 11th International Symposium on Practical Aspects of Declarative Languages, A. Gill and T. Swift , Eds. Lecture Notes in Computer Science, 7690.

Q. Zhang , L. Cheng and R. Boutaba 2010. Cloud computing: State-of-the-art and research challenges. Journal of Internet Services and Applications 1, 1, 718.

Recommend this journal

Email your librarian or administrator to recommend adding this journal to your organisation's collection.

Theory and Practice of Logic Programming
  • ISSN: 1471-0684
  • EISSN: 1475-3081
  • URL: /core/journals/theory-and-practice-of-logic-programming
Please enter your name
Please enter a valid email address
Who would you like to send this to? *


Type Description Title
Supplementary Materials

Ameloot supplementary material
Online Appendix

 PDF (592 KB)
592 KB


Full text views

Total number of HTML views: 0
Total number of PDF views: 39 *
Loading metrics...

Abstract views

Total abstract views: 259 *
Loading metrics...

* Views captured on Cambridge Core between September 2016 - 20th September 2017. This data will be updated every 24 hours.