Jumping Evaluation of Nested Regular Path Queries - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2022

Jumping Evaluation of Nested Regular Path Queries

Joachim Niehren
Sylvain Salvati

Résumé

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. Not only does it evaluate path queries from a given set of start nodes in combined linear time, but also this complexity bound depends only on the size of the query’s top-down needed subgraph, a notion that we introduce. For many queries relevant in practice, the top-down needed subgraph is way smaller than the whole datagraph. Our algorithm is based on a novel compilation schema from nested regular path queries to monadic datalog queries. We prove that the top-down evaluation of the datalog program visits only the top-down needed subgraph for the path query. Thereby, the combined linear time complexity depending on the size of the top-down needed subgraph is implied by a general complexity result for top-down datalog evaluation. As an application, we show that our algorithm permits to reformulate in simple terms a variant of a very efficient automata-based algorithm proposed by Maneth and Nguyen that evaluates navigational path queries in datatrees based on indexes and jumping. Moreover, our variant overcomes some limitations of Maneth and Nguyen’s: it is not bound to trees and applies to graphs; it is not limited to forward navigational XPath but can treat any nested regular path query and it can be implemented efficiently without any dedicated techniques, by using any efficient datalog evaluator.
Fichier principal
Vignette du fichier
1.pdf (228.53 Ko) Télécharger le fichier
ICLP.pdf (563.48 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-02492780 , version 1 (27-02-2020)
hal-02492780 , version 2 (10-06-2020)
hal-02492780 , version 3 (16-03-2022)
hal-02492780 , version 4 (15-05-2022)
hal-02492780 , version 5 (16-05-2022)
hal-02492780 , version 6 (04-08-2022)

Identifiants

  • HAL Id : hal-02492780 , version 2

Citer

Joachim Niehren, Rustam Azimov, Sylvain Salvati. Jumping Evaluation of Nested Regular Path Queries. International Conference on Logic Programming (ICLP), Jul 2022, Haifa, Israel. ⟨hal-02492780v2⟩
309 Consultations
217 Téléchargements

Partager

Gmail Facebook X LinkedIn More