]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/mathql/homepage/whatsnew.html
implementation and whatsnew pages added
[helm.git] / helm / mathql / homepage / whatsnew.html
diff --git a/helm/mathql/homepage/whatsnew.html b/helm/mathql/homepage/whatsnew.html
new file mode 100644 (file)
index 0000000..66285b9
--- /dev/null
@@ -0,0 +1,128 @@
+<!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 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>
+</body>
+</html>