Commit 859128b1 authored by Pietro Abate's avatar Pietro Abate
Browse files

[r2004-09-08 12:30:08 by beppe] Empty log message

Original author: beppe
Date: 2004-09-08 12:30:08+00:00
parent 2f2abbd3
......@@ -4,11 +4,68 @@
<title>Tralala</title>
<left>
<p style="font-size: 12pt; color: fuchsia">Available Pages</p>
<ul>
<li><a href="tralala.html">Home</a> </li>
<li><a href="tralala_partenaires.html">Partenaires</a> </li>
<li><a href="tralala_documents.html">Documents</a> </li>
<li><a href="tralala_reunions.html">Reunions</a> </li>
</ul>
</left>
<include file="tralala_partenaires.xml"/>
<left>
<p>On this page:</p>
<boxes-toc/>
</left>
<box title="Compte-Rendus" link="dcr">
<box title="Description" link="des">
<p>
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 <b>aspects langages</b> (expressivité,
typage, étude de nouvelles primitives de programmation, logiques
sous-jacentes pour l'interrogation, optimisation logique), jusqu'aux aspects
traitant l'<b>accessibilité des données</b> (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 à <b>l'implantation</b> (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.
\begin{description}
\item[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.
\item[traitement des données à la volée (streaming):] identification d'une
classe de requêtes qu'il est possible d'évaluer par \guill{streaming},
avec ou sans compression des données, et dans le premier cas de détermination de
la granularité optimale de compression.
\item[contraintes et typage de documents:] vérification (efficace) de contraintes d'intégrités plus fines que
celles des langages traditionnels (par exemple, l'{\it interleaving\/} des éléments XML;
utilisation des types statiques pour
la compilation efficace et l'optimisation de requêtes.
\end{description}
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.
</p>
</box>
</page>
<?xml version="1.0" encoding="ISO-8859-1" standalone="yes"?>
<page name="tralala_partenaires">
<title>Tralala (partenaires)</title>
<left>
<p style="font-size: 12pt; color: fuchsia">Available Pages</p>
<ul>
<li><a href="tralala.html">Home</a> </li>
<li><a href="tralala_partenaires.html">Partenaires</a> </li>
<li><a href="tralala_documents.html">Documents</a> </li>
<li><a href="tralala_reunions.html">Reunions</a> </li>
</ul>
</left>
<left>
<p>On this page:</p>
<boxes-toc/>
</left>
<box title="Participants" link="des">
<p>
\begin{enumerate}
\item \textbf{Projet GEMO}, INRIA Futurs et \textbf{LIAFA}, quipe
Vrification:
\begin{itemize}
\item[] Luc SEGOUFIN\footnote{Responsable de site} (CR INRIA), Ioana
MANOLESCU (CR INRIA), Anca MUSCHOLL (Pr), Andrei ARION (Doc), Mathias
SAMUELIDES (Doc)\\[-0.55em]
\end{itemize}
\item \textbf{LIENS}, Laboratoire d'Informatique de l'ENS, quipe
Langages:
\begin{itemize}
\item[] Giuseppe CASTAGNA\footnotemark[\value{footnote}] (CR CNRS), Alain FRISCH (Ingnieur corps des Tlcoms)\\[-0.55em]
\end{itemize}
\item \textbf{LIF}, Laboratoire d'Informatique Fondamentale de Marseille, quipe
Move:
\begin{itemize}
\item[] Silvano DAL ZILIO\footnotemark[\value{footnote}] (CR CNRS),
Denis LUGIEZ (Pr), Charles
MEYSONNIER (Doc)\\[-0.55em]
\end{itemize}
\item \textbf{Equipe MOSTRARE}, INRIA Futurs et \textbf{LIFL}, Laboratoire d'Informatique Fondamentale de Lille,
quipe STC:
\begin{itemize}
\item[] Anne-Ccile CARON\footnotemark[\value{footnote}] (MdC),
Sophie TISON (Pr), Joachim NIEHREN (Ing.Exp. INRIA), Jean-Marc TALBOT
(MdC), Iovka BONEVA (Doc), Denis DEBARBIEUX (Doc)\\[-0.55em]
\end{itemize}
\item \textbf{LRI}, Laboratoire de Recherche en Informatique, quipe
Bases de Donnes:
\begin{itemize}
\item[] Vronique BENZAKEN\footnotemark[\value{footnote}] (Pr),
Nicole BIDOIT (Pr), Marwan BURELLE (Doc), Cdric MIACHON (Doc), Matthieu OBJOIS (Doc), Virginie THION
(Doc)\\
\end{itemize}
\item[] \textbf{Partenaires trangers}
\begin{enum}
\item[] Haruo Hosoya (Univ. Tokyo -- Japon)
\item[] Benjamin C. Pierce (Univ. Pennsylvania -- USA)
\item[] Thomas Schwentick (Univ. Marburg -- Allemagne)
\end{enum}
\end{enumerate}
</p>
</box>
</page>
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment