X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmathql%2Fhomepage%2Fwhatsnew.html;h=1a15631ba5f1ba3ca03324c2eab1ba2c307a94cb;hb=caa84292498037f8cadcb1d200a69dec3b66c0ea;hp=66285b900560aa12c8fc283eacb591f4c744ccd1;hpb=61519a6ef507c1319be96c2f4a06e059fb61cf44;p=helm.git diff --git a/helm/mathql/homepage/whatsnew.html b/helm/mathql/homepage/whatsnew.html index 66285b900..1a15631ba 100644 --- a/helm/mathql/homepage/whatsnew.html +++ b/helm/mathql/homepage/whatsnew.html @@ -2,127 +2,327 @@
- + | ||
+
+
-
+
+
-
+
- |
-
-
+ + |
+
+
What's new
- This page reports the newly implemented
-features of MathQL-1 that are not included in the ufficial
+
+ This page reports the newly implemented
+ features of MathQL-1 that are not included in the official documentation yet.- - - -Changes and additions to MathQL-1 operators: + + + + + MathQL-1 version 4 now under development ...+We are now implementing the new unstable version of MathQL-1 (i.e. MathQL-1.4). +The main goals of this release are:+
+
+
+
+ Changes and additions to MathQL-1 operators:+
The syntax now is:+ <query> := "add" [ "distr" ]? [ <groups> | <avar> ] "in" <query>-
+ <group> := <attribute> [ "," <attribute> ]* + <attribute> := <value> "as" <path> + + Examples: + the query add "1" as "a", "2" as "b" in subj "A" gives the result + "A" attr {"a"="1"; "b"="2"} while + the query add "1" as "a"; "2" as "b" in subj "A" gives the result + "A" attr {"a"="1"}, {"b"="2"}. + + +
<value> := "align" <string> "in" <value>+ +
-This operators aligns strings containing numbers so that their alphabetic -order agrees with their numeric order. - - + + +
+
+ The PostgreSQL database map is a file describing how the MathQL-1
+ interpreter must interact with the underlying PostgreSQL database, when
+it is run in Postgres mode. Currently this file contains the following information:The PostgreSQL database map:++
+ The first line must contain the database connection string and the subsequent + lines contain the map with the following syntax: + +
the information about the metadata denoted by the given + path is found in the given field of the given table in the database. For +example the line:+ +
same as the previous but defines a default table and field + for the given path. This is used to force the interpreter to query a particular + table when the information denoted by a path can be found in more than one + table and field. For example:+ +
|
-