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]

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

HAL domain(s) :

Informatique [cs]

Language :

Anglais

Peer reviewed article :

Oui

Audience :

Internationale

Popular science :

Non

ANR Project :

Requêtes Ontologiques Complexes sur des Fédérations de Données Hétérogènese

Collections :

• Centre de Recherche en Informatique, Signal et Automatique de Lille (CRIStAL) - UMR 9189

Source :

Harvested from HAL