Modélisation et requêtes des documents semi-structurés : exploitation de la structure de graphe. (Using Graph Structure for XML querying)

La notion de donnees semi-structureees est liee au monde du web. On appelle donnee semi-structuree une donnee dont le schema n'est pas defini a priori. Par exemple, il peut s'agir d'une page HTML, d'un site Web tout entier ou encore d'un document XML. Cette these etudie les requetes sur les donnees modelisees par des graphes. Plus precisement, on s'interesse a differents langages de requetes associes. Dans le cas des graphes orientes, on utilise des techniques de reecriture et d'automates pour etudier - a des fins d'optimisation de requetes - les contraintes d'inclusions. Elles portent sur les chemins qui permettent de naviguer dans la donnee. Par ailleurs, on genere un index d'une donnee qui preserve toutes les contraintes d'inclusions. Ensuite, on etend cette etude pour obtenir le concept de requete graphe. Applique au cas des documents "XML colore", elles permettent d'etudier formellement l'expressivite et la complexite de langages de requetes inspires de XPath et de XQuery. Enfin, les resultats theoriques sont valides par des experimentations.