Stratified Negation in Limit Datalog Programs.

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

Published in: IJCAI (2018)

Keyphrases

datalog programs
query answering
datalog programs with negation
fixpoint
magic sets
deductive databases
data complexity
disjunctive datalog
recursive queries
conjunctive queries
inconsistent databases
fixpoint semantics
expressive power
database systems
data exchange
integrity constraints
expert systems