Flag and check: data access with monadically defined queries.

Flag and check: data access with monadically defined queries.

We introduce monadically defined queries (MODEQs) and nested monadically defined queries (NEMODEQs), two querying formalisms that extend conjunctive queries, conjunctive two-way regular path queries, and monadic Datalog queries. Both can be expressed as Datalog queries and in monadic second-order lo...

Detaylı Bibliyografya
Asıl Yazarlar:	Rudolph, S, Krötzsch, M
Diğer Yazarlar:	Hull, R
Materyal Türü:	Conference item
Baskı/Yayın Bilgisi:	ACM 2013

Benzer Materyaller

Monadic Queries over Tree−Structured Data
Yazar:: Gottlob, G, ve diğerleri
Baskı/Yayın Bilgisi: (2002)

Monads for measurable queries in probabilistic databases
Yazar:: Dash, S, ve diğerleri
Baskı/Yayın Bilgisi: (2021)

Conjunctive queries for EL with role composition
Yazar:: Krötzsch, M, ve diğerleri
Baskı/Yayın Bilgisi: (2007)

Monadic second-order definable graph orderings
Yazar:: Achim Blumensath, ve diğerleri
Baskı/Yayın Bilgisi: (2014-01-01)

Conjunctive Queries for a Tractable Fragment of OWL 1.1.
Yazar:: Krötzsch, M, ve diğerleri
Baskı/Yayın Bilgisi: (2007)

Fuzzy Type Relations and Transformation Operators Defined by Monads
Yazar:: Jiří Močkoř
Baskı/Yayın Bilgisi: (2020-10-01)

Corecursive Algebras, Corecursive Monads and Bloom Monads
Yazar:: Jiří Adámek, ve diğerleri
Baskı/Yayın Bilgisi: (2014-09-01)

FLAG: towards graph query autocompletion for large graphs
Yazar:: Yi, Peipei, ve diğerleri
Baskı/Yayın Bilgisi: (2023)

Monadic datalog, tree validity, and limited access containment
Yazar:: Benedikt, M, ve diğerleri
Baskı/Yayın Bilgisi: (2019)

Monads for behaviour
Yazar:: Piróg, M, ve diğerleri
Baskı/Yayın Bilgisi: (2013)

Monads for behaviour
Yazar:: Piróg, M, ve diğerleri
Baskı/Yayın Bilgisi: (2013)

Integrity Checking for Aggregate Queries
Yazar:: Somayeh Dolatnezhad Samarin, ve diğerleri
Baskı/Yayın Bilgisi: (2021-01-01)

The complexity of answering conjunctive and navigational queries over OWL 2 EL knowledge bases
Yazar:: Stefanoni, G, ve diğerleri
Baskı/Yayın Bilgisi: (2014)

Of Tactics and Monads
Yazar:: Martin, A
Baskı/Yayın Bilgisi: (1996)

The coinductive resumption monad
Yazar:: Piróg, M, ve diğerleri
Baskı/Yayın Bilgisi: (2014)

The coinductive resumption monad
Yazar:: Piróg, M, ve diğerleri
Baskı/Yayın Bilgisi: (2014)

Monadic Datalog Containment
Yazar:: Benedikt, M, ve diğerleri
Baskı/Yayın Bilgisi: (2012)

Monadic Datalog Containment
Yazar:: Benedikt, M, ve diğerleri
Baskı/Yayın Bilgisi: (2012)

On the expressive power of user-defined effects: effect handlers, monadic reflection, delimited control
Yazar:: Forster, Y, ve diğerleri
Baskı/Yayın Bilgisi: (2017)

Querying Formal Contexts with Answer Set Programs.
Yazar:: Hitzler, P, ve diğerleri
Baskı/Yayın Bilgisi: (2006)

Deriving monad transformers
Yazar:: Hinze, R
Baskı/Yayın Bilgisi: (1999)

Entangled State Monads
Yazar:: Cheney, J, ve diğerleri
Baskı/Yayın Bilgisi: (2014)

Reflections on monadic lenses
Yazar:: Abou-Saleh, F, ve diğerleri
Baskı/Yayın Bilgisi: (2016)

MONAD KAVRAMININ TEMELLERİ
Yazar:: Deniz Soysal
Baskı/Yayın Bilgisi: (2009-07-01)

Monadic Effect Algebras
Yazar:: Yuxi Zou, ve diğerleri
Baskı/Yayın Bilgisi: (2022-01-01)

Monads need not be endofunctors
Yazar:: Thosten Altenkirch, ve diğerleri
Baskı/Yayın Bilgisi: (2015-03-01)

Monad Metrizable Space
Yazar:: Orhan Göçür
Baskı/Yayın Bilgisi: (2020-10-01)

On Discrete Presheaf Monads
Yazar:: Gao Zhang, ve diğerleri
Baskı/Yayın Bilgisi: (2023-06-01)

On saturated prefilter monads
Yazar:: Gao Zhang, ve diğerleri
Baskı/Yayın Bilgisi: (2023-02-01)

Notions of Monad Strength
Yazar:: Philip Mulry
Baskı/Yayın Bilgisi: (2013-09-01)

Relative Monads Formalised
Yazar:: Thorsten Altenkirch, ve diğerleri
Baskı/Yayın Bilgisi: (2014-07-01)

Complexity of repair checking and consistent query answering
Yazar:: Arming, S, ve diğerleri
Baskı/Yayın Bilgisi: (2016)

Quantifiers on languages and codensity monads
Yazar:: Gehrke, M, ve diğerleri
Baskı/Yayın Bilgisi: (2017)

Quantifiers on languages and codensity monads
Yazar:: Gehrke, M, ve diğerleri
Baskı/Yayın Bilgisi: (2021)

The monadic theory of toric words
Yazar:: Berthé, V, ve diğerleri
Baskı/Yayın Bilgisi: (2024)

[Supporting material] On the expressive power of user-defined effects: Effect handlers, monadic reflection, delimited control
Yazar:: Pretnar, M
Baskı/Yayın Bilgisi: (2017)

Efficient Monadic−style Backtracking
Yazar:: Hinze, R
Baskı/Yayın Bilgisi: (1996)

A Monadic Interpretation of Tactics
Yazar:: Martin, A, ve diğerleri
Baskı/Yayın Bilgisi: (2015)

Equivalence Problems for Monadic Schemas
Yazar:: Qualitz, Joseph E.
Baskı/Yayın Bilgisi: (2023)

Deriving backtracking monad transformers
Yazar:: Hinze, R
Baskı/Yayın Bilgisi: (2000)