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

書誌詳細
主要な著者:	Dash, S, Staton, S
フォーマット:	Conference item
言語:	English
出版事項:	Open Publishing Association 2021

類似資料

Affine monads and lazy structures for Bayesian programming
著者:: Dash, S, 等
出版事項: (2023)

Monadic Queries over Tree−Structured Data
著者:: Gottlob, G, 等
出版事項: (2002)

Probabilistic Monads, Domains and Classical Information
著者:: Michael Mislove
出版事項: (2012-07-01)

Flag and check: data access with monadically defined queries.
著者:: Rudolph, S, 等
出版事項: (2013)

Dichotomies for queries with negation in probabilistic databases
著者:: Fink, R, 等
出版事項: (2016)

Query with Assumptions for Probabilistic Relational Databases
著者:: Caicai Zhang, 等
出版事項: (2020-01-01)

Ontology-mediated queries for probabilistic databases
著者:: Borgwardt, S, 等
出版事項: (2017)

Most probable explanations for probabilistic database queries
著者:: Ceylan, I, 等
出版事項: (2017)

A monad for full ground reference cells
著者:: Kammar, O, 等
出版事項: (2017)

A monadic theory of point processes
著者:: Dash, S
出版事項: (2023)

Evaluation of relational algebra queries on probabilistic databases: tractability and approximation
著者:: Fink, RD
出版事項: (2014)

Ranking Query Answers in Probabilistic Databases: Complexity and Efficient Algorithms
著者:: Olteanu, D, 等
出版事項: (2012)

Corecursive Algebras, Corecursive Monads and Bloom Monads
著者:: Jiří Adámek, 等
出版事項: (2014-09-01)

Compositional imprecise probability: a solution from graded monads and Markov categories
著者:: Liell-Cock, J, 等
出版事項: (2025)

Parallel and Progressive Approaches for Skyline Query Over Probabilistic Incomplete Database
著者:: Yifu Zeng, 等
出版事項: (2018-01-01)

Monads for behaviour
著者:: Piróg, M, 等
出版事項: (2013)

Of Tactics and Monads
著者:: Martin, A
出版事項: (1996)

Monads for behaviour
著者:: Piróg, M, 等
出版事項: (2013)

On $\ast$-measure monads on the category of ultrametric spaces
著者:: Kh.O. Sukhorukova, 等
出版事項: (2022-12-01)

Probability measure monad on the category of ultrametric spaces
著者:: O.B. Hubal, 等
出版事項: (2008-10-01)

GenSQL: A Probabilistic Programming System for Querying Generative Models of Database Tables
著者:: Huot, Mathieu, 等
出版事項: (2024)

Monadic Datalog Containment
著者:: Benedikt, M, 等
出版事項: (2012)

The coinductive resumption monad
著者:: Piróg, M, 等
出版事項: (2014)

MONAD KAVRAMININ TEMELLERİ
著者:: Deniz Soysal
出版事項: (2009-07-01)

Monadic Effect Algebras
著者:: Yuxi Zou, 等
出版事項: (2022-01-01)

Monads need not be endofunctors
著者:: Thosten Altenkirch, 等
出版事項: (2015-03-01)

Monad Metrizable Space
著者:: Orhan Göçür
出版事項: (2020-10-01)

On Discrete Presheaf Monads
著者:: Gao Zhang, 等
出版事項: (2023-06-01)

On saturated prefilter monads
著者:: Gao Zhang, 等
出版事項: (2023-02-01)

Notions of Monad Strength
著者:: Philip Mulry
出版事項: (2013-09-01)

Relative Monads Formalised
著者:: Thorsten Altenkirch, 等
出版事項: (2014-07-01)

Deriving monad transformers
著者:: Hinze, R
出版事項: (1999)

The coinductive resumption monad
著者:: Piróg, M, 等
出版事項: (2014)

Monadic Datalog Containment
著者:: Benedikt, M, 等
出版事項: (2012)

Entangled State Monads
著者:: Cheney, J, 等
出版事項: (2014)

Reflections on monadic lenses
著者:: Abou-Saleh, F, 等
出版事項: (2016)

Monadic Second Order Logic with Measure and Category Quantifiers
著者:: Matteo Mio, 等
出版事項: (2018-04-01)

Quantifiers on languages and codensity monads
著者:: Gehrke, M, 等
出版事項: (2021)

The monadic theory of toric words
著者:: Berthé, V, 等
出版事項: (2024)

Quantifiers on languages and codensity monads
著者:: Gehrke, M, 等
出版事項: (2017)