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 Ferruccio Guidi.
   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 see \secref{Operational}), a clear distinction between the core language and
  10 the auxiliary functions of the basic library, a support for query generating
  11 functions, the possibility of extending the language adding new libraries of
  12 functions and a more uniform 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}