Putting logic-based distributed systems on stable grounds

DOI10.1017/S1471068415000381zbMATH Open1379.68124arXiv1507.05539OpenAlexW941810826MaRDI QIDQ4593035FDOQ4593035

Authors: Tom J. Ameloot, Jan Van den Bussche, William R. Marczak, Peter Alvaro, Joseph M. Hellerstein 

Publication date: 9 November 2017

Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)

Abstract: 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.

Full work available at URL: https://arxiv.org/abs/1507.05539

Recommendations

• Declarative distributed computing
• A declarative approach to distributed computing: specification, execution and analysis
• Distributed Logic Programming
• Semantic models for concurrent logic languages
• Maintaining distributed logic programs incrementally

zbMATH Keywords

distributed systemasynchronous communicationDatalogstable model semanticsDedalus

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Logic programming (68N17) Semantics in the theory of computing (68Q55)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Relational transducers for declarative networking
• Modeling in Event B. System and software engineering.
• Title not available (Why is that?)
• Appraising fairness in languages for distributed programming
• Title not available (Why is that?)
• Logic programming and negation: A survey
• Fairness and hyperfairness
• Title not available (Why is that?)
• Datalog reloaded. First international workshop, Datalog 2010, Oxford, UK, March 16--19, 2010. Revised selected papers
• A declarative approach to distributed computing: specification, execution and analysis
• LUPS -- A language for updating logic programs
• Positive Dedalus programs tolerate non-causality
• Declarative distributed computing
• Title not available (Why is that?)
• Adding Evolving Abilities to a Multi-Agent System

Cited In (9)

• Declarative distributed computing
• A Distributed Logic for Networked Cyber-Physical Systems
• Relational transducers for declarative networking
• Positive Dedalus programs tolerate non-causality
• Title not available (Why is that?)
• Cardinality Abstraction for Declarative Networking Applications
• A declarative approach to distributed computing: specification, execution and analysis
• Maintaining distributed logic programs incrementally
• Applying prolog to develop distributed systems

Uses Software

• LUPS
• Rodin
• Z

This page was built for publication: Putting logic-based distributed systems on stable grounds

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4593035)