A New Proposal for Debugging Datalog Programs.

Rafael Caballero Yolanda García-Ruiz Fernando Sáenz-Pérez

Published in: Electron. Notes Theor. Comput. Sci. (2008)

Keyphrases

datalog programs
query answering
deductive databases
datalog queries
fixpoint
conjunctive queries
magic sets
recursive queries
data complexity
fixpoint semantics
inconsistent databases
integrity constraints
logic programs
data sets
incomplete information
database systems
high level
knowledge base
database