When is the evaluation of Extended CRPQ tractable? - Archive ouverte HAL
Pré-Publication, Document De Travail Année : 2021

When is the evaluation of Extended CRPQ tractable?

Résumé

We investigate the complexity of the evaluation problem for ECRPQ: Conjunctive Regular Path Queries (CRPQ), extended with synchronous relations (a.k.a. regular or automatic). We give a characterization for the evaluation and parameterized evaluation problems of ECRPQ in terms of the underlying structure of queries. As we show, complexity can range between PSpace, NP and polynomial time for the evaluation problem, and between XNL, W[1], and FPT for parameterized evaluation.
Fichier principal
Vignette du fichier
main.pdf (2.16 Mo) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03353483 , version 1 (24-09-2021)
hal-03353483 , version 2 (29-03-2022)

Identifiants

  • HAL Id : hal-03353483 , version 1

Citer

Diego Figueira, Varun Ramanathan. When is the evaluation of Extended CRPQ tractable?. 2021. ⟨hal-03353483v1⟩
789 Consultations
183 Téléchargements

Partager

More