A Mixed Approach to Negation in General Datalog Programs.

Viet Phan Luong

Published in: DOOD (1995)

Keyphrases

datalog programs
deductive databases
special case
query answering
datalog programs with negation
logic programs
fixpoint
fixpoint semantics
magic sets
recursive queries
integrity constraints
data complexity
conjunctive queries
database
lower bound
high level
data mining