Weaker forms of monotonicity for declarative networking: a more fine-grained answer to the calm-conjecture
ACM Transactions on Database Systems, Volume 40, Issue 4, 2014, Pages 64-75.
cloud programmingcoordinationexpressive powerconsistencyrelational transducerMore(3+)
The CALM-conjecture, first stated by Hellerstein  and proved in its revised form by Ameloot et al.  within the framework of relational transducer networks, asserts that a query has a coordination-free execution strategy if and only if the query is monotone. Zinn et al.  extended the framework of relational transducer net...More
Full Text (Upload PDF)
Best Paper of PODS, 2014