www.uhasselt.be
DSpace

Document Server@UHasselt >
Research >
Research publications >

Please use this identifier to cite or link to this item: http://hdl.handle.net/1942/14567

Title: On the CRON Conjecture
Authors: Ameloot, Tom J.
Van den Bussche, Jan
Issue Date: 2012
Publisher: Springer
Citation: Barceló, Pablo; Pichler, Reinhard (Ed.). Datalog in Academia and Industria, p. 44-55
Series/Report: Lecture Notes in Computer Science
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 can 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.
URI: http://hdl.handle.net/1942/14567
DOI: 10.1007/978-3-642-32925-8_6
ISBN: 978-3-642-32924-1
ISSN: 0302-9743
Category: C1
Type: Proceedings Paper
Appears in Collections: Research publications

Files in This Item:

Description SizeFormat
Main article578.91 kBAdobe PDF

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.