Modular Materialisation of Datalog Programs.

Pan Hu Boris Motik Ian Horrocks

Published in: CoRR (2018)

Keyphrases

datalog programs
query answering
fixpoint
deductive databases
conjunctive queries
magic sets
recursive queries
fixpoint semantics
datalog queries
data complexity
inconsistent databases
logic programs
stable models
high level
logic programming
general purpose
special case
databases
data sets
database