From: Ferruccio Guidi Date: Sun, 21 Mar 2004 19:31:26 +0000 (+0000) Subject: introduction updated X-Git-Tag: v0_0_4~10 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=e5632ea17a3a417084b1b12d3c5b1cc0f8bf78c3;p=helm.git introduction updated --- diff --git a/helm/mathql/doc/mathql_introduction.tex b/helm/mathql/doc/mathql_introduction.tex index c006e85c5..a989a5ece 100644 --- a/helm/mathql/doc/mathql_introduction.tex +++ b/helm/mathql/doc/mathql_introduction.tex @@ -4,6 +4,18 @@ This paper presents {\MathQL} version 4 which is the latest version of the language, fully developed by Ferruccio Guidi. For a description of the previous versions of {\MathQL} see: \cite{Gui03} (version 3), \cite{GS03} (version 2), \cite{Lor02} (version 1). +The main novelties of this version are the elimination of some cast operators +(producing a substantial simplification in the query structure and semantics, +see \secref{Operational}), a clear distinction between the core language and +the auxiliary functions of the basic library, a support for query generating +functions, the possibility of extending the language adding new libraries of +functions and a more uniform textual syntax. +{\MathQL}.4 incorporates the features of {\MathQL}.3 not documented on paper% +\footnote +{See the ``what's new'' section of {\MathQL} Web Site: +\URI{helm.cs.unibo.it/mathql}.} +and adds some new features improving {\MathQL} capabilities to post-process +the query results. \subsection{Textual syntax} diff --git a/helm/mathql/doc/mathql_macros.sty b/helm/mathql/doc/mathql_macros.sty index 569f86dc8..a6701208e 100644 --- a/helm/mathql/doc/mathql_macros.sty +++ b/helm/mathql/doc/mathql_macros.sty @@ -1,5 +1,6 @@ \usepackage{fguidi-defs} +\newcommand{\secref}[1]{Section~\ref{#1}} \newcommand{\subsecref}[1]{Subsection~\ref{#1}} \newcommand{\figref}[1]{Figure~\ref{#1}} diff --git a/helm/mathql/doc/mathql_operational.tex b/helm/mathql/doc/mathql_operational.tex index a1cbe954a..f37225073 100644 --- a/helm/mathql/doc/mathql_operational.tex +++ b/helm/mathql/doc/mathql_operational.tex @@ -1,4 +1,4 @@ -\section {Operational semantics} +\section {Operational semantics} \label {Operational} This section describes {\MathQL} semantics, that we present in a natural operational style \cite{Lan98,Win93}.