A Theoretical Framework for the Declarative Debugging of Datalog Programs.
Rafael CaballeroYolanda García-RuizFernando Sáenz-PérezPublished in: SDKB (2008)
Keyphrases
- theoretical framework
- datalog programs
- magic sets
- query answering
- theoretical foundation
- conjunctive queries
- fixpoint
- deductive databases
- inconsistent databases
- recursive queries
- knowledge representation
- belief revision
- database
- transitive closure
- integrity constraints
- stable models
- expressive power
- declarative semantics