Analyse statique pour l'optimisation des mises à jour de documents XML temporels

Doctoral thesis French OPEN
Baazizi , Mohamed-Amine;
(2012)
  • Publisher: HAL CCSD
  • Subject: [ INFO.INFO-OH ] Computer Science [cs]/Other [cs.OH] | optimisation | Mises à jour | Optimization | [ INFO.INFO-DB ] Computer Science [cs]/Databases [cs.DB] | XML | Temporal XML | Projection | Updates | XML temporel | mises à jours

The last decade has witnessed a rapid expansion of XML as a format for representing and exchanging data through the web. In order to follow this evolution, many languages have been proposed to query, update or transform XML documents. At the same time, a range set of sy... View more
  • References (10)

    1 Introduction 1 1.1 La projection pour l'optimisation des mises à jour XML . . . . . . . . . . . . 2 1.2 Gestion des documents XML temporels . . . . . . . . . . . . . . . . . . . . . 3 1.3 Organisation du manuscrit . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4

    3 Projection pour les requêtes XML : état de l'art 55 3.1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55 3.2 Projection basée sur les chemins . . . . . . . . . . . . . . . . . . . . . . . . . 57 3.2.1 L'extraction des chemins à partir des requêtes . . . . . . . . . . . . . 57 3.2.2 Limites d'utilisation . . . . . . . . . . . . . . . . . . . . . . . . . . . 59 3.3 Projection basée sur les schémas . . . . . . . . . . . . . . . . . . . . . . . . . 61 3.3.1 L'inférence du projecteur pour les chemins . . . . . . . . . . . . . . . 63 3.3.2 Précision de la projection basées sur les schémas . . . . . . . . . . . . 68 3.4 Conclusion et Bilan . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 69

    5 Gestion des documents XML temporels : état de l'art 133 5.1 Données relationnelles temporelles . . . . . . . . . . . . . . . . . . . . . . . 133 5.2 Données semi-structurées temporelles . . . . . . . . . . . . . . . . . . . . . . 135 5.3 Données XML temporelles . . . . . . . . . . . . . . . . . . . . . . . . . . . 136 5.3.1 Approches basées sur les deltas . . . . . . . . . . . . . . . . . . . . . 136 5.3.2 Approches basées sur les documents estampillés . . . . . . . . . . . . 138 5.4 Conclusion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 145

    6 Gestion des documents XML temporels 147 6.1 Modèles XML temporels . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 148 6.1.1 Ordre de compacité . . . . . . . . . . . . . . . . . . . . . . . . . . . 154 6.2 Construction d'encodages compacts . . . . . . . . . . . . . . . . . . . . . . . 159 6.2.1 Encodage de documents abstraits : cas général . . . . . . . . . . . . . 159 6.2.2 Encodage d'un historique . . . . . . . . . . . . . . . . . . . . . . . . 163 6.3 Implantation et validation expérimentale . . . . . . . . . . . . . . . . . . . . 177 6.3.1 Implantation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 177 6.4 Conclusion et perspectives . . . . . . . . . . . . . . . . . . . . . . . . . . . . 180

    B Correction de l'inférence des paths 193 B.1 Preuve du Lemme 4 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 193 B.1.1 Démonstration du Lemme 4-bis . . . . . . . . . . . . . . . . . . . . . 202 B.2 Preuve du Théorème 3 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 213

    Exemple 6. Considérons le document de la Figure 2.3 et appelons-le t. Soit la DTD de la Figure

    2.2 qu'on note D. Il est aisé de vérifier que t ∈ D. En effet, on a : - sD =Solar et σt(rt) = Solar[i1 · i2 · i3] et - lab(i1) · lab(i2) · lab(i3)=galaxy · star · planet ∈ L(D(Solar)), ... pre-Kqcib ⊆ Ku(qcib),

    −Lno(t, pi) = KP ath(t, pino) ∪ KP ath(t, piolb) ∪ KP ath(t, pieb) kno kolb keb = [[KP ath(t, piino)] ∪ [ [KP ath(t, piiolb)] ∪ [[KP ath(t, piieb)] i=1 i=1

    Science, vol. 1399, Springer-Verlag, 1998.

    [TVB+02] Igor Tatarinov, Stratis Viglas, Kevin S. Beyer, Jayavel Shanmugasundaram, Eugene J. Shekita, and Chun Zhang, Storing and querying ordered xml using a relational database system, SIGMOD Conference (Michael J. Franklin, Bongki Moon, and Anastassia Ailamaki, eds.), ACM, 2002, pp. 204-215.

  • Metrics
Share - Bookmark