]> matita.cs.unibo.it Git - helm.git/blob - helm/mathql/doc/mathql_introduction.tex
ocaml 3.09 transition
[helm.git] / helm / mathql / doc / mathql_introduction.tex
1 \section{Introduction}
2
3 This paper presents {\MathQL} version 4 which is the latest version of the
4 language, fully developed by the Author.
5 For a description of the previous versions of {\MathQL} see: \cite{Gui03}
6 (version 3), \cite{GS03} (version 2), \cite{Lor02} (version 1).
7 The main novelties of this version are the elimination of some cast operators
8 (producing a substantial simplification in the query structure and semantics),
9 a clear distinction between the core language and the auxiliary functions of
10 the basic library, a support for query generating functions, the possibility
11 of extending the language adding new libraries of functions and a more uniform
12 textual syntax. 
13 {\MathQL}.4 incorporates the features of {\MathQL}.3 not documented on paper%
14 \footnote
15 {See the ``what's new'' section of {\MathQL} Web Site:
16 \CURI{helm.cs.unibo.it/mathql}.}
17 and adds some new features improving {\MathQL} capabilities to post-process
18 the query results.  
19
20 \input{mathql_introduction_avsets}
21 \input{mathql_introduction_property}
22 \input{mathql_introduction_core}
23 \input{mathql_introduction_basic}
24 \input{mathql_introduction_textual}