Leveraging Application Data Constraints to Optimize Database-Backed Web Applications

Summary: Coco: first tool that extracts data constraints from application code (not from statistics), exposing application-level invariants. It uses an enumerate–test–verify approach to synthesize provably-equivalent query rewrites and physical-design optimizations, yielding sizable speedups on 14 real web apps. (summarized by gpt-5-mini on Feb 09 2026)

Paper ID: 12988
Venue: VLDB
Year: 2023
Pagerank: 4.3441378e-05
Overall Rank: 9,410 | 34.54%
DOI: 10.14778/3583140.3583141

Incoming Non-self Citations Over Time

Authors

Incoming Citations (Sorted by Pagerank)

Showing 2 of 2 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank
11,010	Mixed Covers of Keys and Functional Dependencies for Maintaining the Integrity of Data under Updates	2024	VLDB	4.1945683e-05
11,300	Towards Auto-Generated Data Systems	2023	VLDB	4.1945683e-05

Outgoing Citations (Sorted by Pagerank)

Showing 16 of 16 cited papers.

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

Rank	Cited Paper	Year	Venue	Pagerank
106	Extensible/Rule Based Query Rewrite Optimization in Starburst	1992	SIGMOD	0.00048400734
224	CORDS: Automatic Discovery of Correlations and Soft Functional Dependencies	2004	SIGMOD	0.00032746205
442	Semantic Data Caching and Replacement	1996	VLDB	0.000230437
544	Apache Calcite: A Foundational Framework for Optimized Query Processing Over Heterogeneous Data Sources	2018	SIGMOD	0.00020521965
894	A Hybrid Approach to Functional Dependency Discovery	2016	SIGMOD	0.00015556428
943	Wander Join: Online Aggregation via Random Walks	2016	SIGMOD	0.00015145883
1,057	Cosette: An Automated Prover for SQL	2017	CIDR	0.0001439886
1,974	BHUNT: Automatic Discovery of Fuzzy Algebraic Constraints in Relational Data	2003	VLDB	9.8866171e-05
2,099	Axiomatic Foundations and Algorithms for Deciding Semantic Equivalences of SQL Queries	2018	VLDB	9.5479391e-05
2,837	Correlation Maps: A Compressed Access Method for Exploiting Soft Functional Dependencies	2009	VLDB	8.0414149e-05
2,877	Semantic Query Optimization in Datalog Programs (Extended Abstract)	1995	PODS	7.9715251e-05
3,132	Integrating Triggers and Declarative Constraints in SQL Database Systems	1996	VLDB	7.4984862e-05
3,299	SCODED: Statistical Constraint Oriented Data Error Detection	2020	SIGMOD	7.2546659e-05
4,119	A System for Semantic Query Optimization	1987	SIGMOD	6.4365852e-05
4,408	Implementation of Two Semantic Query Optimization Techniques in DB2 Universal Database	1999	VLDB	6.2109612e-05
6,173	Exploiting Soft and Hard Correlations in Big Data Query Optimization	2016	VLDB	5.1699414e-05

Semantically Similar Papers

Overall Rank	Paper	Year	Venue	Pagerank
3,072	Constrained Physical Design Tuning	2008	VLDB	7.6114086e-05
4,131	Optimization of Run-time Management of Data Intensive Web Sites	1999	VLDB	6.4252784e-05
2,596	WeTune: Automatic Discovery and Verification of Query Rewrite Rules	2022	SIGMOD	8.4729982e-05
1,199	A General Framework for the Optimization of Object-Oriented Queries	1992	SIGMOD	0.00013354204
7,662	Constrained Optimalities in Query Personalization	2005	SIGMOD	4.6859276e-05
3,296	Extracting Equivalent SQL from Imperative Code in Database Applications	2016	SIGMOD	7.2596583e-05
6,806	Query Optimization over Crowdsourced Data	2013	VLDB	4.9218336e-05
2,283	Knowledge-based Integrity Constraint Validation	1986	VLDB	9.105984e-05
7,926	CoCo: Interactive Exploration of Conformance Constraints for Data Understanding and Data Cleaning	2021	SIGMOD	4.6144554e-05
4,107	Exploiting Constraint-Like Data Characterizations in Query Optimization	2001	SIGMOD	6.4448692e-05