English
Related papers

Related papers: Datalog Rewritings of Regular Path Queries using V…

200 papers

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

We employ the Coq proof assistant to develop a mechanically-certified framework for evaluating graph queries and incrementally maintaining materialized graph instances, also called views. The language we use for defining queries and views…

Databases · Computer Science 2018-04-30 Angela Bonifati , Stefania Dumbrava , Emilio Jesus Gallego Arias

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

A regular path query (RPQ) is a regular expression q that returns all node pairs (u, v) from a graph database that are connected by an arbitrary path labelled with a word from L(q). The obvious algorithmic approach to RPQ-evaluation (called…

Data Structures and Algorithms · Computer Science 2024-02-14 Katrin Casel , Markus L. Schmid

We study persistent query evaluation over streaming graphs, which is becoming increasingly important. We focus on navigational queries that determine if there exists a path between two entities that satisfies a user-specified constraint. We…

Databases · Computer Science 2020-04-07 Anil Pacaci , Angela Bonifati , M. Tamer Özsu

A query Q is monotonically determined over a set of views if Q can be expressed as a monotonic function of the view image. In the case of relational algebra views and queries, monotonic determinacy coincides with rewritability as a union of…

Logic in Computer Science · Computer Science 2020-03-13 Michael Benedikt , Stanislav Kikot , Piotr Ostropolski-Nalewaja , 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

A view with a binding pattern is a parameterized query on a database. Such views are used, e.g., to model Web services. To answer a query on such views, the views have to be orchestrated together in execution plans. We show how queries can…

Databases · Computer Science 2020-03-20 Julien Romero , Nicoleta Preda , Antoine Amarilli , Fabian Suchanek

The standard approach for optimization of XPath queries by rewriting using views techniques consists in navigating inside a view's output, thus allowing the usage of only one view in the rewritten query. Algorithms for richer classes of…

Databases · Computer Science 2013-08-27 Bogdan Cautis , Alin Deutsch , Ioana Ileana , Nicola Onose

Evaluation of regular path queries (RPQs) is a central problem in graph databases. We investigate the corresponding enumeration problem, that is, given a graph and an RPQ, enumerate all paths in the graph that match the RPQ. We consider…

Databases · Computer Science 2017-10-09 Wim Martens , Tina Trautner

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

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

Two-way regular path queries (2-RPQs) allow one to use regular languages over edges and inverted edges in edge-labelled graph to constrain paths of interest. 2-RPQs are (partially) adopted in different real-world graph analysis systems and…

Data Structures and Algorithms · Computer Science 2025-06-17 Georgiy Belyanin , Semyon Grigoriev , Rodion Suvorov

Regular path queries (RPQs) are an essential component of graph query languages. Such queries consider a regular expression r and a directed edge-labeled graph G and search for paths in G for which the sequence of labels is in the language…

Formal Languages and Automata Theory · Computer Science 2024-02-14 Wim Martens , Matthias Niewerth , Tina Popp

Nested regular path queries are used for querying graph databases and RDF triple stores. We propose a new algorithm for evaluating nested regular path queries on a graph from a set of start nodes in combined linear time. We show that this…

Computational Complexity · Computer Science 2022-08-08 Joachim Niehren , Sylvain Salvati , Rustam Azimov

The formalism of RPQs (regular path queries) is an important building block of most query languages for graph databases. RPQs are generally evaluated under homomorphism semantics; in particular only the endpoints of the matched walks are…

Databases · Computer Science 2022-11-28 Claire David , Victor Marsault , Nadime Francis

Queries involving aggregation are typical in database applications. One of the main ideas to optimize the execution of an aggregate query is to reuse results of previously answered queries. This leads to the problem of rewriting aggregate…

Databases · Computer Science 2007-05-23 Sara Cohen , Werner Nutt , Alexander Serebrenik

A view with a binding pattern is a parameterised query on a database. Such views are used, e.g., to model Web services. To answer a query on such views, one has to orchestrate the views together in execution plans. The goal is usually to…

Databases · Computer Science 2020-10-08 Julien Romero , Nicoleta Preda , Fabian Suchanek

The resilience problem for a query and an input set or bag database is to compute the minimum number of facts to remove from the database to make the query false. In this paper, we study how to compute the resilience of Regular Path Queries…

Databases · Computer Science 2025-12-08 Antoine Amarilli , Wolfgang Gatterbauer , Neha Makhija , Mikaël Monet , Martín Muñoz

View update is an important mechanism that allows updates on a view by translating them into the corresponding updates on the base relations. The existing literature has shown the ambiguity of translating view updates. To address this…

Databases · Computer Science 2020-09-01 Van-Dang Tran , Hiroyuki Kato , Zhenjiang Hu
‹ Prev 1 2 3 10 Next ›