Implementing a fixed point semantics for a constraint deductive database based on hereditary harrop formulas.
Gabriel Aranda-LópezSusana NievaFernando Sáenz-PérezJaime Sánchez-HernándezPublished in: PPDP (2009)
Keyphrases
- deductive databases
- logic programming
- integrity constraints
- fixed point semantics
- query evaluation
- disjunctive deductive databases
- fixpoint
- logic programs
- cardinality constraints
- update propagation
- integrity checking
- general logic programs
- declarative semantics
- stable models
- model theoretic
- semantics for logic programs
- knowledge representation