Runtime Addition of Integrity Constraints in an Abductive Proof Procedure.
Marco AlbertiMarco GavanelliEvelina LammaPublished in: ICLP (Technical Communications) (2010)
Keyphrases
- integrity constraints
- proof procedure
- deductive databases
- theorem proving
- abductive logic programming
- model theoretic
- active rules
- propositional logic
- functional dependencies
- integrity checking
- first order logic
- database schema
- predicate calculus
- conjunctive queries
- query answering
- xml documents
- logic programs
- active databases
- consistent query answering
- fixpoint
- decision procedures