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