Titre :

Containment of Regular Path Queries Under Path Constraints

Auteur(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]

Titre de la manifestation scientifique :

27th International Conference on Database Theory (ICDT 2024)

Ville :

Paestum

Pays :

Italie

Date de début de la manifestation scientifique :

2024-03-25

Titre de la revue :

Leibniz International Proceedings in Informatics (LIPIcs)

Éditeur :

Schloss Dagstuhl – Leibniz-Zentrum für Informatik

Date de publication :

2024

Mot(s)-clé(s) en anglais :

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

Discipline(s) HAL :

Informatique [cs]

Langue :

Anglais

Comité de lecture :

Oui

Audience :

Internationale

Vulgarisation :

Non

Projet ANR :

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