Sciweavers

VLDB
1998
ACM
86views Database» more  VLDB 1998»
13 years 9 months ago
Inferring Function Semantics to Optimize Queries
The goal of the COKO-KOLA project [10, 91 is to express rules of rule-basedoptimizers in a mannerpermitting verification with a theoremprover. In [IO], we consideredquerytransform...
Mitch Cherniack, Stanley B. Zdonik