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.3422125e-05
Overall Rank: 8,377 | 43.70%
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,497	A Chase Too Far?	2000	SIGMOD	6.5739818e-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.00032757423
631	A Rule-Based View of Query Optimization	1987	SIGMOD	0.00015411265
689	Query Optimization in the Presence of Foreign Functions	1993	VLDB	0.00014746059
1,119	Query Optimization by Predicate Move-Around	1994	VLDB	0.00011946162
4,180	Rule Languages and Internal Algebras for Rule-Based Optimizers	1996	SIGMOD	6.7524714e-05
7,236	Changing the Rules: Transformations for Rule-Based Optimizers*	1998	SIGMOD	5.5765872e-05

Semantically Similar Papers

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