Inferring Function Semantics to Optimize Queries

Summary: COKO-KOLA expresses highly specific query transformations as conditional rewrite rules verifiable by a theorem prover. It adds inference rules to decide when semantic conditions hold, enabling an extensible, provably correct rule-based optimizer. (summarized by gpt-5-nano on Feb 09 2026)

Paper ID: h8a9dde25dbd260ce
Venue: VLDB
Year: 1998
Pagerank: 5.3447387e-05
Overall Rank: 8,372 | 43.72%
DOI: -

Incoming Non-self Citations Over Time

Authors

1. Mitch Cherniack (Brown University)
2. Stan Zdonik (Brown University)

BibTeX Citation

@article{cherniack_vldb98,
        title = {{Inferring Function Semantics to Optimize Queries}},
        author = {Cherniack, Mitch and Zdonik, Stan},
        journal = {PVLDB},
        series = {{VLDB} '98},
        year = {1998}
}

Incoming Citations (Sorted by Pagerank)

Showing 1 of 1 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank
4,494	A Chase Too Far?	2000	SIGMOD	6.577024e-05

Outgoing Citations (Sorted by Pagerank)

Showing 6 of 6 cited papers.

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

Rank	Cited Paper	Year	Venue	Pagerank
109	Extensible/Rule Based Query Rewrite Optimization in Starburst	1992	SIGMOD	0.0003276959
630	A Rule-Based View of Query Optimization	1987	SIGMOD	0.0001541799
689	Query Optimization in the Presence of Foreign Functions	1993	VLDB	0.00014752546
1,119	Query Optimization by Predicate Move-Around	1994	VLDB	0.00011950395
4,181	Rule Languages and Internal Algebras for Rule-Based Optimizers	1996	SIGMOD	6.755142e-05
7,233	Changing the Rules: Transformations for Rule-Based Optimizers*	1998	SIGMOD	5.5792253e-05

Semantically Similar Papers

#	Overall Rank	Paper	Year	Venue
1	13,389	Structural Query Optimization — A Uniform Framework For Semantic Query Optimization In Deductive Databases	1991	PODS
2	2,923	Semantic Query Optimization in Datalog Programs (Extended Abstract)	1995	PODS
3	3,209	Implementing an Interpreter for Functional Rules in a Query Optimizer	1988	VLDB
4	630	A Rule-Based View of Query Optimization	1987	SIGMOD
5	3,945	A System for Semantic Query Optimization	1987	SIGMOD
6	7,261	Rule-Based Translation of Relational Queries into Iterative Programs	1986	SIGMOD
7	13,406	Semigroup techniques in recursive query optimization	1990	PODS
8	4,459	Semantic Query Optimization in the Presence of Types	2010	PODS
9	4,181	Rule Languages and Internal Algebras for Rule-Based Optimizers	1996	SIGMOD
10	7,233	Changing the Rules: Transformations for Rule-Based Optimizers*	1998	SIGMOD