Modular materialisation of Datalog programs.

Pan Hu Boris Motik Ian Horrocks

Published in: Artif. Intell. (2022)

Keyphrases

datalog programs
query answering
conjunctive queries
recursive queries
magic sets
datalog queries
inconsistent databases
deductive databases
fixpoint
data complexity
fixpoint semantics
special case
incomplete information