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

Fuld beskrivelse

Bibliografiske detaljer
Main Authors:	Dash, S, Staton, S
Format:	Conference item
Sprog:	English
Udgivet:	Open Publishing Association 2021

Lignende værker

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

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

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

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

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

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

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

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

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

A monadic theory of point processes
af: Dash, S
Udgivet: (2023)

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

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

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

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

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

Monads for behaviour
af: Piróg, M, et al.
Udgivet: (2013)

Of Tactics and Monads
af: Martin, A
Udgivet: (1996)

Monads for behaviour
af: Piróg, M, et al.
Udgivet: (2013)

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

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

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

Monadic Datalog Containment
af: Benedikt, M, et al.
Udgivet: (2012)

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

MONAD KAVRAMININ TEMELLERİ
af: Deniz Soysal
Udgivet: (2009-07-01)

Monadic Effect Algebras
af: Yuxi Zou, et al.
Udgivet: (2022-01-01)

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

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

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

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

Notions of Monad Strength
af: Philip Mulry
Udgivet: (2013-09-01)

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

Deriving monad transformers
af: Hinze, R
Udgivet: (1999)

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

Monadic Datalog Containment
af: Benedikt, M, et al.
Udgivet: (2012)

Entangled State Monads
af: Cheney, J, et al.
Udgivet: (2014)

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

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

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

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

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