Containment of Regular Path Queries Under Path Constraints.
Sylvain SalvatiSophie TisonPublished in: ICDT (2024)
Keyphrases
- regular path queries
- path queries
- regular expressions
- query containment
- automata theoretic
- semistructured databases
- conjunctive queries
- data complexity
- query answering
- semistructured data
- graph databases
- reasoning tasks
- conjunctive regular path queries
- query evaluation
- expressive power
- databases
- transitive closure
- data exchange
- query rewriting
- query language
- graph model
- model checking
- shortest path