CONTRIBUTION À L'ANALYSE DE L'IMPACT DE MISES À JOUR SUR DES VUES ET SUR DES CONTRAINTES D'INTÉGRITÉ XML.

IN THIS THESIS, WE ARE POSITIONED IN A DYNAMIC CONTEXT, WHERE THE XML DATA EVOLVE OVER TIME AND ARE SUBJECT TO A SET OF UPDATES, AND WE FOCUS ON TWO MAJOR PROBLEMS, WIDELY STUDIED IN RELATIONAL DATABASES: -THE DETECTION OF THE IMPACT OF A SET OF UPDATES ON A VIEW, DEFINED BY A QUERY. -THE DETECTION OF THE IMPACT OF A SET OF UPDATES ON THE SATISFACTION OF A FUNCTIONAL DEPENDENCY. WE DIFFER FROM PREVIOUS WORK ON TWO MAIN POINTS: (1) WE ASSUME THAT DATA SOURCES ARE UNAVAILABLE A PRIORI AND WE STUDY BOTH PROBLEMS BY PERFORMING A STATIC ANALYSIS OF DEFINITIONS UPDATES, AND THE VIEW OR THE FUNCTIONAL DEPENDENCY . MOREOVER, IF AN XML SCHEMA CONSTRAINING THE STRUCTURE OF THE DATA IS AVAILABLE WE USE THIS ADDITIONAL INFORMATION IN OUR ANALYSIS TO DETECT MORE CASES OF INDEPENDENCE BETWEEN THE UPDATES AND THE VIEW OR THE FUNCTIONAL DEPENDENCY. (2) WE TAKE THE OPTION TO USE AS A MECHANISM FOR SELECTING NODES IN THE DEFINITION UPDATES, VIEWS AND FUNCTIONAL DEPENDENCIES, A FORMAL LANGUAGE BASED ON THE USE OF REGULAR TREE PATTERNS, TO DEFINE QUERIES CALLED 'REGULAR TREE QUERIES' (ABBREVIATED AS RARS). DANS CETTE THÈSE, NOUS NOUS POSITIONNONS DANS UN CONTEXTE DYNAMIQUE, OÙ LES DONNÉES XML ÉVOLUENT AU COURS DU TEMPS ET SONT SOUMISES À UN ENSEMBLE DE MISES À JOUR, ET NOUS NOUS INTÉRESSONS À DEUX PROBLÈMES MAJEURS, LARGEMENT ÉTUDIÉS DANS LE CADRE RELATIONNEL : -LA DÉTECTION DE L'IMPACT D'UN ENSEMBLE DE MISE À JOUR SUR UNE VUE, DÉFINIE PAR UNE REQUÊTE.-LA DÉTECTION DE L'IMPACT D'UN ENSEMBLE DE MISE À JOUR SUR LA SATISFACTION D'UNE DÉPENDANCE FONCTIONNELLE. DANS LE PREMIER CAS, L'OBJECTIF EST DE DÉTECTER SI L'ENSEMBLE DE MISES À JOUR A MODIFIÉ LA VUE. DANS LE DEUXIÈME CAS, L'OBJECTIF EST DE DÉTECTER SI L'ENSEMBLE DE MISE À JOUR A PRODUIT UN NOUVEAU DOCUMENT QUI NE SATISFAIT PLUS LES CONTRAINTES QU'IL SATISFAISAIT AVANT LES MISES À JOUR. NOUS NOUS DIFFÉRENCIONS DES TRAVAUX ANTÉRIEURS PRINCIPALEMENT SUR DEUX POINTS : (1) NOUS SUPPOSONS QUE LES DONNÉES SOURCES SONT À PRIORI INDISPONIBLES ET NOUS ÉTUDIONS LES DEUX PROBLÈMES EN EFFECTUANT UNE ANALYSE STATIQUE DES DÉFINITIONS DES MISES À JOUR, ET DE LA VUE (CAS1) OU DE LA DÉPENDANCE FONCTIONNELLE (CAS 2). DE PLUS, DANS LE CAS OÙ UN SCHÉMA XML CONTRAIGNANT LA STRUCTURE DES DONNÉES, EST DISPONIBLE NOUS UTILISONS CETTE INFORMATION SUPPLÉMENTAIRE DANS NOTRE ANALYSE AFIN DE DÉTECTER ÉVENTUELLEMENT PLUS DE CAS D'INDÉPENDANCES ENTRE LES MISES À JOUR ET LA VUE OU LA DÉPENDANCE FONCTIONNELLE SELON LE CAS. (2) NOUS PRENONS L'OPTION D'UTILISER, COMME MÉCANISME DE SÉLECTION DE NŒUDS, DANS LA DÉFINITION DES MISES À JOUR, DES VUES ET DES DÉPENDANCES FONCTIONNELLES, UN LANGAGE FORMEL BASÉ SUR L'UTILISATION DE MOTIFS RÉGULIER ARBORESCENTS, PERMETTANT DE DÉFINIR DES REQUÊTES APPELÉES 'REQUÊTES ARBRES RÉGULIÈRES' (EN ABRÉGÉ RARS)