scholarly journals Rewriting of Regular Expressions and Regular Path Queries

2002 ◽  
Vol 64 (3) ◽  
pp. 443-465 ◽  
Author(s):  
Diego Calvanese ◽  
Giuseppe De Giacomo ◽  
Maurizio Lenzerini ◽  
Moshe Y. Vardi
Keyword(s):  
Regular Expressions ◽  
Regular Path ◽  
Regular Path Queries ◽  
Path Queries

Containment of Simple Conjunctive Regular Path Queries

2020 ◽  
Author(s):  
Diego Figueira ◽  
Adwait Godbole ◽  
S. Krishna ◽  
Wim Martens ◽  
Matthias Niewerth ◽  
...  
Keyword(s):  
Knowledge Representation ◽  
Query Language ◽  
Regular Expressions ◽  
Graph Database ◽  
Reasoning Task ◽  
Containment Problem ◽  
Database Querying ◽  
Regular Path ◽  
Regular Path Queries ◽  
Path Queries

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 graph database querying. While it is known that containment of CRPQs is EXPSPACE-complete in general, we focus here on severely restricted fragments, which are known to be highly relevant in practice according to several recent studies. We obtain a detailed overview of the complexity of the containment problem, depending on the features used in the regular expressions of the queries, with completeness results for NP, Pi2p, PSPACE or EXPSPACE.

PAIRPQ: An Efficient Path Index for Regular Path Queries on Knowledge Graphs

2021 ◽  
pp. 106-120
Author(s):  
Baozhu Liu ◽  
Xin Wang ◽  
Pengkai Liu ◽  
Sizhuo Li ◽  
Xiaofei Wang
Keyword(s):  
Path Index ◽  
Regular Path ◽  
Regular Path Queries ◽  
Knowledge Graphs ◽  
Path Queries

scholarly journals Algebraic rewritings for optimizing regular path queries

2003 ◽  
Vol 296 (3) ◽  
pp. 453-471 ◽  
Author(s):  
Gösta Grahne ◽  
Alex Thomo
Keyword(s):  
Regular Path ◽  
Regular Path Queries ◽  
Path Queries

scholarly journals Expressiveness and static analysis of extended conjunctive regular path queries

2013 ◽  
Vol 79 (6) ◽  
pp. 892-909 ◽  
Author(s):  
Dominik D. Freydenberger ◽  
Nicole Schweikardt
Keyword(s):  
Static Analysis ◽  
Regular Path ◽  
Regular Path Queries ◽  
Path Queries

scholarly journals Regular Path Queries with Constraints

1999 ◽  
Vol 58 (3) ◽  
pp. 428-452 ◽  
Author(s):  
Serge Abiteboul ◽  
Victor Vianu
Keyword(s):  
Regular Path ◽  
Regular Path Queries ◽  
Path Queries
Sign in / Sign up

Export Citation Format

Share Document