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: 12989
Venue: VLDB
Year: 2023
Pagerank: 4.3399748e-05
Overall Rank: 9,416 | 34.56%
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,013	Mixed Covers of Keys and Functional Dependencies for Maintaining the Integrity of Data under Updates	2024	VLDB	4.1905499e-05
11,302	Towards Auto-Generated Data Systems	2023	VLDB	4.1905499e-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
107	Extensible/Rule Based Query Rewrite Optimization in Starburst	1992	SIGMOD	0.00048363446
224	CORDS: Automatic Discovery of Correlations and Soft Functional Dependencies	2004	SIGMOD	0.00032743209
444	Semantic Data Caching and Replacement	1996	VLDB	0.0002303513
542	Apache Calcite: A Foundational Framework for Optimized Query Processing Over Heterogeneous Data Sources	2018	SIGMOD	0.00020522627
890	A Hybrid Approach to Functional Dependency Discovery	2016	SIGMOD	0.00015542177
941	Wander Join: Online Aggregation via Random Walks	2016	SIGMOD	0.00015147831
1,056	Cosette: An Automated Prover for SQL	2017	CIDR	0.00014391317
1,976	BHUNT: Automatic Discovery of Fuzzy Algebraic Constraints in Relational Data	2003	VLDB	9.8784644e-05
2,097	Axiomatic Foundations and Algorithms for Deciding Semantic Equivalences of SQL Queries	2018	VLDB	9.5439744e-05
2,841	Correlation Maps: A Compressed Access Method for Exploiting Soft Functional Dependencies	2009	VLDB	8.0396876e-05
2,887	Semantic Query Optimization in Datalog Programs (Extended Abstract)	1995	PODS	7.9640219e-05
3,140	Integrating Triggers and Declarative Constraints in SQL Database Systems	1996	VLDB	7.4912441e-05
3,303	SCODED: Statistical Constraint Oriented Data Error Detection	2020	SIGMOD	7.2438671e-05
4,118	A System for Semantic Query Optimization	1987	SIGMOD	6.4313372e-05
4,403	Implementation of Two Semantic Query Optimization Techniques in DB2 Universal Database	1999	VLDB	6.2054188e-05
6,177	Exploiting Soft and Hard Correlations in Big Data Query Optimization	2016	VLDB	5.1646971e-05

Semantically Similar Papers

Overall Rank	Paper	Year	Venue	Pagerank
3,077	Constrained Physical Design Tuning	2008	VLDB	7.6043371e-05
4,132	Optimization of Run-time Management of Data Intensive Web Sites	1999	VLDB	6.4187496e-05
2,595	WeTune: Automatic Discovery and Verification of Query Rewrite Rules	2022	SIGMOD	8.4725961e-05
7,661	Constrained Optimalities in Query Personalization	2005	SIGMOD	4.6814295e-05
1,201	A General Framework for the Optimization of Object-Oriented Queries	1992	SIGMOD	0.00013341955
3,298	Extracting Equivalent SQL from Imperative Code in Database Applications	2016	SIGMOD	7.2527707e-05
6,801	Query Optimization over Crowdsourced Data	2013	VLDB	4.9175463e-05
2,284	Knowledge-based Integrity Constraint Validation	1986	VLDB	9.1118342e-05
7,927	CoCo: Interactive Exploration of Conformance Constraints for Data Understanding and Data Cleaning	2021	SIGMOD	4.6100307e-05
4,106	Exploiting Constraint-Like Data Characterizations in Query Optimization	2001	SIGMOD	6.4395338e-05