Positive Dedalus programs tolerate non-causality |
| |
Authors: | Tom J Ameloot Jan Van den Bussche |
| |
Affiliation: | Hasselt University & Transnational University of Limburg, Diepenbeek, Belgium |
| |
Abstract: | Declarative networking is a recent approach to programming distributed applications with languages inspired by Datalog. A recent conjecture posits that the delivery of messages should respect causality if and only if they are used in non-monotone derivations. We present our results about this conjecture in the context of Dedalus, a Datalog-variant for distributed programming. We show that both directions of the conjecture fail under a strong semantical interpretation. But on a more syntactical level, we show that positive Dedalus programs can tolerate non-causal messages, in the sense that they compute the correct answer even when messages can be sent into the past. |
| |
Keywords: | Declarative networking Causality Asynchronous communication |
本文献已被 ScienceDirect 等数据库收录! |