Query Optimization in Databases
We are engaged in research in query optimization (QO), and semantic query optimization (SQO) techniques. The key idea of SQO is to rewrite queries into semantically equivalent forms (so the rewritten query is guaranteed to return the same answers), but which are less expensive to evaluate.
We are using the Carmin system as a testbed for this work. (See Cooperative Query Answering.) Indeed, cooperative query answering and semantic query optimization are closely related: both require specialized analyses of the query, and the algorithmic tools developed for each are useful to the other.