]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/mathql/homepage/whatsnew.html
links page added
[helm.git] / helm / mathql / homepage / whatsnew.html
index 66285b900560aa12c8fc283eacb591f4c744ccd1..72b12ff7cc7dfb1e17777a1143e0b7d0e93b6903 100644 (file)
 <html>
 <head>
   <title>MathQL</title>
-                                                                     
+                                                                        
+   
   <meta http-equiv="content-type"
  content="text/html; charset=ISO-8859-1">
-                                       
+                                           
   <meta name="author" content="Ferruccio Guidi">
-                                       
+                                           
   <meta name="description" content="MathQL Home Page">
 </head>
   <body>
-                  
+                    
 <h1 align="center">MathQL-1</h1>
-               
+                 
 <h2 align="center">A query language for RDF metadata</h2>
-                   
+                     
 <table cellpadding="10" cellspacing="2" border="0" width="95%"
  bgcolor="#ffffff">
-            <tbody>
-              <tr>
-                <td valign="top" align="left">                          
-                                           
+             <tbody>
+               <tr>
+                 <td valign="top" align="left">                         
+                                                   
       <ul>
-                  <li><a href="index.html">Forward</a><br>
-               </li>
-                                                                         
-     
+                   <li><a href="index.html">Forward</a><br>
+                </li>
+                                                                        
+              
       </ul>
-                                                               
+                                                                       
       <ul>
-                <li><a href="features.html">Features</a></li>
-                       
+                 <li><a href="features.html">Features</a></li>
+                               
       </ul>
-                       
+                               
       <ul>
-           <li>What's new<br>
-           </li>
-                                                               
+            <li>What's new<br>
+            </li>
+                                                                       
       </ul>
-                                                               
+                                                                       
       <ul>
-                <li><a href="documentation.html">Documentation</a></li>
-                                                                         
-     
+                 <li><a href="documentation.html">Documentation</a></li>
+                                                                        
+              
       </ul>
-                                                       
+                                                               
       <ul>
-               <li><a href="implementation.html">Implementation</a><br>
-               </li>
-                                                       
+                <li><a href="implementation.html">Implementation</a><br>
+                </li>
+                                                               
       </ul>
-                                                       
+                                                               
       <ul>
-               <li><a href="authors.html">The authors</a><br>
-               </li>
-                                                                         
-     
+                <li><a href="authors.html">The authors</a><br>
+                </li>
+                                                                        
+              
       </ul>
-                                                       
+                                                               
       <ul>
-               <li><a href="links.html">Links</a><br>
-               </li>
-                                                       
+                <li><a href="links.html">Links</a><br>
+                </li>
+                                                               
       </ul>
-             <br>
-                </td>
-                <td valign="top">                                       
-         
+              <br>
+                 </td>
+                 <td valign="top">                                      
+                 
       <div align="right"><b>What's new</b><br>
-      <br>
-             </div>
- This page reports the newly <a href="implementation.html">implemented</a> 
-features of MathQL-1 that are not included in the ufficial <a
+       <br>
+              </div>
+  This page reports the newly <a href="implementation.html">implemented</a>
+ features of MathQL-1 that are not included in the ufficial <a
  href="documentation.html">documentation</a> yet.<br>
-         <br>
-Changes and additions to MathQL-1 operators:<br>
+          <br>
+ Changes and additions to MathQL-1 operators:<br>
+       
       <ul>
-        <li>The <b>add</b> operator now accepts a syntax extension allowing
+         <li>The <b>add</b> operator now accepts a syntax extension allowing 
 to specify more than one explicit attribute group.</li>
+       
       </ul>
+       
       <blockquote>The syntax now is:</blockquote>
-      <blockquote>&lt;query&gt; := "add" [ "distr" ]? [ &lt;groups&gt; |
-&lt;avar&gt; ] "in" &lt;query&gt;<br>
-&lt;groups&gt; := &lt;group&gt; [ ";" &lt;group&gt; ]*<br>
-&lt;group&gt; := &lt;attribute&gt; [ "," &lt;attribute&gt; ]*<br>
-&lt;attribute&gt; := &lt;value&gt; "as" &lt;path&gt;<br>
-        <br>
-Examples:<br>
-the query <b>add "1" as "a", "2" as "b" in subj "A"</b> gives the result
+       
+      <blockquote>&lt;query&gt; := "add" [ "distr" ]? [ &lt;groups&gt; | &lt;avar&gt;
+] "in" &lt;query&gt;<br>
+ &lt;groups&gt; := &lt;group&gt; [ ";" &lt;group&gt; ]*<br>
+ &lt;group&gt; := &lt;attribute&gt; [ "," &lt;attribute&gt; ]*<br>
+ &lt;attribute&gt; := &lt;value&gt; "as" &lt;path&gt;<br>
+         <br>
+ Examples:<br>
+ the query <b>add "1" as "a", "2" as "b" in subj "A"</b> gives the result 
         <b>"A" attr {"a"="1"; "b"="2"}</b> while<br>
-the query <b>add "1" as "a"; "2" as "b" in subj "A"</b> gives the result
+ the query <b>add "1" as "a"; "2" as "b" in subj "A"</b> gives the result 
         <b>"A" attr {"a"="1"}, {"b"="2"}</b>.<br>
-      </blockquote>
+       </blockquote>
+       
       <ul>
-        <li>The new <b>align</b> operator takes an integer <i>i</i> (represented
-as a string), a multiple string value <i>v</i> and returns the same <i>v</i>
-where each string with length <i>n &lt; i</i> is prefixed with <i>i - n</i>
+         <li>The new <b>align</b> operator takes an integer <i>i</i> (represented 
+as a string), a multiple string value <i>v</i> and returns the same <i>v</i> 
+where each string with length <i>n &lt; i</i> is prefixed with <i>i - n</i> 
 spaces. The syntax of the add operator is:</li>
+       
       </ul>
+       
       <blockquote>&lt;value&gt; := "align" &lt;string&gt; "in" &lt;value&gt;<br>
-        <br>
-This operators aligns strings containing numbers so that their alphabetic
+         <br>
+ This operators aligns strings containing numbers so that their alphabetic 
 order agrees with their numeric order.<br>
-      </blockquote>
-          
+       </blockquote>
+                  
       <ul>
-        <li>The <b>intersect</b> operator now intersects the attribute groups
-of the mathing subject strings set-theoretically rather than making their
-"Cartesian product". This semantics reduces the computational costs and makes
+         <li>The <b>intersect</b> operator now intersects the attribute groups 
+of the mathing subject strings set-theoretically rather than making their 
+"Cartesian product". This semantics reduces the computational costs and makes 
 intersection the dual of union.</li>
+       
       </ul>
+       
       <ul>
-        <li>The <b>property</b> operator now accepts more than one <b>isfalse</b>
-clause to increase the complexity of the constraint condition used to filter
-the query results. This feature is exploited in the queries produced by the
-          <a href="implementation.html">HELM query generator</a>. <br>
-        </li>
+         <li>The <b>property</b> operator now accepts more than one <b>isfalse</b> 
+clause to increase the complexity of the constraint condition used to filter 
+the raw query results. This feature is exploited in the queries produced
+by the           <a href="implementation.html">HELM query generator</a>.
+          <br>
+         </li>
+       
       </ul>
-          </td>
-        </tr>
-               
-  </tbody>    
+           </td>
+         </tr>
+                   
+  </tbody>     
 </table>
-    <br>
+     <br>
+ <br>
 </body>
 </html>