Research in Deductive Databases
Theory of Deductive Query Processing
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.
Deductive DB Page Research Page Lab Home Page