Grohe, Martin;
Kaminski, Benjamin Lucien;
Katoen, Joost-Pieter;
Lindner, Peter;
(2022)
Generative Datalog with Continuous Distributions.
Journal of the ACM
, 69
(6)
, Article 46. 10.1145/3559102.
Preview |
Text
2001.06358.pdf - Accepted Version Download (681kB) | Preview |
Abstract
Arguing for the need to combine declarative and probabilistic programming, Bárány et al. (TODS 2017) recently introduced a probabilistic extension of Datalog as a “purely declarative probabilistic programming language.” We revisit this language and propose a more principled approach towards defining its semantics based on stochastic kernels and Markov processes—standard notions from probability theory. This allows us to extend the semantics to continuous probability distributions, thereby settling an open problem posed by Bárány et al. We show that our semantics is fairly robust, allowing both parallel execution and arbitrary chase orders when evaluating a program. We cast our semantics in the framework of infinite probabilistic databases (Grohe and Lindner, LMCS 2022) and show that the semantics remains meaningful even when the input of a probabilistic Datalog program is an arbitrary probabilistic database.
| Type: | Article |
|---|---|
| Title: | Generative Datalog with Continuous Distributions |
| Open access status: | An open access version is available from UCL Discovery |
| DOI: | 10.1145/3559102 |
| Publisher version: | https://doi.org/10.1145/3559102 |
| Language: | English |
| Additional information: | This version is the author accepted manuscript. For information on re-use, please refer to the publisher's terms and conditions. |
| UCL classification: | UCL UCL > Provost and Vice Provost Offices > UCL BEAMS UCL > Provost and Vice Provost Offices > UCL BEAMS > Faculty of Engineering Science UCL > Provost and Vice Provost Offices > UCL BEAMS > Faculty of Engineering Science > Dept of Computer Science |
| URI: | https://discovery.ucl.ac.uk/id/eprint/10176601 |
Loading...
Loading...Loading...Loading...Archive Staff Only
 |
View Item |
