Document Server@UHasselt >
Research >
Research publications >

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

Title: Relational Transducers for Declarative Networking
Authors: Ameloot, Tom J.
Neven, Frank
Van den Bussche, Jan
Issue Date: 2013
Citation: JOURNAL OF THE ACM, 60 (2), p. 15:1-15:38
Abstract: Motivated by a recent conjecture concerning the expressiveness of declarative networking, we propose a formal computation model for "eventually consistent" distributed querying, based on relational transducers. A tight link has been conjectured between coordination-freeness of computations, and monotonicity of the queries expressed by such computations. Indeed, we propose a formal definition of coordination-freeness and confirm that the class of monotone queries is captured by coordination-free transducer networks. Coordination-freeness is a semantic property, but the syntactic class of "oblivious" transducers we define also captures the same class of monotone queries. Transducer networks that are not coordination-free are much more powerful.
URI: http://hdl.handle.net/1942/16415
Link to publication: https://uhdspace.uhasselt.be/dspace/retrieve/12631/new83_techreport.pdf
DOI: 10.1145/2450142.2450151
ISI #: 000318628500008
ISSN: 0004-5411
Category: A1
Type: Journal Contribution
Validation: ecoom, 2014
Appears in Collections: Research publications

Files in This Item:

Description SizeFormat
N/A279.78 kBAdobe PDF

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