Research in Deductive Databases

Theory of Deductive Query Processing

A. Gonzalez, H. J. Hernandez, D. Tang

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