]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/mathql/homepage/whatsnew.html
This commit was manufactured by cvs2svn to create branch
[helm.git] / helm / mathql / homepage / whatsnew.html
diff --git a/helm/mathql/homepage/whatsnew.html b/helm/mathql/homepage/whatsnew.html
deleted file mode 100644 (file)
index 72b12ff..0000000
+++ /dev/null
@@ -1,141 +0,0 @@
-<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
-<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">                         
-                                                   
-      <ul>
-                   <li><a href="index.html">Forward</a><br>
-                </li>
-                                                                        
-              
-      </ul>
-                                                                       
-      <ul>
-                 <li><a href="features.html">Features</a></li>
-                               
-      </ul>
-                               
-      <ul>
-            <li>What's new<br>
-            </li>
-                                                                       
-      </ul>
-                                                                       
-      <ul>
-                 <li><a href="documentation.html">Documentation</a></li>
-                                                                        
-              
-      </ul>
-                                                               
-      <ul>
-                <li><a href="implementation.html">Implementation</a><br>
-                </li>
-                                                               
-      </ul>
-                                                               
-      <ul>
-                <li><a href="authors.html">The authors</a><br>
-                </li>
-                                                                        
-              
-      </ul>
-                                                               
-      <ul>
-                <li><a href="links.html">Links</a><br>
-                </li>
-                                                               
-      </ul>
-              <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
- href="documentation.html">documentation</a> yet.<br>
-          <br>
- Changes and additions to MathQL-1 operators:<br>
-       
-      <ul>
-         <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 
-        <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 
-        <b>"A" attr {"a"="1"}, {"b"="2"}</b>.<br>
-       </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> 
-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 
-order agrees with their numeric order.<br>
-       </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 
-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 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>     
-</table>
-     <br>
- <br>
-</body>
-</html>