IPA: Invariant-Preserving Applications for Weakly Consistent Replicated Databases

Summary: IPA statically identifies conflicting operations and transforms them to preserve application invariants under weak replication without coordination. Deterministic conflict resolution retains original semantics absent conflicts, improving availability, latency, and throughput. (summarized by gpt-5.6-luna on Jul 24 2026)

Paper ID: 12162
Venue: VLDB
Year: 2019
Pagerank: 5.8371181e-05
Overall Rank: 6,574 | 54.90%
DOI: 10.14778/3297753.3297760

Incoming Non-self Citations Over Time

Authors

1. Valter Balegas (Universidade NOVA de Lisboa)
2. Sérgio Duarte (Universidade NOVA de Lisboa)
3. Carla Ferreira (Universidade NOVA de Lisboa)
4. Rodrigo Rodrigues (Instituto Superior Tecnico)
5. Nuno Preguiça (Universidade NOVA de Lisboa)

BibTeX Citation

@article{balegas_vldb19,
        title = {{IPA: Invariant-Preserving Applications for Weakly Consistent Replicated Databases}},
        author = {Balegas, Valter and Duarte, Sérgio and Ferreira, Carla and Rodrigues, Rodrigo and Preguiça, Nuno},
        journal = {PVLDB},
        series = {{VLDB} '19},
        volume = {12},
        number = {4},
        pages = {404--418},
        doi = {10.14778/3297753.3297760},
        url = {https://doi.org/10.14778/3297753.3297760},
        year = {2019}
}

Incoming Citations (Sorted by Pagerank)

Showing 3 of 3 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank
5,406	Ad Hoc Transactions in Web Applications: The Good, the Bad, and the Ugly	2022	SIGMOD	6.2289734e-05
8,261	AutoGR: Automated Geo-Replication with Fast System Performance and Preserved Application Semantics	2021	VLDB	5.4574671e-05
9,692	Bonspiel: Low Tail Latency Transactions in Geo-Distributed Databases	2025	VLDB	5.2351259e-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
64	Sagas	1987	SIGMOD	0.00038756588
144	Megastore: Providing Scalable, Highly Available Storage for Interactive Services	2011	CIDR	0.00029554682
867	Coordination Avoidance in Database Systems	2015	VLDB	0.00013511197
1,187	Highly Available Transactions: Virtues and Limitations	2014	VLDB	0.00011760199
1,457	Building on Quicksand	2009	CIDR	0.00010726983
1,667	Amazon DynamoDB: A Seamlessly Scalable Non-relational Datastore	2012	SIGMOD	0.00010066726
1,850	Bolt-on Causal Consistency	2013	SIGMOD	9.6167827e-05
1,961	Scalable Atomic Visibility with RAMP Transactions	2014	SIGMOD	9.4000927e-05
2,052	ACIDRain: Concurrency-Related Attacks on Database-Backed Web Applications	2017	SIGMOD	9.251901e-05
2,439	The Homeostasis Protocol: Avoiding Transaction Coordination Through Program Analysis	2015	SIGMOD	8.5785386e-05
3,186	Feral Concurrency Control: An Empirical Investigation of Modern Application Integrity	2015	SIGMOD	7.6559187e-05
6,477	PLANET: Making Progress with Commit Processing in Unpredictable Environments	2014	SIGMOD	5.8682525e-05
7,298	Interactive Checks for Coordination Avoidance	2019	VLDB	5.6520377e-05

Semantically Similar Papers

#	Overall Rank	Paper	Year	Venue
1	766	The Case for Determinism in Database Systems	2010	VLDB
2	6,151	Replication and Consistency: Being Lazy Helps Sometimes	1997	PODS
3	4,006	Bounded Ignorance in Replicated Systems	1991	PODS
4	754	Lazy Database Replication with Snapshot Isolation	2006	VLDB
5	1,152	Fast Algorithms for Maintaining Replica Consistency in Lazy Master Replicated Databases	1999	VLDB
6	2,439	The Homeostasis Protocol: Avoiding Transaction Coordination Through Program Analysis	2015	SIGMOD
7	5,910	Replication, Consistency, and Practicality: Are These Mutually Exclusive?	1998	SIGMOD
8	7,298	Interactive Checks for Coordination Avoidance	2019	VLDB
9	9,025	Tolerating Bounded Inconsistency for Increasing Concurrency in Database Systems	1992	PODS
10	867	Coordination Avoidance in Database Systems	2015	VLDB