Commit b7ea7a1a authored by Pietro Abate's avatar Pietro Abate
Browse files

[r2004-09-09 11:48:11 by cmiachon] some stuffs

Original author: cmiachon
Date: 2004-09-09 11:48:11+00:00
parent 66707985
......@@ -32,30 +32,29 @@ compression, d
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).
</p>
<p>
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
</p>
<ul>
<li><b>langages de requêtes</b> : é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},
différents paradigmes.</li>
<li><b>traitement des données à la volée (streaming)</b> : 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.
\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;
la granularité optimale de compression.</li>
<li><b>contraintes et typage de documents</b> : vérification (efficace) de contraintes d'intégrités plus fines que
celles des langages traditionnels (par exemple, l'<i> interleaving</i> des éléments XML;
utilisation des types statiques pour
la compilation efficace et l'optimisation de requêtes.
\end{description}
la compilation efficace et l'optimisation de requêtes).
</li></ul>
<p>
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
......
......@@ -39,7 +39,7 @@ type Link =
type Content =
[ ( <p {|style=?String|}>[InlineText*]
| <ul {||}>[<li {||}>Content *]
| <ol {||}>[<li {||}>Content *]
| <ol {|style=?String|}>[<li {||}>Content *]
| <section title=String>Content
| <sample highlight=?"true"|"false">String
| <xmlsample highlight=?"true"|"false">String
......@@ -139,7 +139,11 @@ let compute_sitemap ((Page|External) -> Tree)
let ul([H:Xli*] -> [H:Xul?]) [] -> [] | l -> [ <ul>l ]
let ol([H:Xli*] -> [H:Xol?]) [] -> [] | l -> [ <ol>l ]
let ol(([H:Xli*],{|style=?String|}) -> [H:Xol?])
([],_) -> []
| (l,s&{|style=?String|}) -> [ <ol (s)>l ]
let display_sitemap (h : Tree) : H:Xli =
let ch = map h . children with x -> display_sitemap x in
......@@ -245,6 +249,11 @@ match page with
| <code>x -> [ <b>[ <tt>(highlight x) ] ]
| <local href=l>txt -> [ (local_link (sitemap,l,txt)) ]
| <(tag & (`b|`i|`tt|`em)) (attr)>x -> [ <(tag) (attr)>(text x) ]
| <footnote nocount=_>_ ->
let n = string_of !footnote_counter in
[ <a name=[ 'bnote' !n ]>[]
<a href=[ '#note' !n ]>[ '[' !n ']' ] ]
| <footnote>c ->
footnote_counter := !footnote_counter + 1;
let n = string_of !footnote_counter in
......@@ -290,8 +299,8 @@ match page with
[ <ul>[ <li>[ <a href=url>title '. ' !(text com) ] ] ]
| <ul>lis ->
ul (map lis with <li>x -> <li>(content x))
| <ol>lis ->
ol (map lis with <li>x -> <li>(content x))
| <ol (attr) >lis ->
ol ((map lis with <li>x -> <li>(content x) ),(attr))
| H:Xtable & x ->
[ <table width="100%">[<tr>[<td align="center">[x]]] ]
| <p (attr)>x -> [ <p (attr)>(text x) ]
......
......@@ -17,56 +17,63 @@
<boxes-toc/>
</left>
<box title="Participants" link="des">
<p>
\begin{enumerate}
\item \textbf{Projet GEMO}, INRIA Futurs et \textbf{LIAFA}, quipe
<ol>
<li> <b>Projet GEMO</b>, INRIA Futurs et <b>LIAFA</b>, quipe
Vrification:
\begin{itemize}
\item[] Luc SEGOUFIN\footnote{Responsable de site} (CR INRIA), Ioana
<ol style="list-style-type:none;">
<li> Luc SEGOUFIN<footnote> - Responsable de site</footnote> (CR INRIA), Ioana
MANOLESCU (CR INRIA), Anca MUSCHOLL (Pr), Andrei ARION (Doc), Mathias
SAMUELIDES (Doc)\\[-0.55em]
\end{itemize}
SAMUELIDES (Doc)
</li></ol>
<br />
</li>
\item \textbf{LIENS}, Laboratoire d'Informatique de l'ENS, quipe
<li> <b>LIENS</b>, 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
<ol style="list-style-type:none;">
<li>Giuseppe CASTAGNA<footnote nocount="true"/>
(CR CNRS), Alain FRISCH (Ingnieur corps des Tlcoms)\\
</li></ol>
<br />
</li>
<li> <b>LIF</b>, Laboratoire d'Informatique Fondamentale de Marseille, quipe
Move:
\begin{itemize}
\item[] Silvano DAL ZILIO\footnotemark[\value{footnote}] (CR CNRS),
<ol style="list-style-type:none;">
<li> Silvano DAL ZILIO<footnote nocount="true"/> (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,
MEYSONNIER (Doc)
</li></ol>
<br />
</li>
<li> <b>Equipe MOSTRARE</b>, INRIA Futurs et <b>LIFL</b>, Laboratoire d'Informatique Fondamentale de Lille,
quipe STC:
\begin{itemize}
\item[] Anne-Ccile CARON\footnotemark[\value{footnote}] (MdC),
<ol style="list-style-type:none;">
<li> Anne-Ccile CARON<footnote nocount="true"/> (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
(MdC), Iovka BONEVA (Doc), Denis DEBARBIEUX (Doc)
</li></ol>
<br />
</li>
<li> <b>LRI</b>, Laboratoire de Recherche en Informatique, quipe
Bases de Donnes:
\begin{itemize}
\item[] Vronique BENZAKEN\footnotemark[\value{footnote}] (Pr),
<ol style="list-style-type:none;">
<li> Vronique BENZAKEN<footnote nocount="true"/> (Pr),
Nicole BIDOIT (Pr), Marwan BURELLE (Doc), Cdric MIACHON (Doc), Matthieu OBJOIS (Doc), Virginie THION
(Doc)\\
\end{itemize}
(Doc)
</li></ol>
<br />
</li>
</ol>
<ol style="list-style-type:none;">
<li> <b>Partenaires trangers</b>
<ol style="list-style-type:none;">
<li> Haruo Hosoya (Univ. Tokyo -- Japon)</li>
<li> Benjamin C. Pierce (Univ. Pennsylvania -- USA)</li>
<li> Thomas Schwentick (Univ. Marburg -- Allemagne)</li>
</ol>
</li></ol>
\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>
<br/>
</box>
......
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