# Monads for Measurable Queries in Probabilistic Databases

@inproceedings{Dash2021MonadsFM, title={Monads for Measurable Queries in Probabilistic Databases}, author={Swaraj Dash and Sam Staton}, booktitle={Mathematical Foundations of Programming Semantics}, year={2021} }

We consider a bag (multiset) monad on the category of standard Borel spaces, and show that it gives a free measurable commutative monoid. Firstly, we show that a recent measurability result for probabilistic database queries (Grohe and Lindner, ICDT 2020) follows quickly from the fact that queries can be expressed in monad-based terms. We also extend this measurability result to a fuller query language. Secondly, we discuss a distributive law between probability and bag monads, and we…

## 2 Citations

### Multinomial and Hypergeometric Distributions in Markov Categories

- MathematicsMFPS
- 2021

This paper uses finite colimits and what the authors call uniform states in such Markov categories to define a (fixed size) multiset functor, with basic operations for sums and zips of multisets, and a graded monad structure.

### Multinomial and Hypergeometric Distributions in Markov Categories

- Mathematics
- 2021

This paper uses finite colimits and what the authors call uniform states in such Markov categories to define a (fixed size) multiset functor, with basic operations for sums and zips of multisets, and a graded monad structure.

## References

SHOWING 1-10 OF 32 REFERENCES

### Distributing probability over non-determinism

- MathematicsMathematical Structures in Computer Science
- 2006

The notion of indexed valuations is used to define a new monad that can be combined with the usual non-deterministic monad via a categorical distributive law and an equational characterisation of the construction is given.

### Infinite Probabilistic Databases

- Computer ScienceICDT
- 2020

It is argued that finite point processes are an appropriate model from probability theory for dealing with general probabilistic databases and allows us to construct suitable (uncountable) probability spaces of database instances in a systematic way.

### From Multisets over Distributions to Distributions over Multisets

- Mathematics2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
- 2021

This article shows that there is a rich underlying theory relating multisets and probability distributions and it is shown that the new distributive law, called parallel multinomial law, can be defined in (at least) four equivalent ways.

### Monads and Quantitative Equational Theories for Nondeterminism and Probability

- MathematicsCONCUR
- 2020

The main result is the presentation of this lifted monad in terms of the quantitative equational theory of convex semilattices, using the framework of quantitative algebras recently introduced by Mardare, Panangaden and Plotkin.

### Combining probabilistic and non-deterministic choice via weak distributive laws

- MathematicsLICS
- 2020

This paper proves the existence of a weak distributive law of the powerset monad over the finite distribution monad, and retrieves the well-known convex powersetmonad as a weak lifting of the power monad to the category of convex algebras.

### Multinomial and Hypergeometric Distributions in Markov Categories

- MathematicsMFPS
- 2021

This paper uses finite colimits and what the authors call uniform states in such Markov categories to define a (fixed size) multiset functor, with basic operations for sums and zips of multisets, and a graded monad structure.

### Query languages for bags: expressive power and complexity

- Computer ScienceSIGA
- 1996

This paper considers query languages that are simple extensions of the (nested) relational algebra, and investigates their resulting expressive power and complexity.

### Generative Datalog with Continuous Distributions

- Computer SciencePODS
- 2020

This language is revisited and a more foundational approach towards defining its semantics is proposed, based on standard notions from probability theory known as stochastic kernels and Markov processes, and it is shown that the semantics is fairly robust, allowing both parallel execution and arbitrary chase orders when evaluating a program.

### A Monad for Probabilistic Point Processes

- MathematicsACT
- 2020

This paper identifies point processes on a space X with probability measures of bags of elements in X with a view of point processes using the composition of the Giry and bag monads on the category of measurable spaces and functions and proves that this composition also forms a monad using a distributive law for monads.

### No-Go Theorems for Distributive Laws

- Mathematics2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
- 2019

Two families of theorems for showing when there can be no distributive law for two monads are presented, widely generalizing a counterexample attributed to Plotkin and encompassing various new practical situations.