Processing Negation and Disjunction in Logic Programs Through Integrity Constraints.
Terry GaasterlandJorge LoboPublished in: J. Intell. Inf. Syst. (1993)
Keyphrases
- integrity constraints
- logic programs
- deductive databases
- semantics of logic programs
- logic programming
- fixpoint semantics
- fixpoint
- stable models
- functional dependencies
- answer sets
- query answering
- normal logic programs
- declarative semantics
- conjunctive queries
- database schema
- inclusion dependencies
- answer set programming
- model theoretic
- xml documents
- stable model semantics
- answer set semantics
- null values
- consistent query answering
- logic rules
- recursive queries
- truth values
- database
- data management
- semantics for logic programs
- normal form