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