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)
Incoming Non-self Citations Over Time
Authors
- 1. Tom J. Ameloot (Hasselt University; Transnational University of Limburg)
- 2. Bas Ketsman (Hasselt University; Transnational University of Limburg)
- 3. Frank Neven (Hasselt University; Transnational University of Limburg)
- 4. Daniel Zinn (LogicBlox, Inc)
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
| # | Overall Rank | Paper | Year | Venue |
|---|---|---|---|---|
| 1 | 6,221 | Well-Founded Semantics for Extended Datalog and Ontological Reasoning | 2013 | PODS |
| 2 | 11,754 | On Monotonic Determinacy and Rewritability For Recursive Queries and Views | 2020 | PODS |
| 3 | 1,890 | Relational Expressive Power of Constraint Query Languages | 1996 | PODS |
| 4 | 4,002 | Monotonic Aggregation in Deductive Databases | 1992 | PODS |
| 5 | 972 | Declarative Networking: Language, Execution and Optimization | 2006 | SIGMOD |
| 6 | 6,914 | Keep CALM and CRDT On | 2023 | VLDB |
| 7 | 12,089 | Inner CALM: Concurrency control protocols through the looking glass | 2015 | CIDR |
| 8 | 2,579 | Inference of Monotonicity Constraints in Datalog Programs (Extended Abstract) | 1989 | PODS |
| 9 | 11,365 | Distributed Consistency Beyond Queries | 2023 | PODS |
| 10 | 1,623 | Relational Transducers for Declarative Networking | 2011 | PODS |