Paper in Journal of the ACM

The paper entitled “Generative Datalog with Continuous Distributions” by Martin Grohe, Benjamin Kaminski, Joost-Pieter Katoen and Peter Lindner has been accepted in Journal of the ACM. The paper defines a formal semantics (based on stochastic kernels and Markov processes) of a probabilistic version of the Datalog querying language for probabilistic databases storing data with continuous distributions.