A Prototype Constraint Deductive Database System based on HH ¬ ( C )

This paper presents, from a user point of view, a deductive database system based on Hereditary Harrop Formulas with Constraints and Negation, HH¬(C). The Prolog implementation of this system is based on a fixpoint semantics proposed in a previous work. The answer to a query posed to a database is intended as a constraint of the constraint system associated… CONTINUE READING