Deterministic Parallel Fixpoint Computation.

Sung Kook Kim Arnaud J. Venet Aditya V. Thakur

Published in: CoRR (2019)

Keyphrases

fixpoint
logic programs
deductive databases
fixpoint semantics
finite state machines
horn clauses
stable models
logic programming
update rule
recursive queries
sql queries
model theoretic
nonmonotonic reasoning
integrity constraints
datalog programs
databases
data storage
data mining