[r2004-07-04 11:16:18 by vbenzake] Empty log message

Original author: vbenzake
Date: 2004-07-04 11:16:18+00:00

web/tutorial/queries.xml

@@ -9,12 +9,6 @@ You can cut and paste the code on this page and
 test it on the <a href="cgi-bin/cduce">online interpreter</a>.
 </p>
 </left>
-<box title="XPath-like expressions" link="xpath">
-<p> XPath-like expressions are of two kind :
-<code> %%e%%/%%t%% </code> and <code> %%e%%/@%%a%% </code>  where <code>%%e%%</code> is an expression, <code> %%t%% </code> a type, and <code> %%a%% </code> an attribute.
-
-</p>
-</box>
 
 
 <box title="Select from where" link="sel">
@@ -35,7 +29,34 @@ where <code>%%e%%</code> is an expression <code>%%b%%</code> a boolean expressio
 </p>
 
 <p>
-<b style="color:#FF0080">TO BE DONE</b>
+The <code>select_from_where</code> contruction is tranlated into:
+</p>
+<sample><![CDATA[
+transform %%e1%% with %%p1%% --> 
+   transform %%e2%% with %%p2%% --> 
+         ...
+       transform %%en%% with %%pn%% --> 
+        if %%c%% then  [%%e%%] else []
+]]>
+</sample>
+
+
+</box>
+
+<box title="XPath-like expressions" link="xpath">
+<p> XPath-like expressions are of two kind :
+<code> %%e%%/%%t%% </code> and <code> %%e%%/@%%a%% </code>  where <code>%%e%%</code> is an expression, <code> %%t%% </code> a type, and <code> %%a%% </code> an attribute.
+
+</p>
+
+<p> 
+They are syntactic sugar for : 
+<code> <![CDATA[flatten(select x from <_>[(x::t | _ )]
+in e)]]> </code> and 
+<code><![CDATA[
+select x from <_ a=x>_ in  e
+]]>
+</code>
 </p>
 </box>