A Correct Goal-directed Proof Procedure for a General Logic Program with Integrity Constraints.
Ken SatohNoboru IwayamaPublished in: ELP (1992)
Keyphrases
- integrity constraints
- goal directed
- logic programs
- deductive databases
- fixpoint
- model theoretic
- logic programming
- proof procedure
- stable models
- answer sets
- functional dependencies
- query answering
- answer set programming
- special case
- conjunctive queries
- computational properties
- stable model semantics
- active databases
- inductive logic programming
- xml documents
- consistent query answering
- database schema
- active rules
- theorem proving
- database
- data model
- knowledge base
- databases