Optimisation des Mises à Jour XML en mémoire : algorithmes et expérimentations

Main memory xml update optimization : algorithms and experiments

• Auteur / Autrice : Marina Sahakyan
• Direction : Nicole Bidoit-Tollu
• Type : Thèse de doctorat
• Discipline(s) : Informatique
• Date : Soutenance le 17/11/2011
• Etablissement(s) : Paris 11 en cotutelle avec Académie nationale des sciences de la République d'Arménie
• Ecole(s) doctorale(s) : Ecole doctorale Informatique de Paris-Sud
• Partenaire(s) de recherche : Laboratoire : Laboratoire de recherche en informatique (Orsay, Essonne ; 1998-2020)
• Jury : Président / Présidente : Anne Vilnat
• Jury : Examinateurs / Examinatrices : Nicole Bidoit-Tollu, Anne Vilnat, Anne Doucet, Irène Guessarian, Dario Colazzo, Hrachya Astsatryan, Gevorg Margarov
• Jury : Rapporteurs / Rapporteuses : Anne Doucet, Irène Guessarian

Mots clés

Mots clés contrôlés

XML (langage de balisage)

Mots clés libres

XML

XML mises à jour

XML Projection

XML

XML Updates

XML Projection

Résumé

La projection est une des techniques utilisées pour permettre de réduire les besoins en terme de taille mémoire nécessaire aux moteurs de requêtes XML (in-memory). L'idée sous-jacente à cette technique est simple : étant donnée une requête Q à évaluer sur un document XML D, au lieu de procéder sur D, la requête est évaluée sur un document D', plus petit que D, construit lors du chargement de ce dernier en mémoire, par élagage des parties de D inutiles pour Q. Le document D', est une projection du document initial D. Il est souvent de taille drastiquement inférieure à celle de D.Alors que cette technique de projection a été étudiée et développée assez largement pour l'interrogation de document XML, à notre connaissance, ce type de technique n'a pas été explorée ni appliquée aux mises à jour de documents XML.L'objet de cette thèse a donc été de proposer une technique d'optimisation de mises à jour de documents au format XML exploitant le typage des documents.La contribution a porté sur la spécification de l'algorithme Merge, c'est-à-dire la fusion des modifications avec le document initial, ainsi que sur le développement d'un prototype sur lequel des tests ont été effectués.

XML projection is one of the main adopted optimization techniques for reducing memory consumption in XQuery in-memory engines. The main idea behind this technique is quite simple: given a query Q over an XML document D, instead of evaluating Q on D, the query Q is evaluated on a smaller document D' obtained from D by pruning out, at loading-time, parts of D that are unrelevant for Q. The actual queried document D' is a projection of the original one, and is often much smaller than D due to the fact that queries tend to be quite selective in general.While projection techniques have been extensively investigated for XML querying, we are not aware of applications to XML updating.This Thesis investigates application of a projection based optimization mechanism for XQuery Update Facility expressions in the presence of a schema. The current work includes study of the method and a formal development of Merge algorithm as well as experiments testifying its effectiveness.