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

Cur síos iomlán

Sonraí bibleagrafaíochta
Príomhchruthaitheoirí:	Rudolph, S, Krötzsch, M
Rannpháirtithe:	Hull, R
Formáid:	Conference item
Foilsithe / Cruthaithe:	ACM 2013

Míreanna comhchosúla

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

Monads for measurable queries in probabilistic databases
de réir: Dash, S, et al.
Foilsithe / Cruthaithe: (2021)

Conjunctive queries for EL with role composition
de réir: Krötzsch, M, et al.
Foilsithe / Cruthaithe: (2007)

Monadic second-order definable graph orderings
de réir: Achim Blumensath, et al.
Foilsithe / Cruthaithe: (2014-01-01)

Conjunctive Queries for a Tractable Fragment of OWL 1.1.
de réir: Krötzsch, M, et al.
Foilsithe / Cruthaithe: (2007)

Fuzzy Type Relations and Transformation Operators Defined by Monads
de réir: Jiří Močkoř
Foilsithe / Cruthaithe: (2020-10-01)

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

FLAG: towards graph query autocompletion for large graphs
de réir: Yi, Peipei, et al.
Foilsithe / Cruthaithe: (2023)

Monadic datalog, tree validity, and limited access containment
de réir: Benedikt, M, et al.
Foilsithe / Cruthaithe: (2019)

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

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

Integrity Checking for Aggregate Queries
de réir: Somayeh Dolatnezhad Samarin, et al.
Foilsithe / Cruthaithe: (2021-01-01)

The complexity of answering conjunctive and navigational queries over OWL 2 EL knowledge bases
de réir: Stefanoni, G, et al.
Foilsithe / Cruthaithe: (2014)

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

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

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)

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

On the expressive power of user-defined effects: effect handlers, monadic reflection, delimited control
de réir: Forster, Y, et al.
Foilsithe / Cruthaithe: (2017)

Querying Formal Contexts with Answer Set Programs.
de réir: Hitzler, P, et al.
Foilsithe / Cruthaithe: (2006)

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

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)

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)

Complexity of repair checking and consistent query answering
de réir: Arming, S, et al.
Foilsithe / Cruthaithe: (2016)

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

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)

[Supporting material] On the expressive power of user-defined effects: Effect handlers, monadic reflection, delimited control
de réir: Pretnar, M
Foilsithe / Cruthaithe: (2017)

Efficient Monadic−style Backtracking
de réir: Hinze, R
Foilsithe / Cruthaithe: (1996)

A Monadic Interpretation of Tactics
de réir: Martin, A, et al.
Foilsithe / Cruthaithe: (2015)

Equivalence Problems for Monadic Schemas
de réir: Qualitz, Joseph E.
Foilsithe / Cruthaithe: (2023)

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