A deductive rules processor for SQL databases

We present a deductive front-end to conventional relational databases that support ANSI-SQL and embedded-SQL. In our system, the user will be able to define implicit relations and pose queries using deductive rules much like in a deductive database system. Our approach is to translate the deductive ... View More