Improvements on graph path queries : expression, evaluation, and minimum-weight satisfiability

Nous traitons trois problèmes liés aux requêtes de chemin en graphes. La plupart des langages de requête en graphes actuels prennent en charge les requêtes de chemins réguliers. Cependant, certaines applications telles que l analyse du code source et la génétique nécessitent des requêtes de chemins...

Description complète

Enregistré dans:
Détails bibliographiques
Auteur principal: Morais Medeiros, Ciro, 1994-
Autres auteurs: Halfeld Ferrari Alves, Mírian, 1962- (Directeur de thèse), Musicante, Martin, 19..- (Directeur de thèse), Travers, Nicolas, 1979-...., chercheur en informatique, Hara, Carmem Satie, 19..-, Reyes, Nora, 19..-, Liedloff, Mathieu, 1980- (Membre du jury), Toumani, Farouk, 19..- (Membre du jury), Goldbarg, Elizabeth, 19..- (Membre du jury)
Format: Thèse numérique
Langue:Anglais
Publié: 2022.
Sujets:
Accès en ligne:Accès au texte intégral
https://theses.univ-orleans.fr/public/2022ORLE1038_va.pdf
http://www.theses.fr/2022ORLE1038/abes
https://theses.hal.science/tel-04186027
Note: Thèse soutenue en co-tutelle
Titre provenant de l'écran-titre
Ecole(s) Doctorale(s) : École doctorale Mathématiques, Informatique, Physique Théorique et Ingénierie des Systèmes (Centre-Val de Loire ; 2012-....)
Partenaire(s) de recherche : Laboratoire d'informatique fondamentale d'Orléans (Orléans ; 1987-....) (Laboratoire)
Autre(s) contribution(s) : Nicolas Travers (Président du jury) ; Mathieu Liedloff, Farouk Toumani, Elizabeth Goldbarg (Membre(s) du jury) ; Carmem Satie Hara, Nora Reyes (Rapporteur(s))
Autres localisations: Voir dans le Sudoc
Variante du titre:Améliorations de requêtes de chemin dans les graphes :, expression, évaluation et satisfiabilité de coût minimal

En ligne

Accès au texte intégral
https://theses.univ-orleans.fr/public/2022ORLE1038_va.pdf
http://www.theses.fr/2022ORLE1038/abes
https://theses.hal.science/tel-04186027