Boundedness for Unions of Conjunctive Regular Path Queries over Simple Regular Expressions - Archive ouverte HAL
Proceedings/Recueil Des Communications Année : 2024

Boundedness for Unions of Conjunctive Regular Path Queries over Simple Regular Expressions

Résumé

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 Queries (UCRPQs), a navigational query language extensively used in ontology and graph database querying. The boundedness problem for UCRPQs is ExpSpace-complete. Here we focus our analysis on UCRPQs using simple regular expressions, which are of high practical relevance and enjoy a lower reasoning complexity. We show that the complexity for the boundedness problem for this UCRPQs fragment is Pi-P-2-complete, and that an equivalent bounded query can be produced in polynomial time whenever possible. When the query turns out to be unbounded, we also study the task of finding an equivalent maximally bounded query, which we show to be feasible in Pi-P-2. As a side result of independent interest stemming from our developments, we study a notion of succinct finite automata and prove that its membership problem is in NP.

Dates et versions

hal-04687799 , version 1 (04-09-2024)

Identifiants

Citer

Diego Figueira, S. Krishna, Om Swostik Mishra, Anantha Padmanabha. Boundedness for Unions of Conjunctive Regular Path Queries over Simple Regular Expressions. International Conference on Principles of Knowledge Representation and Reasoning (KR), 2024. ⟨hal-04687799⟩

Collections

CNRS UNIV-BORDEAUX
9 Consultations
0 Téléchargements

Altmetric

Partager

More