Title :

Dialogue entre la procédure du chase et la réécriture sur les mots

English title :

Dialog between chase approach and string rewriting system approach

Author(s) :

Gallois, Lily [Auteur]
Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189 [CRIStAL]
Linking Dynamic Data [LINKS]

Thesis director(s) :

Sophie Tison
Pierre Bourhis

Defence date :

2019-12-19

Jury president :

Evelyne Contejean [Rapporteur]
Thomas Genet [Rapporteur]
Marie-Laure Mugnier (examinatrice)
Rémi Gilleron ( Président du jury )

Jury member(s) :

Evelyne Contejean [Rapporteur]
Thomas Genet [Rapporteur]
Marie-Laure Mugnier (examinatrice)
Rémi Gilleron ( Président du jury )

Accredited body :

Université de Lille

Doctoral school :

Ecole Doctorale Sciences Pour l'Ingenieur (ED SPI)

Keyword(s) :

base de données graphe
requêtes de chemin
inclusion de requêtes
procédure du chase
réécriture

English keyword(s) :

graph database
regular path queries
containment
rewriting system
chase procedure

HAL domain(s) :

Informatique [cs]
Informatique [cs]/Base de données [cs.DB]
Informatique [cs]/Théorie et langage formel [cs.FL]

Language :

Français

ANR Project :

Défis pour la logique, les transducteurs et les automates
Spécification intensive en Coq d'intégration de données orientée sécurité

Collections :

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

Source :

Harvested from HAL

Submission date :

2020-05-28T06:55:10Z