Positive Dedalus programs tolerate non-causality

DOI10.1016/J.JCSS.2014.01.005MaRDI QIDQ2453541zbMATH OpenOpenAlexFDO

Authors Tom J. Ameloot, Jan Van den Bussche

Publication date 10 June 2014

Published in Journal of Computer and System Sciences (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jcss.2014.01.005

zbMATH Keywords

causalityasynchronous communicationdeclarative networking

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Recommendations

• Declarative distributed computing
• Putting logic-based distributed systems on stable grounds
• Relational transducers for declarative networking
• Weaker forms of monotonicity for declarative networking: a more fine-grained answer to the CALM-conjecture
• Deciding confluence for a simple class of relational transducer networks

Cites work

• scientific article; zbMATH DE number 3972158 (Why is no real title available?)
• scientific article; zbMATH DE number 839556 (Why is no real title available?)
• A logic programming approach to knowledge-state planning, semantics and complexity
• Appraising fairness in languages for distributed programming
• Datalog LITE
• Datalog extensions for database queries and updates
• Declarative distributed computing
• Depth-bounded bottom-up evaluation of logic programs
• Fairness and hyperfairness
• Fundamental properties of deterministic and nondeterministic extensions of Datalog
• Relational transducers for declarative networking
• Temporal stratification tests for linear and branching-time deductive databases

Cited in

(3)

• Putting logic-based distributed systems on stable grounds
• Weaker forms of monotonicity for declarative networking: a more fine-grained answer to the CALM-conjecture
• Cardinality Abstraction for Declarative Networking Applications

Describes a project that uses

Uses Software

• NP Datalog
• Datalog LITE

This page was built for publication: Positive Dedalus programs tolerate non-causality

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