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 NEVEN, Frank VAN DEN BUSSCHE, Jan |
Issue Date: | 2013 | Source: | 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. | Keywords: | languages; theory; distributed database; relational transducer; monotonicity; expressive power; cloud programming | Document URI: | http://hdl.handle.net/1942/16415 | Link to publication/dataset: | https://uhdspace.uhasselt.be/dspace/retrieve/12631/new83_techreport.pdf | ISSN: | 0004-5411 | e-ISSN: | 1557-735X | DOI: | 10.1145/2450142.2450151 | ISI #: | 000318628500008 | Rights: | © 2013 ACM. | Category: | A1 | Type: | Journal Contribution | Validations: | ecoom 2014 |
Appears in Collections: | Research publications |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
official-publication-acm-dl.pdf Restricted Access | 279.78 kB | Adobe PDF | View/Open Request a copy |
SCOPUSTM
Citations
26
checked on Sep 3, 2020
WEB OF SCIENCETM
Citations
23
checked on Oct 13, 2024
Page view(s)
98
checked on Sep 7, 2022
Download(s)
2
checked on Sep 7, 2022
Google ScholarTM
Check
Altmetric
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.