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

Disgrifiad llawn

Manylion Llyfryddiaeth
Prif Awduron:	Dash, S, Staton, S
Fformat:	Conference item
Iaith:	English
Cyhoeddwyd:	Open Publishing Association 2021

Eitemau Tebyg

Affine monads and lazy structures for Bayesian programming
gan: Dash, S, et al.
Cyhoeddwyd: (2023)

Monadic Queries over Tree−Structured Data
gan: Gottlob, G, et al.
Cyhoeddwyd: (2002)

Probabilistic Monads, Domains and Classical Information
gan: Michael Mislove
Cyhoeddwyd: (2012-07-01)

Flag and check: data access with monadically defined queries.
gan: Rudolph, S, et al.
Cyhoeddwyd: (2013)

Dichotomies for queries with negation in probabilistic databases
gan: Fink, R, et al.
Cyhoeddwyd: (2016)

Query with Assumptions for Probabilistic Relational Databases
gan: Caicai Zhang, et al.
Cyhoeddwyd: (2020-01-01)

Ontology-mediated queries for probabilistic databases
gan: Borgwardt, S, et al.
Cyhoeddwyd: (2017)

Most probable explanations for probabilistic database queries
gan: Ceylan, I, et al.
Cyhoeddwyd: (2017)

A monad for full ground reference cells
gan: Kammar, O, et al.
Cyhoeddwyd: (2017)

A monadic theory of point processes
gan: Dash, S
Cyhoeddwyd: (2023)

Evaluation of relational algebra queries on probabilistic databases: tractability and approximation
gan: Fink, RD
Cyhoeddwyd: (2014)

Ranking Query Answers in Probabilistic Databases: Complexity and Efficient Algorithms
gan: Olteanu, D, et al.
Cyhoeddwyd: (2012)

Corecursive Algebras, Corecursive Monads and Bloom Monads
gan: Jiří Adámek, et al.
Cyhoeddwyd: (2014-09-01)

Compositional imprecise probability: a solution from graded monads and Markov categories
gan: Liell-Cock, J, et al.
Cyhoeddwyd: (2025)

Parallel and Progressive Approaches for Skyline Query Over Probabilistic Incomplete Database
gan: Yifu Zeng, et al.
Cyhoeddwyd: (2018-01-01)

Monads for behaviour
gan: Piróg, M, et al.
Cyhoeddwyd: (2013)

Of Tactics and Monads
gan: Martin, A
Cyhoeddwyd: (1996)

Monads for behaviour
gan: Piróg, M, et al.
Cyhoeddwyd: (2013)

On $\ast$-measure monads on the category of ultrametric spaces
gan: Kh.O. Sukhorukova, et al.
Cyhoeddwyd: (2022-12-01)

Probability measure monad on the category of ultrametric spaces
gan: O.B. Hubal, et al.
Cyhoeddwyd: (2008-10-01)

GenSQL: A Probabilistic Programming System for Querying Generative Models of Database Tables
gan: Huot, Mathieu, et al.
Cyhoeddwyd: (2024)

Monadic Datalog Containment
gan: Benedikt, M, et al.
Cyhoeddwyd: (2012)

The coinductive resumption monad
gan: Piróg, M, et al.
Cyhoeddwyd: (2014)

MONAD KAVRAMININ TEMELLERİ
gan: Deniz Soysal
Cyhoeddwyd: (2009-07-01)

Monadic Effect Algebras
gan: Yuxi Zou, et al.
Cyhoeddwyd: (2022-01-01)

Monads need not be endofunctors
gan: Thosten Altenkirch, et al.
Cyhoeddwyd: (2015-03-01)

Monad Metrizable Space
gan: Orhan Göçür
Cyhoeddwyd: (2020-10-01)

On Discrete Presheaf Monads
gan: Gao Zhang, et al.
Cyhoeddwyd: (2023-06-01)

On saturated prefilter monads
gan: Gao Zhang, et al.
Cyhoeddwyd: (2023-02-01)

Notions of Monad Strength
gan: Philip Mulry
Cyhoeddwyd: (2013-09-01)

Relative Monads Formalised
gan: Thorsten Altenkirch, et al.
Cyhoeddwyd: (2014-07-01)

Deriving monad transformers
gan: Hinze, R
Cyhoeddwyd: (1999)

The coinductive resumption monad
gan: Piróg, M, et al.
Cyhoeddwyd: (2014)

Monadic Datalog Containment
gan: Benedikt, M, et al.
Cyhoeddwyd: (2012)

Entangled State Monads
gan: Cheney, J, et al.
Cyhoeddwyd: (2014)

Reflections on monadic lenses
gan: Abou-Saleh, F, et al.
Cyhoeddwyd: (2016)

Monadic Second Order Logic with Measure and Category Quantifiers
gan: Matteo Mio, et al.
Cyhoeddwyd: (2018-04-01)

Quantifiers on languages and codensity monads
gan: Gehrke, M, et al.
Cyhoeddwyd: (2021)

The monadic theory of toric words
gan: Berthé, V, et al.
Cyhoeddwyd: (2024)

Quantifiers on languages and codensity monads
gan: Gehrke, M, et al.
Cyhoeddwyd: (2017)