Modular Materialisation of Datalog Programs.

Pan Hu Boris Motik Ian Horrocks

Published in: AAAI (2019)

Keyphrases

datalog programs
query answering
recursive queries
conjunctive queries
magic sets
deductive databases
fixpoint
datalog queries
inconsistent databases
fixpoint semantics
data complexity
databases
data mining
data analysis
np complete