Deterministic parallel fixpoint computation.

Sung Kook Kim Arnaud J. Venet Aditya V. Thakur

Published in: Proc. ACM Program. Lang. (2020)

Keyphrases

fixpoint
logic programs
deductive databases
fixpoint semantics
finite state machines
stable models
datalog programs
update rule
answer sets
sql queries
horn clauses
model theoretic
logic programming
knowledge discovery
bayesian networks
xml documents
recursive queries
proof theoretic
search space