Stratified Negation in Limit Datalog Programs.

Mark Kaminski Bernardo Cuenca Grau Egor V. Kostylev Boris Motik Ian Horrocks

Published in: CoRR (2018)

Keyphrases

datalog programs
datalog programs with negation
magic sets
query answering
fixpoint
deductive databases
conjunctive queries
recursive queries
disjunctive datalog
fixpoint semantics
data complexity
inconsistent databases
knowledge base
lower bound
query language
expressive power