Login / Signup
Combining Rewriting and Incremental Materialisation Maintenance for Datalog Programs with Equality.
Boris Motik
Yavor Nenov
Robert Piro
Ian Horrocks
Published in:
IJCAI (2015)
Keyphrases
</>
datalog programs
fixpoint
magic sets
query answering
conjunctive queries
deductive databases
logic programs
inconsistent databases
data complexity
recursive queries
integrity constraints
data sets
distributed systems
incomplete information
finite state machines
answer sets