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)
Incoming Non-self Citations Over Time
Authors
- 1. Mitch Cherniack
- 2. Stan Zdonik
Incoming Citations (Sorted by Pagerank)
Showing 1 of 1 citing papers.
| Rank | Citing Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 4,654 | A Chase Too Far? | 2000 | SIGMOD | 6.022356e-05 |
Previous
Page 1 / 1
Next
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 |
|---|---|---|---|---|
| 106 | Extensible/Rule Based Query Rewrite Optimization in Starburst | 1992 | SIGMOD | 0.00048400734 |
| 421 | Query Optimization in the Presence of Foreign Functions | 1993 | VLDB | 0.00023711553 |
| 594 | A Rule-Based View of Query Optimization | 1987 | SIGMOD | 0.00019534507 |
| 1,302 | Query Optimization by Predicate Move-Around | 1994 | VLDB | 0.00012705525 |
| 4,032 | Rule Languages and Internal Algebras for Rule-Based Optimizers | 1996 | SIGMOD | 6.5117637e-05 |
| 7,015 | Changing the Rules: Transformations for Rule-Based Optimizers* | 1998 | SIGMOD | 4.8609507e-05 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| Overall Rank | Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 12,904 | Structural Query Optimization — A Uniform Framework For Semantic Query Optimization In Deductive Databases | 1991 | PODS | 4.1945683e-05 |
| 4,099 | Implementing an Interpreter for Functional Rules in a Query Optimizer | 1988 | VLDB | 6.4545871e-05 |
| 2,877 | Semantic Query Optimization in Datalog Programs (Extended Abstract) | 1995 | PODS | 7.9715251e-05 |
| 594 | A Rule-Based View of Query Optimization | 1987 | SIGMOD | 0.00019534507 |
| 4,119 | A System for Semantic Query Optimization | 1987 | SIGMOD | 6.4365852e-05 |
| 6,554 | Rule-Based Translation of Relational Queries into Iterative Programs | 1986 | SIGMOD | 5.0155947e-05 |
| 12,921 | Semigroup techniques in recursive query optimization | 1990 | PODS | 4.1945683e-05 |
| 2,727 | Semantic Query Optimization in the Presence of Types | 2010 | PODS | 8.2216778e-05 |
| 4,032 | Rule Languages and Internal Algebras for Rule-Based Optimizers | 1996 | SIGMOD | 6.5117637e-05 |
| 7,015 | Changing the Rules: Transformations for Rule-Based Optimizers* | 1998 | SIGMOD | 4.8609507e-05 |