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: 8683
Venue: VLDB
Year: 1998
Pagerank: 5.4664044e-05
Overall Rank: 8,209 | 43.68%
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,426	A Chase Too Far?	2000	SIGMOD	6.7098324e-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
110	Extensible/Rule Based Query Rewrite Optimization in Starburst	1992	SIGMOD	0.0003309592
615	A Rule-Based View of Query Optimization	1987	SIGMOD	0.00015720167
677	Query Optimization in the Presence of Foreign Functions	1993	VLDB	0.00015065909
1,124	Query Optimization by Predicate Move-Around	1994	VLDB	0.00012087356
4,134	Rule Languages and Internal Algebras for Rule-Based Optimizers	1996	SIGMOD	6.8816554e-05
7,117	Changing the Rules: Transformations for Rule-Based Optimizers*	1998	SIGMOD	5.6976091e-05

Semantically Similar Papers

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