Automates pour l'analyse de documents XML compressés, applications à la sécurité d'accès
Résumé
Extraction of information from the semi–structured documents constitutes an important domain of recent research in the computer science. In this thesis we propose two approaches which permit an evaluation of queries expressed in XPath on the XML documents. We have two objectives in mind: using compressed documents directly — without passing by their binary representations, evaluation of queries on the documents subjected to the control access policy. According to the context, we employ: automata, transitions systems, and rewriting. The results that we obtain show that these classical techniques are appropriate to the treatment of the queries on XML. If we restrict our consideration only to the descendant fragment of XPath, all the approaches introduced in this work can be adapted to the case of compressed documents represented by the dags.
Le problème de l'extraction d'information dans des documents semi-structurés, du type XML, constitue un des plus importants domaines de la recherche actuelle en informatique. Il a généré un grand nombre de travaux tant d'un point de vue pratique, que d'un point de vue théorique. Dans ce travail de thèse, notre étude porte sur deux objectifs : 1. évaluation des requêtes sur un document assujetti à une politique de contrôle d'accès, 2. évaluation des requêtes sur un document pouvant être partiellement ou totalement compressé. Notre étude porte essentiellement sur l'évaluation des requêtes unaires, càd. sélectionnant un ensemble des noeuds du document qui satisfont les propriétés spéciées par la requête. Pour exprimer les requêtes, nous utilisons le XPath le principal langage de sélection dans les documents XML. Grâce à ses axes navigationels, et ses ltres qualicatifs, XPath permet la navigation dans des documents XML, et la sélection des noeuds répondant à la requête. Les expressions XPath sont à la base de plusieurs formalismes de requêtes comme XQuery, XSLT, ils permettent également de dénir les clés d'accès dans XML Schema et XLink, et de référencer les éléments d'un document externe dans XPointer.