Author(s)Research in Deductive Databases
Semantic Query Optimization
Description
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