Unifying Guarded and Unguarded Iteration.

Sergey Goncharov Lutz Schröder Christoph Rauch Maciej Piróg

Published in: FoSSaCS (2017)

Keyphrases

query answering
probabilistic databases
objective function
fixed point
iterative process
artificial intelligence
bayesian networks
data structure
data streams
evolutionary algorithm
query language
tree decompositions