Research in Deductive Databases

Semantic Query Optimization

A. Gonzalez, H. J. Hernandez

Datalog is a declarative query language based on first order logic that is more expressive than relational databases. Research is focused on efficient processing of recursive Datalog programs whose input databases are constrained by functional dependencies. Results obtained in this research are being applied to extend existing relational database managers and in obtaining efficient implementations of deductive databases.

Related Papers

Deductive DB Page Research Page Lab Home Page