Données semi-structurées et XML : langages et optimisation.
Enseignants:
Dario Colazzo,
Ioana Manolescu
Contenu :
Ce module aborde de façon approfondie les concepts et techniques mis
en œuvre pour la gestion de données semi-structurées. Il vient en continuité du module
de tronc commun Données et connaissances pour le Web, en se focalisant sur la gestion et les traitements des données semi-structurées.
La thématique pivot de ce cours est l'optimisation logique et physique des traitements des données XML :
- Typage de requêtes XQuery, analyse statique
- Optimisation des requêtes et mises à jour XQuery via l'inference de type
- Stockage persistant de données XML
- Evaluation de requêtes XQuery : à la volée (streaming), à partir du stockage
- Optimisation algébrique de requêtes XQuery
Horaire : Mardi, 9h00-12h00. Salle E105, Bat. 640 (PUIO).
Evaluation :
- Contrôle Continu : projet
- Examen Final : épreuve écrite
Note finale : 1/3*CC + 2/3*EF
Documents :
-
Web Data Management
Serge Abiteboul, Ioana Manolescu, Philippe Rigaux, Marie-Christine Rousset, Pierre Senellart, Cambridge University Press, 2011. Page web.
- Data on the Web: From Relations to Semistructured Data and XML.
Serge Abiteboul, Peter Buneman, Dan Suciu.
- Types and Programming Languages
Benjamin C. Pierce.
The MIT Press
-
Path Correctness for XML Queries: Characterization
and Static Type Checking
Dario Colazzo. PhD Thesis (pdf)
Attention : les copies des transparents seront
imprimées et distribuées par Jacques Laurent au fur et à mesure des cours. N'imprimez pas les
transparents à partir de cette page Web : avant chaque cours les transparents sont susceptible de changer.
Planning :
| Date |
Sujet |
Support/Exercices |
| 29 Novembre 2011 |
Inférence de schéma pour XQuery: principes de base. |
pdf1,
pdf2 |
| 6 Decembre 2011 |
Inférence de schéma pour XQuery: comparaison entre W3C et microXQ. (1re partie) |
pdf |
| 13 Decembre 2011 |
Inférence de schéma pour XQuery: comparaison entre W3C et microXQ. (2me partie) |
pdf |
| 3 Janvier 2012 |
Projection de données XML via inférence de schéma |
pdf |
| 10 Janvier 2012 |
Evaluation XQuery en streaming et en mémoire |
pdf
|
| 17 Janvier 2012 |
Evaluation
XQuery dans une base de données persistente (1re partie) |
pdf |
| 24 Janvier 2012 |
Evaluation
XQuery dans une base de données persistente (2me partie) |
pdf |
| 31 Janvier 2012 |
Optimisation alégbrique pour XQuery |
pdf |
| Fevrier 2012 |
Examen |
|
|