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,623 | New Directions in Cloud Programming | 2021 | CIDR | 5.4050025e-05 |
| 6,236 | IPA: Invariant-Preserving Applications for Weakly Consistent Replicated Databases | 2019 | VLDB | 5.1373428e-05 |
| 9,978 | Event Horizon: Asymmetric Dependencies for Fast Geo-Distributed Operations | 2026 | CIDR | 4.1905499e-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.0004532783 |
| 339 | OLTP-Bench: An Extensible Testbed for Benchmarking Relational Databases | 2014 | VLDB | 0.00026895683 |
| 1,022 | Coordination Avoidance in Database Systems | 2015 | VLDB | 0.00014606725 |
| 1,311 | Consistency Analysis in Bloom: a CALM and Collected Approach | 2011 | CIDR | 0.00012650881 |
| 1,377 | Relational Transducers for Declarative Networking | 2011 | PODS | 0.00012299784 |
| 2,288 | Local Verification of Global Integrity Constraints in Distributed Databases | 1993 | SIGMOD | 9.093171e-05 |
| 2,724 | The Homeostasis Protocol: Avoiding Transaction Coordination Through Program Analysis | 2015 | SIGMOD | 8.2300934e-05 |
| 4,043 | TARDiS: A Branch-and-Merge Approach To Weak Consistency | 2016 | SIGMOD | 6.5034165e-05 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| Overall Rank | Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 6,357 | Dissecting the Performance of Strongly-Consistent Replication Protocols | 2019 | SIGMOD | 5.0921164e-05 |
| 3,272 | Rethinking Eventual Consistency | 2013 | SIGMOD | 7.290716e-05 |
| 14,247 | The Group Paradigm for Concurrency Control Protocols (Extended Abstract) | 1988 | SIGMOD | - |
| 2,724 | The Homeostasis Protocol: Avoiding Transaction Coordination Through Program Analysis | 2015 | SIGMOD | 8.2300934e-05 |
| 8,867 | Tolerating Bounded Inconsistency for Increasing Concurrency in Database Systems | 1992 | PODS | 4.4278616e-05 |
| 5,482 | Strong consistency is not hard to get: Two-Phase Locking and Two-Phase Commit on Thousands of Cores | 2019 | VLDB | 5.4830927e-05 |
| 961 | The Case for Determinism in Database Systems | 2010 | VLDB | 0.00015028453 |
| 6,236 | IPA: Invariant-Preserving Applications for Weakly Consistent Replicated Databases | 2019 | VLDB | 5.1373428e-05 |
| 13,934 | Correctness in General Configurations of Transactional Components | 1999 | PODS | - |
| 1,022 | Coordination Avoidance in Database Systems | 2015 | VLDB | 0.00014606725 |