]> matita.cs.unibo.it Git - helm.git/blob - helm/mathql/homepage/whatsnew.html
- the mathql interpreter is not helm-dependent any more
[helm.git] / helm / mathql / homepage / whatsnew.html
1 <!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
2 <html>
3 <head>
4   <title>MathQL</title>
5                                                                         
6    
7   <meta http-equiv="content-type"
8  content="text/html; charset=ISO-8859-1">
9                                            
10   <meta name="author" content="Ferruccio Guidi">
11                                            
12   <meta name="description" content="MathQL Home Page">
13 </head>
14   <body>
15                     
16 <h1 align="center">MathQL-1</h1>
17                  
18 <h2 align="center">A query language for RDF metadata</h2>
19                      
20 <table cellpadding="10" cellspacing="2" border="0" width="95%"
21  bgcolor="#ffffff">
22              <tbody>
23                <tr>
24                  <td valign="top" align="left">                         
25                                                    
26       <ul>
27                    <li><a href="index.html">Forward</a><br>
28                 </li>
29                                                                         
30               
31       </ul>
32                                                                        
33       <ul>
34                  <li><a href="features.html">Features</a></li>
35                                
36       </ul>
37                                
38       <ul>
39             <li>What's new<br>
40             </li>
41                                                                        
42       </ul>
43                                                                        
44       <ul>
45                  <li><a href="documentation.html">Documentation</a></li>
46                                                                         
47               
48       </ul>
49                                                                
50       <ul>
51                 <li><a href="implementation.html">Implementation</a><br>
52                 </li>
53                                                                
54       </ul>
55                                                                
56       <ul>
57                 <li><a href="authors.html">The authors</a><br>
58                 </li>
59                                                                         
60               
61       </ul>
62                                                                
63       <ul>
64                 <li><a href="links.html">Links</a><br>
65                 </li>
66                                                                
67       </ul>
68               <br>
69                  </td>
70                  <td valign="top">                                      
71                  
72       <div align="right"><b>What's new</b><br>
73        <br>
74               </div>
75   This page reports the newly <a href="implementation.html">implemented</a>
76  features of MathQL-1 that are not included in the ufficial <a
77  href="documentation.html">documentation</a> yet.<br>
78           <br>
79  Changes and additions to MathQL-1 operators:<br>
80        
81       <ul>
82          <li>The <b>add</b> operator now accepts a syntax extension allowing 
83 to specify more than one explicit attribute group.</li>
84        
85       </ul>
86        
87       <blockquote>The syntax now is:</blockquote>
88        
89       <blockquote>&lt;query&gt; := "add" [ "distr" ]? [ &lt;groups&gt; | &lt;avar&gt;
90 ] "in" &lt;query&gt;<br>
91  &lt;groups&gt; := &lt;group&gt; [ ";" &lt;group&gt; ]*<br>
92  &lt;group&gt; := &lt;attribute&gt; [ "," &lt;attribute&gt; ]*<br>
93  &lt;attribute&gt; := &lt;value&gt; "as" &lt;path&gt;<br>
94          <br>
95  Examples:<br>
96  the query <b>add "1" as "a", "2" as "b" in subj "A"</b> gives the result 
97         <b>"A" attr {"a"="1"; "b"="2"}</b> while<br>
98  the query <b>add "1" as "a"; "2" as "b" in subj "A"</b> gives the result 
99         <b>"A" attr {"a"="1"}, {"b"="2"}</b>.<br>
100        </blockquote>
101        
102       <ul>
103          <li>The new <b>align</b> operator takes an integer <i>i</i> (represented 
104 as a string), a multiple string value <i>v</i> and returns the same <i>v</i> 
105 where each string with length <i>n &lt; i</i> is prefixed with <i>i - n</i> 
106 spaces. The syntax of the add operator is:</li>
107        
108       </ul>
109        
110       <blockquote>&lt;value&gt; := "align" &lt;string&gt; "in" &lt;value&gt;<br>
111          <br>
112  This operators aligns strings containing numbers so that their alphabetic 
113 order agrees with their numeric order.<br>
114        </blockquote>
115                   
116       <ul>
117          <li>The <b>intersect</b> operator now intersects the attribute groups 
118 of the mathing subject strings set-theoretically rather than making their 
119 "Cartesian product". This semantics reduces the computational costs and makes 
120 intersection the dual of union.</li>
121        
122       </ul>
123        
124       <ul>
125          <li>The <b>property</b> operator now accepts more than one <b>isfalse</b> 
126 clause to increase the complexity of the constraint condition used to filter 
127 the raw query results. This feature is exploited in the queries produced
128 by the           <a href="implementation.html">HELM query generator</a>.
129           <br>
130          </li>
131        
132       </ul>
133            </td>
134          </tr>
135                    
136   </tbody>     
137 </table>
138      <br>
139  <br>
140 </body>
141 </html>