TRALALA
Langages pour la manipulation de documents XML : fondement et
pratique (TRAnsformation LAnguages for XML: Logics and Applications)
Description du projet
Notre projet se propose d'étudier les aspects de
traitement, d'interrogation et de manipulation de grandes masses de données lorsque celles-ci sont disponibles au
format XML. Nous nous intéressons plus précisément aux aspects langages
de programmation et langages de requêtes. Notre ambition est de couvrir de
manière intégrée un large spectre de problématiques: de celles liées aux aspects
langages (expressivité, typage, étude de nouvelles primitives de programmation, logiques sous-jacentes
pour l'interrogation, optimisation logique), jusqu'aux aspects traitant l'accessibilité
des données (données en streaming, compression, définition de modèles
d'accès en mémoire secondaire, utilisation de moteurs de persistance), en
passant par les problématiques liées à l'implantation (compilation du
filtrage, optimisation physique, vérification du sous-typage, modèles
d'exécution pour le streaming). Nous attaquerons ces problématiques en
organisant notre recherche selon trois axes directeurs: langages de requêtes, traitement de données à la volée et
typage de documents.
langages de
requêtes: étude théorique de paradigmes d'interrogation sous l'angle de
l'expressivité et de la complexité; définitions de langages de requêtes pour
XML ayant les caractéristiques d'expressivité restreinte et de déclarativité
typiques des langages du modèle relationnel ; implantation puis conception
et validation de techniques d'optimisations adaptées à ces différents
paradigmes.
traitement des
données à la volée (streaming): identification d'une classe de requêtes
qu'il est possible d'évaluer par « streaming », avec ou sans compression des
données, et dans le premier cas de détermination de la granularité optimale de
compression.
contraintes et typage de documents: vérification
(efficace) de contraintes d'intégrités plus fines que celles des langages traditionnels (par exemple, V
interleaving des éléments XML; utilisation des types statiques pour la
compilation efficace et l'optimisation de requêtes.
Outre une unité méthodologique, et une unité dans les objectifs, la coopération au sein du projet est accrue par la décision de choisir une cible logicielle unique à nos efforts d'implantation, le langage CDuce, qui est développé conjointement par le LIENS et le LRI, deux des sites participants à ce projet.
Coordinateur du projet
CASTAGNA Giuseppe - Laboratoire d'informatique de l'école normale supérieure (LIENS), UMR 8548 CNRS, Ecole Normale Supérieure Paris
Partenaires