Monads for measurable queries in probabilistic databases

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

Cur síos iomlán

Sonraí bibleagrafaíochta
Príomhchruthaitheoirí:	Dash, S, Staton, S
Formáid:	Conference item
Teanga:	English
Foilsithe / Cruthaithe:	Open Publishing Association 2021

Míreanna comhchosúla

Affine monads and lazy structures for Bayesian programming
de réir: Dash, S, et al.
Foilsithe / Cruthaithe: (2023)

Monadic Queries over Tree−Structured Data
de réir: Gottlob, G, et al.
Foilsithe / Cruthaithe: (2002)

Probabilistic Monads, Domains and Classical Information
de réir: Michael Mislove
Foilsithe / Cruthaithe: (2012-07-01)

Flag and check: data access with monadically defined queries.
de réir: Rudolph, S, et al.
Foilsithe / Cruthaithe: (2013)

Dichotomies for queries with negation in probabilistic databases
de réir: Fink, R, et al.
Foilsithe / Cruthaithe: (2016)

Query with Assumptions for Probabilistic Relational Databases
de réir: Caicai Zhang, et al.
Foilsithe / Cruthaithe: (2020-01-01)

Ontology-mediated queries for probabilistic databases
de réir: Borgwardt, S, et al.
Foilsithe / Cruthaithe: (2017)

Most probable explanations for probabilistic database queries
de réir: Ceylan, I, et al.
Foilsithe / Cruthaithe: (2017)

A monad for full ground reference cells
de réir: Kammar, O, et al.
Foilsithe / Cruthaithe: (2017)

A monadic theory of point processes
de réir: Dash, S
Foilsithe / Cruthaithe: (2023)

Evaluation of relational algebra queries on probabilistic databases: tractability and approximation
de réir: Fink, RD
Foilsithe / Cruthaithe: (2014)

Ranking Query Answers in Probabilistic Databases: Complexity and Efficient Algorithms
de réir: Olteanu, D, et al.
Foilsithe / Cruthaithe: (2012)

Corecursive Algebras, Corecursive Monads and Bloom Monads
de réir: Jiří Adámek, et al.
Foilsithe / Cruthaithe: (2014-09-01)

Compositional imprecise probability: a solution from graded monads and Markov categories
de réir: Liell-Cock, J, et al.
Foilsithe / Cruthaithe: (2025)

Parallel and Progressive Approaches for Skyline Query Over Probabilistic Incomplete Database
de réir: Yifu Zeng, et al.
Foilsithe / Cruthaithe: (2018-01-01)

Monads for behaviour
de réir: Piróg, M, et al.
Foilsithe / Cruthaithe: (2013)

Of Tactics and Monads
de réir: Martin, A
Foilsithe / Cruthaithe: (1996)

Monads for behaviour
de réir: Piróg, M, et al.
Foilsithe / Cruthaithe: (2013)

On $\ast$-measure monads on the category of ultrametric spaces
de réir: Kh.O. Sukhorukova, et al.
Foilsithe / Cruthaithe: (2022-12-01)

Probability measure monad on the category of ultrametric spaces
de réir: O.B. Hubal, et al.
Foilsithe / Cruthaithe: (2008-10-01)

GenSQL: A Probabilistic Programming System for Querying Generative Models of Database Tables
de réir: Huot, Mathieu, et al.
Foilsithe / Cruthaithe: (2024)

Monadic Datalog Containment
de réir: Benedikt, M, et al.
Foilsithe / Cruthaithe: (2012)

The coinductive resumption monad
de réir: Piróg, M, et al.
Foilsithe / Cruthaithe: (2014)

MONAD KAVRAMININ TEMELLERİ
de réir: Deniz Soysal
Foilsithe / Cruthaithe: (2009-07-01)

Monadic Effect Algebras
de réir: Yuxi Zou, et al.
Foilsithe / Cruthaithe: (2022-01-01)

Monads need not be endofunctors
de réir: Thosten Altenkirch, et al.
Foilsithe / Cruthaithe: (2015-03-01)

Monad Metrizable Space
de réir: Orhan Göçür
Foilsithe / Cruthaithe: (2020-10-01)

On Discrete Presheaf Monads
de réir: Gao Zhang, et al.
Foilsithe / Cruthaithe: (2023-06-01)

On saturated prefilter monads
de réir: Gao Zhang, et al.
Foilsithe / Cruthaithe: (2023-02-01)

Notions of Monad Strength
de réir: Philip Mulry
Foilsithe / Cruthaithe: (2013-09-01)

Relative Monads Formalised
de réir: Thorsten Altenkirch, et al.
Foilsithe / Cruthaithe: (2014-07-01)

Deriving monad transformers
de réir: Hinze, R
Foilsithe / Cruthaithe: (1999)

The coinductive resumption monad
de réir: Piróg, M, et al.
Foilsithe / Cruthaithe: (2014)

Monadic Datalog Containment
de réir: Benedikt, M, et al.
Foilsithe / Cruthaithe: (2012)

Entangled State Monads
de réir: Cheney, J, et al.
Foilsithe / Cruthaithe: (2014)

Reflections on monadic lenses
de réir: Abou-Saleh, F, et al.
Foilsithe / Cruthaithe: (2016)

Monadic Second Order Logic with Measure and Category Quantifiers
de réir: Matteo Mio, et al.
Foilsithe / Cruthaithe: (2018-04-01)

Quantifiers on languages and codensity monads
de réir: Gehrke, M, et al.
Foilsithe / Cruthaithe: (2021)

The monadic theory of toric words
de réir: Berthé, V, et al.
Foilsithe / Cruthaithe: (2024)

Quantifiers on languages and codensity monads
de réir: Gehrke, M, et al.
Foilsithe / Cruthaithe: (2017)