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

書目詳細資料
Main Authors:	Benedikt, M, Puppis, G, Vu, H
格式:	Journal article
出版:	2010

相似書籍

Complexity of Higher−Order Queries
由: Vu, H, et al.
出版: (2011)

Higher-order queries and applications
由: Vu, Q
出版: (2012)

Querying visible and invisible information
由: Benedikt, M, et al.
出版: (2016)

Strongly-Normalizing Higher-Order Relational Queries
由: Wilmer Ricciotti, et al.
出版: (2022-08-01)

Higher−Order Functions and Structured Datatypes
由: Benedikt, M, et al.
出版: (2012)

Limiting until in ordered tree query languages
由: Benedikt, M, et al.
出版: (2016)

HOMES: A Higher−Order Mapping Evaluation System
由: Vu, H, et al.
出版: (2011)

Query answering with transitive and linear-ordered data
由: Vanden Boom, M, et al.
出版: (2016)

Query answering with transitive and linear-ordered data
由: Amarilli, A, et al.
出版: (2018)

TOWARDS A CHARACTERIZATION OF ORDER-INVARIANT QUERIES OVER TAME GRAPHS
由: Benedikt, M, et al.
出版: (2009)

First-order orbit queries
由: Almagor, S, et al.
出版: (2020)

Querying schemas with access restrictions
由: Benedikt, M, et al.
出版: (2012)

Regular Languages of Words Over Countable Linear Orderings
由: Carton, O, et al.
出版: (2011)

SPARQLByE: Querying RDF data by example
由: Benedikt, M, et al.
出版: (2016)

Scalable querying of nested data
由: Smith, J, et al.
出版: (2020)

Reformulating queries: theory and practice
由: Benedikt, M, et al.
出版: (2017)

Higher order ionospheric effects in GNSS positioning in the European region
由: Z. G. Elmas, et al.
出版: (2011-08-01)

Automata vs. Logics on Data Words
由: Benedikt, M, et al.
出版: (2010)

Automata vs. Logics on Data Words
由: Benedikt, M, et al.
出版: (2010)

Minimal Memory Automata
由: Benedikt, M, et al.
出版: (2010)

What You Must Remember When Processing Data Words
由: Benedikt, M, et al.
出版: (2010)

What You Must Remember When Processing Data Words
由: Benedikt, M, et al.
出版: (2010)

Logic-based perspectives on query reformulation over restricted interfaces
由: Benedikt, M
出版: (2018)

The Cost of Traveling Between Languages
由: Benedikt, M, et al.
出版: (2011)

The cost of traveling between languages
由: Benedikt, M, et al.
出版: (2011)

Regular repair of specifications
由: Benedikt, M, et al.
出版: (2011)

Regular Repairs of Specifications
由: Benedikt, M, et al.
出版: (2011)

How Big Must Complete XML Query Languages Be?
由: Ley, C, et al.
出版: (2009)

Finite open-world query answering with number restrictions
由: Amarilli, A, et al.
出版: (2020)

Partitioning the positive integers with higher order recurrences
由: Clark Kimberling
出版: (1991-01-01)

Executable First-Order Queries in the Logic of Information Flows
由: Heba Aamer, et al.
出版: (2024-05-01)

First-order query evaluation on structures of bounded degree
由: Wojciech Kazana, et al.
出版: (2011-06-01)

First-order queries on classes of structures with bounded expansion
由: Wojtek Kazana, et al.
出版: (2020-02-01)

Optimal location queries on road network
由: Vu, Minh Tam
出版: (2011)

On the Relationships Between Theories of Time Granularity and the Monadic Second−order Theory of One Successor
由: Montanari, A, et al.
出版: (2006)

On monotonic determinacy and rewritability for recursive queries and views
由: Benedikt, M, et al.
出版: (2023)

On monotonic determinacy and rewritability for recursive queries and views
由: Benedikt, M, et al.
出版: (2020)

Initial Semantics for higher-order typed syntax in Coq
由: Benedikt Ahrens, et al.
出版: (2011-01-01)

Monotone rewritability and the analysis of queries, views, and rules
由: Benedikt, M, et al.
出版: (2024)

Goal-driven query answering for existential rules with equality
由: Benedikt, M, et al.
出版: (2018)