helm/mathql/doc/mathql.tex

   1 \documentclass[10pt]{article}
   2
   3 % \usepackage{fguidi}
   4 \addtolength{\textheight}{2.5cm}
   5 \addtolength{\oddsidemargin}{-1.0cm}
   6 \addtolength{\evensidemargin}{-1.0cm}
   7 \addtolength{\textwidth}{2.0cm}
   8 \addtolength{\topmargin}{-1.0cm}
   9
  10 \newcommand\xcomment[1]{}
  11 \newcommand\URI[1]{\texttt{<#1>}}
  12
  13 \newcommand\MathQL{\textsc{mathql-1}}
  14 \newcommand\RDF{\textsc{rdf}}
  15 \newcommand\RDFS{\textsc{rdf schema}}
  16 \newcommand\HELM{\textsc{helm}}
  17 \newcommand\POSIX{\textsc{posix}}
  18 \newcommand\XML{\textsc{xml}}
  19 \newcommand\CAML{\textsc{caml}}
  20 \newcommand\SQL{\textsc{sql}}
  21 \newcommand\MySQL{\textsc{mysql}}
  22 \newcommand\PostgreSQL{\textsc{postgresql}}
  23 \newcommand\Galax{\textsc{galax}}
  24 \newcommand\XQuery{\textsc{xquery}}
  25
  26 \title{MathQL-1.4}
  27 \author{Ferruccio Guidi}
  28
  29 \bibliographystyle{numeric}
  30
  31 \begin{document}
  32
  33 \maketitle
  34
  35 \tableofcontents
  36
  37 \input{mathql_overview}
  38 \input{mathql_introduction}
  39 \input{mathql_bib}
  40
  41 \end{document}