Positive Higher−Order Queries

Positive Higher−Order Queries

We investigate a higher-order query language that embeds operators of the positive relational algebra within the simply-typed Lambda-calculus. Our language allows one to succinctly define ordinary positive relational algebra queries (conjunctive queries and unions of conjunctive queries) and, in add...

Cur síos iomlán

Sonraí bibleagrafaíochta
Príomhchruthaitheoirí:	Benedikt, M, Puppis, G, Vu, H
Formáid:	Journal article
Foilsithe / Cruthaithe:	2010

Míreanna comhchosúla

Complexity of Higher−Order Queries
de réir: Vu, H, et al.
Foilsithe / Cruthaithe: (2011)

Higher-order queries and applications
de réir: Vu, Q
Foilsithe / Cruthaithe: (2012)

Querying visible and invisible information
de réir: Benedikt, M, et al.
Foilsithe / Cruthaithe: (2016)

Strongly-Normalizing Higher-Order Relational Queries
de réir: Wilmer Ricciotti, et al.
Foilsithe / Cruthaithe: (2022-08-01)

Higher−Order Functions and Structured Datatypes
de réir: Benedikt, M, et al.
Foilsithe / Cruthaithe: (2012)

Limiting until in ordered tree query languages
de réir: Benedikt, M, et al.
Foilsithe / Cruthaithe: (2016)

HOMES: A Higher−Order Mapping Evaluation System
de réir: Vu, H, et al.
Foilsithe / Cruthaithe: (2011)

Query answering with transitive and linear-ordered data
de réir: Vanden Boom, M, et al.
Foilsithe / Cruthaithe: (2016)

Query answering with transitive and linear-ordered data
de réir: Amarilli, A, et al.
Foilsithe / Cruthaithe: (2018)

TOWARDS A CHARACTERIZATION OF ORDER-INVARIANT QUERIES OVER TAME GRAPHS
de réir: Benedikt, M, et al.
Foilsithe / Cruthaithe: (2009)

First-order orbit queries
de réir: Almagor, S, et al.
Foilsithe / Cruthaithe: (2020)

Querying schemas with access restrictions
de réir: Benedikt, M, et al.
Foilsithe / Cruthaithe: (2012)

Regular Languages of Words Over Countable Linear Orderings
de réir: Carton, O, et al.
Foilsithe / Cruthaithe: (2011)

SPARQLByE: Querying RDF data by example
de réir: Benedikt, M, et al.
Foilsithe / Cruthaithe: (2016)

Scalable querying of nested data
de réir: Smith, J, et al.
Foilsithe / Cruthaithe: (2020)

Reformulating queries: theory and practice
de réir: Benedikt, M, et al.
Foilsithe / Cruthaithe: (2017)

Higher order ionospheric effects in GNSS positioning in the European region
de réir: Z. G. Elmas, et al.
Foilsithe / Cruthaithe: (2011-08-01)

Automata vs. Logics on Data Words
de réir: Benedikt, M, et al.
Foilsithe / Cruthaithe: (2010)

Automata vs. Logics on Data Words
de réir: Benedikt, M, et al.
Foilsithe / Cruthaithe: (2010)

Minimal Memory Automata
de réir: Benedikt, M, et al.
Foilsithe / Cruthaithe: (2010)

What You Must Remember When Processing Data Words
de réir: Benedikt, M, et al.
Foilsithe / Cruthaithe: (2010)

What You Must Remember When Processing Data Words
de réir: Benedikt, M, et al.
Foilsithe / Cruthaithe: (2010)

Logic-based perspectives on query reformulation over restricted interfaces
de réir: Benedikt, M
Foilsithe / Cruthaithe: (2018)

The Cost of Traveling Between Languages
de réir: Benedikt, M, et al.
Foilsithe / Cruthaithe: (2011)

The cost of traveling between languages
de réir: Benedikt, M, et al.
Foilsithe / Cruthaithe: (2011)

Regular repair of specifications
de réir: Benedikt, M, et al.
Foilsithe / Cruthaithe: (2011)

Regular Repairs of Specifications
de réir: Benedikt, M, et al.
Foilsithe / Cruthaithe: (2011)

How Big Must Complete XML Query Languages Be?
de réir: Ley, C, et al.
Foilsithe / Cruthaithe: (2009)

Finite open-world query answering with number restrictions
de réir: Amarilli, A, et al.
Foilsithe / Cruthaithe: (2020)

Partitioning the positive integers with higher order recurrences
de réir: Clark Kimberling
Foilsithe / Cruthaithe: (1991-01-01)

Executable First-Order Queries in the Logic of Information Flows
de réir: Heba Aamer, et al.
Foilsithe / Cruthaithe: (2024-05-01)

First-order query evaluation on structures of bounded degree
de réir: Wojciech Kazana, et al.
Foilsithe / Cruthaithe: (2011-06-01)

First-order queries on classes of structures with bounded expansion
de réir: Wojtek Kazana, et al.
Foilsithe / Cruthaithe: (2020-02-01)

Optimal location queries on road network
de réir: Vu, Minh Tam
Foilsithe / Cruthaithe: (2011)

On the Relationships Between Theories of Time Granularity and the Monadic Second−order Theory of One Successor
de réir: Montanari, A, et al.
Foilsithe / Cruthaithe: (2006)

On monotonic determinacy and rewritability for recursive queries and views
de réir: Benedikt, M, et al.
Foilsithe / Cruthaithe: (2023)

On monotonic determinacy and rewritability for recursive queries and views
de réir: Benedikt, M, et al.
Foilsithe / Cruthaithe: (2020)

Initial Semantics for higher-order typed syntax in Coq
de réir: Benedikt Ahrens, et al.
Foilsithe / Cruthaithe: (2011-01-01)

Monotone rewritability and the analysis of queries, views, and rules
de réir: Benedikt, M, et al.
Foilsithe / Cruthaithe: (2024)

Goal-driven query answering for existential rules with equality
de réir: Benedikt, M, et al.
Foilsithe / Cruthaithe: (2018)