publication . Doctoral thesis . 2012

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

Baazizi, Mohamed-Amine;
Open Access French
  • Published: 07 Sep 2012
  • Publisher: HAL CCSD
Abstract
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 systems allowing to store and process XML documents have been developed. Among these systems, main-memory engines are lightweight systems that are the favored choice for applications that do not require complex functionalities of traditional DBMS such as transaction management and secondary storage indexes. These engines require to loading the documents to be processed entirely into main-memory. Con...
Subjects
free text keywords: optimisation, Mises à jour, Optimization, [INFO.INFO-DB]Computer Science [cs]/Databases [cs.DB], [ INFO.INFO-DB ] Computer Science [cs]/Databases [cs.DB], XML, [INFO.INFO-OH]Computer Science [cs]/Other [cs.OH], Temporal XML, Projection, Updates, XML temporel, mises à jours
Download fromView all 6 versions

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.

Powered by OpenAIRE Open Research Graph
Any information missing or wrong?Report an Issue
publication . Doctoral thesis . 2012

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

Baazizi, Mohamed-Amine;