Containment of Regular Path Queries Under ...
Document type :
Communication dans un congrès avec actes
Title :
Containment of Regular Path Queries Under Path Constraints
Author(s) :
Salvati, Sylvain [Auteur]
Inria Lille - Nord Europe
Linking Dynamic Data [LINKS]
Université de Lille
Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189 [CRIStAL]
Tison, Sophie [Auteur]
Université de Lille
Linking Dynamic Data [LINKS]
Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189 [CRIStAL]
Inria Lille - Nord Europe
Linking Dynamic Data [LINKS]
Université de Lille
Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189 [CRIStAL]
Tison, Sophie [Auteur]
Université de Lille
Linking Dynamic Data [LINKS]
Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189 [CRIStAL]
Conference title :
27th International Conference on Database Theory (ICDT 2024)
City :
Paestum
Country :
Italie
Start date of the conference :
2024-03-25
Journal title :
Leibniz International Proceedings in Informatics (LIPIcs)
Publisher :
Schloss Dagstuhl – Leibniz-Zentrum für Informatik
Publication date :
2024
English keyword(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
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
HAL domain(s) :
Informatique [cs]
Language :
Anglais
Peer reviewed article :
Oui
Audience :
Internationale
Popular science :
Non
Collections :
Source :