Interactive Checks for Coordination Avoidance
Summary: Characterizes necessary and sufficient conditions for invariant confluence; enables an interactive decision procedure and automatic checks. Adds segmented invariant confluence for limited coordination; Lucy achieves up to 10x throughput at low contention and supports FKs, rollups, escrows. (summarized by gpt-5-nano on Feb 09 2026)
Incoming Non-self Citations Over Time
Authors
Incoming Citations (Sorted by Pagerank)
Showing 3 of 3 citing papers.
| Rank | Citing Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 5,614 | New Directions in Cloud Programming | 2021 | CIDR | 5.4101976e-05 |
| 6,238 | IPA: Invariant-Preserving Applications for Weakly Consistent Replicated Databases | 2019 | VLDB | 5.14228e-05 |
| 9,979 | Event Horizon: Asymmetric Dependencies for Fast Geo-Distributed Operations | 2026 | CIDR | 4.1945683e-05 |
Previous
Page 1 / 1
Next
Outgoing Citations (Sorted by Pagerank)
Showing 8 of 8 cited papers.
Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.
| Rank | Cited Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 122 | Calvin: Fast Distributed Transactions for Partitioned Database Systems | 2012 | SIGMOD | 0.00045316749 |
| 340 | OLTP-Bench: An Extensible Testbed for Benchmarking Relational Databases | 2014 | VLDB | 0.00026841628 |
| 1,028 | Coordination Avoidance in Database Systems | 2015 | VLDB | 0.00014584518 |
| 1,310 | Consistency Analysis in Bloom: a CALM and Collected Approach | 2011 | CIDR | 0.00012658593 |
| 1,374 | Relational Transducers for Declarative Networking | 2011 | PODS | 0.0001230835 |
| 2,285 | Local Verification of Global Integrity Constraints in Distributed Databases | 1993 | SIGMOD | 9.0985926e-05 |
| 2,723 | The Homeostasis Protocol: Avoiding Transaction Coordination Through Program Analysis | 2015 | SIGMOD | 8.2306728e-05 |
| 4,034 | TARDiS: A Branch-and-Merge Approach To Weak Consistency | 2016 | SIGMOD | 6.5094325e-05 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| Overall Rank | Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 6,358 | Dissecting the Performance of Strongly-Consistent Replication Protocols | 2019 | SIGMOD | 5.0969837e-05 |
| 3,274 | Rethinking Eventual Consistency | 2013 | SIGMOD | 7.2906895e-05 |
| 14,233 | The Group Paradigm for Concurrency Control Protocols (Extended Abstract) | 1988 | SIGMOD | - |
| 2,723 | The Homeostasis Protocol: Avoiding Transaction Coordination Through Program Analysis | 2015 | SIGMOD | 8.2306728e-05 |
| 7,272 | Tolerating Bounded Inconsistency for Increasing Concurrency in Database Systems | 1992 | PODS | 4.7811016e-05 |
| 5,512 | Strong consistency is not hard to get: Two-Phase Locking and Two-Phase Commit on Thousands of Cores | 2019 | VLDB | 5.4665318e-05 |
| 959 | The Case for Determinism in Database Systems | 2010 | VLDB | 0.00015025361 |
| 6,238 | IPA: Invariant-Preserving Applications for Weakly Consistent Replicated Databases | 2019 | VLDB | 5.14228e-05 |
| 13,920 | Correctness in General Configurations of Transactional Components | 1999 | PODS | - |
| 1,028 | Coordination Avoidance in Database Systems | 2015 | VLDB | 0.00014584518 |