Monads for measurable queries in probabilistic databases

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 c...

Полное описание

Библиографические подробности
Главные авторы: Dash, S, Staton, S
Формат: Conference item
Язык:English
Опубликовано: Open Publishing Association 2021