Research in Deductive Databases
Semantic Query Optimization
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.
Deductive DB Page Research Page Lab Home Page