A mixed approach to negation in general datalog programs.

Viet Phan Luong

Published in: JFPLC (1995)

Keyphrases

datalog programs
query answering
special case
fixpoint
magic sets
conjunctive queries
deductive databases
fixpoint semantics
disjunctive datalog
datalog programs with negation
general purpose
autonomous agents
integrity constraints