English
Related papers

Related papers: Conjunctive Regular Path Queries with String Varia…

200 papers

Conjunctive Regular Path Queries, or CRPQs for short, are an essential construct in graph query languages. In this paper, we propose the first output-sensitive algorithm for evaluating acyclic CRPQs. It is output-sensitive in the sense that…

Databases · Computer Science 2025-09-30 Mahmoud Abo Khamis , Alexandru-Mihai Hurjui , Ahmet Kara , Dan Olteanu , Dan Suciu , Zilu Tian

We introduce injective semantics for Conjunctive Regular Path Queries (CRPQs), and study their fundamental properties. We identify two such semantics: atom-injective and query-injective semantics, both defined in terms of injective…

Databases · Computer Science 2023-04-14 Diego Figueira , Miguel Romero

Regular path queries (RPQ) is a classical navigational query formalism for graph databases to specify constraints on labeled paths. Recently, RPQs have been extended by Libkin and Vrgo$\rm \check{c}$ to incorporate data value comparisons…

Logic in Computer Science · Computer Science 2014-02-26 Zhilin Wu

We present an output-sensitive algorithm for evaluating an acyclic Conjunctive Regular Path Query (CRPQ). Its complexity is written in terms of the input size, the output size, and a well-known parameter of the query that is called the…

Databases · Computer Science 2026-03-17 Mahmoud Abo Khamis , Alexandru-Mihai Hurjui , Ahmet Kara , Dan Olteanu , Dan Suciu

Testing containment of queries is a fundamental reasoning task in knowledge representation. We study here the containment problem for Conjunctive Regular Path Queries (CRPQs), a navigational query language extensively used in ontology and…

Artificial Intelligence · Computer Science 2020-03-11 Diego Figueira , Adwait Godbole , S. Krishna , Wim Martens , Matthias Niewerth , Tina Trautner

Two-way regular path queries (2RPQs) have received increased attention recently due to their ability to relate pairs of objects by flexibly navigating graph-structured data. They are present in property paths in SPARQL 1.1, the new standard…

Logic in Computer Science · Computer Science 2014-03-05 Meghyn Bienvenu , Diego Calvanese , Magdalena Ortiz , Mantas Simkus

Regular Path Queries (RPQs), which are essentially regular expressions to be matched against the labels of paths in labeled graphs, are at the core of graph database query languages like SPARQL. A way to solve RPQs is to translate them into…

Data Structures and Algorithms · Computer Science 2024-04-24 Diego Arroyuelo , Adrián Gómez-Brandón , Gonzalo Navarro

A graph database is a digraph whose arcs are labeled with symbols from a fixed alphabet. A regular graph pattern (RGP) is a digraph whose edges are labeled with regular expressions over the alphabet. RGPs model navigational queries for…

Databases · Computer Science 2023-05-15 Laurent Beaudou , Florent Foucaud , Florent R. Madelaine , Lhouari Nourine , Gaétan Richad

Regular path queries (RPQs) the ubiquitous mechanism for querying data graphs of partially known structure. RPQs are in essence regular expressions over the edge symbols. The answer to an RPQ on a given graph (database) is the set of pairs…

Formal Languages and Automata Theory · Computer Science 2020-02-04 Gosta Grahne , Alex Thomo

Regular path queries (RPQs) select nodes connected by some path in a graph. The edge labels of such a path have to form a word that matches a given regular expression. We investigate the evaluation of RPQs with an additional constraint that…

Databases · Computer Science 2013-01-01 Guillaume Bagan , Angela Bonifati , Benoit Groz

In the last decade, substantial progress has been made towards standardizing the syntax of graph query languages, and towards understanding their semantics and complexity of evaluation. In this paper, we consider temporal property graphs…

Databases · Computer Science 2022-03-11 Marcelo Arenas , Pedro Bahamondes , Amir Aghasadeghi , Julia Stoyanovich

The problem of checking whether a recursive query can be rewritten as query without recursion is a fundamental reasoning task, known as the boundedness problem. Here we study the boundedness problem for Unions of Conjunctive Regular Path…

Databases · Computer Science 2024-07-31 Diego Figueira , S. Krishna , Om Swostik Mishra , Anantha Padmanabha

Regular expressions with capture variables, also known as "regex formulas," extract relations of spans (interval positions) from text. These relations can be further manipulated via Relational Algebra as studied in the context of document…

Databases · Computer Science 2017-03-31 Dominik D. Freydenberger , Benny Kimelfeld , Liat Peterfreund

A path query extracts vertex tuples from a labeled graph, based on the words that are formed by the paths connecting the vertices. We study the computational complexity of measuring the contribution of edges and vertices to an answer to a…

Databases · Computer Science 2022-12-16 Majd Khalil , Benny Kimelfeld

We study the minimization problem for Conjunctive Regular Path Queries (CRPQs) and unions of CRPQs (UCRPQs). This is the problem of checking, given a query and a number $k$, whether the query is equivalent to one of size at most $k$. For…

Databases · Computer Science 2025-04-02 Diego Figueira , Rémi Morvan , Miguel Romero

Navigational graph queries are an important class of queries that canextract implicit binary relations over the nodes of input graphs. Most of the navigational query languages used in the RDF community, e.g. property paths in W3C SPARQL 1.1…

Databases · Computer Science 2016-10-10 Xiaowang Zhang , Zhiyong Feng , Xin Wang , Guozheng Rao , Wenrui Wu

Graph data models have recently become popular owing to their applications, e.g., in social networks and the semantic web. Typical navigational query languages over graph databases - such as Conjunctive Regular Path Queries (CRPQs) - cannot…

Databases · Computer Science 2017-01-11 Pablo Barcelo , Gaelle Fontaine , Anthony Widjaja Lin

Regular expressions with backreferences (regex, for short), as supported by most modern libraries for regular expression matching, have an NP-complete matching problem. We define a complexity parameter of regex, called active variable…

Formal Languages and Automata Theory · Computer Science 2024-02-09 Markus L. Schmid

Regular Path Queries (RPQs) are a type of graph query where answers are pairs of nodes connected by a sequence of edges matching a regular expression. We study the techniques to process such queries on a distributed graph of data. While…

Distributed, Parallel, and Cluster Computing · Computer Science 2015-10-16 Alan Davoust , Babak Esfandiari

Conjunctive path queries (CPQ) are one of the most frequently used queries for complex graph analysis. However, current graph indexes are not tailored to fully support the power of query languages to express CPQs. Consequently, current…

Databases · Computer Science 2021-12-28 Yuya Sasaki , George Fletcher , Makoto Onizuka
‹ Prev 1 2 3 10 Next ›