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.3246196e-05
Overall Rank: 8,393 | 43.75%
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,512	A Chase Too Far?	2000	SIGMOD	6.5535364e-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.00032702871
633	A Rule-Based View of Query Optimization	1987	SIGMOD	0.00015365563
691	Query Optimization in the Presence of Foreign Functions	1993	VLDB	0.00014701803
1,122	Query Optimization by Predicate Move-Around	1994	VLDB	0.00011915958
4,197	Rule Languages and Internal Algebras for Rule-Based Optimizers	1996	SIGMOD	6.7307148e-05
7,255	Changing the Rules: Transformations for Rule-Based Optimizers*	1998	SIGMOD	5.5581956e-05

Semantically Similar Papers

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