DBScholar

Back to papers

Weaker Forms of Monotonicity for Declarative Networking: a More Fine-grained Answer to the CALM-conjecture

Summary: Introduces a hierarchy of weaker monotonicity notions that exactly correspond to classes of coordination-free computations and provides explicit Datalog fragments (e.g., connected rules except in the final stratum) capturing each class. Characterizes coordination-freeness as absence of any need for global knowledge of other nodes, yielding a fine-grained refinement of the CALM conjecture. (summarized by gpt-5-mini on Feb 09 2026)

Paper ID
1616
Venue
PODS
Year
2014
Pagerank
5.5229059e-05
Overall Rank
7,884 | 45.91%
DOI
10.1145/2594538.2594541

Incoming Non-self Citations Over Time

Authors

BibTeX Citation

@inproceedings{ameloot_pods14,
        address = {New York, NY, USA},
        series = {{PODS} '14},
        title = {{Weaker Forms of Monotonicity for Declarative Networking: a More Fine-grained Answer to the CALM-conjecture}},
        url = {https://dl.acm.org/doi/10.1145/2594538.2594541},
        doi = {10.1145/2594538.2594541},
        booktitle = {Proceedings of the {ACM} {SIGMOD} Symposium on {Principles} of {Database} {Systems}},
        publisher = {Association for Computing Machinery},
        author = {Ameloot, Tom J. and Ketsman, Bas and Neven, Frank and Zinn, Daniel},
        year = {2014}
}

Incoming Citations (Sorted by Pagerank)

Showing 5 of 5 citing papers.

Rank Citing Paper Year Venue Pagerank
4,943 Datalog Unchained 2021 PODS 6.4332239e-05
8,446 Parallel-Correctness and Transferability for Conjunctive Queries 2015 PODS 5.4240058e-05
11,365 Distributed Consistency Beyond Queries 2023 PODS 5.093636e-05
11,514 Decoupled Transactions: Low Tail Latency Online Transactions Atop Jittery Servers 2022 CIDR 5.093636e-05
12,032 Logical Aspects of Massively Parallel and Distributed Systems 2016 PODS 5.093636e-05
Previous Page 1 / 1 Next

Outgoing Citations (Sorted by Pagerank)

Showing 12 of 12 cited papers.

Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.

Previous Page 1 / 1 Next

Semantically Similar Papers