Author(s)Research in Deductive Databases
Theory of Deductive Query Processing
Description
In this project the theory of deductive query processing is being studied with
the aim of making query processing more efficient. Techniques are being
developed for finding more general linearizations, finding linear recursive
envelopes of nonlinear datalog programs, and for chasing datalog programs to
get simpler ones which are cheaper to evaluate.
Related Papers
Deductive DB Page
Research Page
Lab Home Page