• English
    • français
  • Help
  •  | 
  • Contact
  •  | 
  • About
  •  | 
  • Login
  • HAL portal
  •  | 
  • Pages Pro
  • EN
  •  / 
  • FR
View Item 
  •   LillOA Home
  • Liste des unités
  • Centre de Recherche en Informatique, Signal et Automatique de Lille (CRIStAL) - UMR 9189
  • View Item
  •   LillOA Home
  • Liste des unités
  • Centre de Recherche en Informatique, Signal et Automatique de Lille (CRIStAL) - UMR 9189
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.

Dialogue entre la procédure du chase et ...
  • BibTeX
  • CSV
  • Excel
  • RIS

Document type :
Thèse
Permalink :
http://hdl.handle.net/20.500.12210/21927
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
Files
Thumbnail
  • https://tel.archives-ouvertes.fr/tel-02445754/document
  • Open access
  • Access the document
Université de Lille

Mentions légales
Université de Lille © 2017