Containment of Regular Path Queries Under Path Constraints
Mots clés
finite controllability
decision problems Digital Object Identifier 10.4230/LIPIcs.ICDT.2024.17
2012 ACM Subject Classification Theory of computation → Database constraints theory
Theory Graph databases
Graph databases
rational path queries
query containment
TGDs
word constraints
rewrite systems
decision problems
Theory of computation → Database constraints theory
Theory of computation → Rewrite systems
Theory of computation → Regular languages
Theory of computation → Grammars and context-free languages
Theory of computation → Database theory
2012 ACM Subject Classification Theory of computation → Database constraints theory Theory of computation → Rewrite systems Theory Graph databases