Research Area
Deductive Databases
Constant-Time-Maintainable BCNF
Independence-Reducible Database Schemes
Extended Nested Relations
Optimizing Datalog Programs Under Functional Dependencies
The Chase of Linear Sirups
Parallelization of Right-Uniform Datalog Programs and of Chain Sirups
On The Desirability of Gamma-Acyclic BCNF Database Schemes
Testing Implication of FDs in Linear Sirrups
A Network Surveillance Protocol for Distributed Database Systems
On Generating Database Schemes Bounded or Constant-Time-Maintainability Extensiblity
On The Boundeness Of Constant-Time Maintainable Database Schemes
Testing Unboundedness Of Database Schemes and Functional Dependencies
Logic Prog. Page
Research Page
Lab Home Page