IPA: Invariant-Preserving Applications for Weakly Consistent Replicated Databases

Summary: Proposes IPA, an invariant-preserving approach for weakly consistent replicated databases that avoids coordination by modifying operations to maintain invariants under concurrency. A static analysis identifies conflicting operations and prescribes modifications; deterministic conflict resolution preserves invariants, yielding lower latency and higher throughput than coordination-based approaches. (summarized by gpt-5-nano on Feb 09 2026)

Paper ID: 11974
Venue: VLDB
Year: 2019
Pagerank: 5.14228e-05
Overall Rank: 6,238 | 56.61%
DOI: 10.14778/3297753.3297760

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,822	Ad Hoc Transactions in Web Applications: The Good, the Bad, and the Ugly	2022	SIGMOD	5.313161e-05
7,942	AutoGR: Automated Geo-Replication with Fast System Performance and Preserved Application Semantics	2021	VLDB	4.613363e-05
9,554	Bonspiel: Low Tail Latency Transactions in Geo-Distributed Databases	2025	VLDB	4.3254416e-05

Outgoing Citations (Sorted by Pagerank)

Showing 13 of 13 cited papers.

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

Rank	Cited Paper	Year	Venue	Pagerank
45	Sagas	1987	SIGMOD	0.00071800944
189	Megastore: Providing Scalable, Highly Available Storage for Interactive Services	2011	CIDR	0.00035925334
1,028	Coordination Avoidance in Database Systems	2015	VLDB	0.00014584518
1,210	Building on Quicksand	2009	CIDR	0.00013260838
1,419	Highly Available Transactions: Virtues and Limitations	2014	VLDB	0.00012079793
1,670	Amazon DynamoDB: A Seamlessly Scalable Non-relational Datastore	2012	SIGMOD	0.00010953756
1,994	ACIDRain: Concurrency-Related Attacks on Database-Backed Web Applications	2017	SIGMOD	9.842936e-05
2,016	Bolt-on Causal Consistency	2013	SIGMOD	9.789465e-05
2,273	Scalable Atomic Visibility with RAMP Transactions	2014	SIGMOD	9.1329997e-05
2,723	The Homeostasis Protocol: Avoiding Transaction Coordination Through Program Analysis	2015	SIGMOD	8.2306728e-05
3,512	Feral Concurrency Control: An Empirical Investigation of Modern Application Integrity	2015	SIGMOD	7.0250008e-05
6,463	PLANET: Making Progress with Commit Processing in Unpredictable Environments	2014	SIGMOD	5.0533198e-05
7,175	Interactive Checks for Coordination Avoidance	2019	VLDB	4.8107192e-05

Semantically Similar Papers

Overall Rank	Paper	Year	Venue	Pagerank
5,524	Replication and Consistency: Being Lazy Helps Sometimes	1997	PODS	5.4601032e-05
959	The Case for Determinism in Database Systems	2010	VLDB	0.00015025361
2,461	Bounded Ignorance in Replicated Systems	1991	PODS	8.7602026e-05
590	Lazy Database Replication with Snapshot Isolation	2006	VLDB	0.000195762
796	Fast Algorithms for Maintaining Replica Consistency in Lazy Master Replicated Databases	1999	VLDB	0.00016595815
5,400	Replication, Consistency, and Practicality: Are These Mutually Exclusive?	1998	SIGMOD	5.5290116e-05
2,723	The Homeostasis Protocol: Avoiding Transaction Coordination Through Program Analysis	2015	SIGMOD	8.2306728e-05
7,175	Interactive Checks for Coordination Avoidance	2019	VLDB	4.8107192e-05
7,272	Tolerating Bounded Inconsistency for Increasing Concurrency in Database Systems	1992	PODS	4.7811016e-05
1,028	Coordination Avoidance in Database Systems	2015	VLDB	0.00014584518