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,650 | A Chase Too Far? | 2000 | SIGMOD | 6.0169723e-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 |
|---|---|---|---|---|
| 107 | Extensible/Rule Based Query Rewrite Optimization in Starburst | 1992 | SIGMOD | 0.00048363446 |
| 418 | Query Optimization in the Presence of Foreign Functions | 1993 | VLDB | 0.0002372277 |
| 592 | A Rule-Based View of Query Optimization | 1987 | SIGMOD | 0.0001953183 |
| 1,303 | Query Optimization by Predicate Move-Around | 1994 | VLDB | 0.00012692678 |
| 4,039 | Rule Languages and Internal Algebras for Rule-Based Optimizers | 1996 | SIGMOD | 6.5056258e-05 |
| 7,015 | Changing the Rules: Transformations for Rule-Based Optimizers* | 1998 | SIGMOD | 4.8563411e-05 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| Overall Rank | Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 12,914 | Structural Query Optimization — A Uniform Framework For Semantic Query Optimization In Deductive Databases | 1991 | PODS | 4.1905499e-05 |
| 2,887 | Semantic Query Optimization in Datalog Programs (Extended Abstract) | 1995 | PODS | 7.9640219e-05 |
| 4,093 | Implementing an Interpreter for Functional Rules in a Query Optimizer | 1988 | VLDB | 6.4521318e-05 |
| 592 | A Rule-Based View of Query Optimization | 1987 | SIGMOD | 0.0001953183 |
| 4,118 | A System for Semantic Query Optimization | 1987 | SIGMOD | 6.4313372e-05 |
| 6,550 | Rule-Based Translation of Relational Queries into Iterative Programs | 1986 | SIGMOD | 5.0113524e-05 |
| 12,931 | Semigroup techniques in recursive query optimization | 1990 | PODS | 4.1905499e-05 |
| 2,732 | Semantic Query Optimization in the Presence of Types | 2010 | PODS | 8.2137395e-05 |
| 4,039 | Rule Languages and Internal Algebras for Rule-Based Optimizers | 1996 | SIGMOD | 6.5056258e-05 |
| 7,015 | Changing the Rules: Transformations for Rule-Based Optimizers* | 1998 | SIGMOD | 4.8563411e-05 |