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: 11975
Venue: VLDB
Year: 2019
Pagerank: 5.1373428e-05
Overall Rank: 6,236 | 56.67%
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,835	Ad Hoc Transactions in Web Applications: The Good, the Bad, and the Ugly	2022	SIGMOD	5.3080741e-05
7,945	AutoGR: Automated Geo-Replication with Fast System Performance and Preserved Application Semantics	2021	VLDB	4.6089395e-05
9,554	Bonspiel: Low Tail Latency Transactions in Geo-Distributed Databases	2025	VLDB	4.3212967e-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.00071732655
189	Megastore: Providing Scalable, Highly Available Storage for Interactive Services	2011	CIDR	0.00035934191
1,022	Coordination Avoidance in Database Systems	2015	VLDB	0.00014606725
1,213	Building on Quicksand	2009	CIDR	0.00013251295
1,418	Highly Available Transactions: Virtues and Limitations	2014	VLDB	0.00012082141
1,669	Amazon DynamoDB: A Seamlessly Scalable Non-relational Datastore	2012	SIGMOD	0.00010945299
1,985	ACIDRain: Concurrency-Related Attacks on Database-Backed Web Applications	2017	SIGMOD	9.8619045e-05
2,008	Bolt-on Causal Consistency	2013	SIGMOD	9.8120677e-05
2,276	Scalable Atomic Visibility with RAMP Transactions	2014	SIGMOD	9.1320955e-05
2,724	The Homeostasis Protocol: Avoiding Transaction Coordination Through Program Analysis	2015	SIGMOD	8.2300934e-05
3,517	Feral Concurrency Control: An Empirical Investigation of Modern Application Integrity	2015	SIGMOD	7.0183022e-05
6,437	PLANET: Making Progress with Commit Processing in Unpredictable Environments	2014	SIGMOD	5.0554119e-05
7,175	Interactive Checks for Coordination Avoidance	2019	VLDB	4.8061039e-05

Semantically Similar Papers

Overall Rank	Paper	Year	Venue	Pagerank
961	The Case for Determinism in Database Systems	2010	VLDB	0.00015028453
5,536	Replication and Consistency: Being Lazy Helps Sometimes	1997	PODS	5.4544352e-05
2,459	Bounded Ignorance in Replicated Systems	1991	PODS	8.7527751e-05
591	Lazy Database Replication with Snapshot Isolation	2006	VLDB	0.00019545141
795	Fast Algorithms for Maintaining Replica Consistency in Lazy Master Replicated Databases	1999	VLDB	0.00016560364
5,402	Replication, Consistency, and Practicality: Are These Mutually Exclusive?	1998	SIGMOD	5.5253784e-05
2,724	The Homeostasis Protocol: Avoiding Transaction Coordination Through Program Analysis	2015	SIGMOD	8.2300934e-05
7,175	Interactive Checks for Coordination Avoidance	2019	VLDB	4.8061039e-05
8,867	Tolerating Bounded Inconsistency for Increasing Concurrency in Database Systems	1992	PODS	4.4278616e-05
1,022	Coordination Avoidance in Database Systems	2015	VLDB	0.00014606725