Please use this identifier to cite or link to this item:
http://hdl.handle.net/1942/16415
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | AMELOOT, Tom | - |
dc.contributor.author | NEVEN, Frank | - |
dc.contributor.author | VAN DEN BUSSCHE, Jan | - |
dc.date.accessioned | 2014-03-17T08:17:52Z | - |
dc.date.available | 2014-03-17T08:17:52Z | - |
dc.date.issued | 2013 | - |
dc.identifier.citation | JOURNAL OF THE ACM, 60 (2), p. 15:1-15:38 | - |
dc.identifier.issn | 0004-5411 | - |
dc.identifier.uri | http://hdl.handle.net/1942/16415 | - |
dc.description.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. | - |
dc.language.iso | en | - |
dc.rights | © 2013 ACM. | - |
dc.subject.other | languages; theory; distributed database; relational transducer; monotonicity; expressive power; cloud programming | - |
dc.title | Relational Transducers for Declarative Networking | - |
dc.type | Journal Contribution | - |
dc.identifier.epage | 15:38 | - |
dc.identifier.issue | 2 | - |
dc.identifier.spage | 15:1 | - |
dc.identifier.volume | 60 | - |
local.bibliographicCitation.jcat | A1 | - |
local.type.refereed | Refereed | - |
local.type.specified | Article | - |
dc.identifier.doi | 10.1145/2450142.2450151 | - |
dc.identifier.isi | 000318628500008 | - |
dc.identifier.url | https://uhdspace.uhasselt.be/dspace/retrieve/12631/new83_techreport.pdf | - |
item.validation | ecoom 2014 | - |
item.accessRights | Restricted Access | - |
item.fullcitation | AMELOOT, Tom; NEVEN, Frank & VAN DEN BUSSCHE, Jan (2013) Relational Transducers for Declarative Networking. In: JOURNAL OF THE ACM, 60 (2), p. 15:1-15:38. | - |
item.fulltext | With Fulltext | - |
item.contributor | AMELOOT, Tom | - |
item.contributor | NEVEN, Frank | - |
item.contributor | VAN DEN BUSSCHE, Jan | - |
crisitem.journal.issn | 0004-5411 | - |
crisitem.journal.eissn | 1557-735X | - |
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 |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.