1 \usepackage{fguidi-defs}
3 \newcommand{\secref}[1]{Section~\ref{#1}}
4 \newcommand{\subsecref}[1]{Subsection~\ref{#1}}
5 \newcommand{\figref}[1]{Figure~\ref{#1}}
7 \newcommand\CAML{\textsc{caml}}
8 \newcommand\Galax{\textsc{galax}}
9 \newcommand\HELM{\textsc{helm}}
10 \newcommand\MathQL{\textsc{mathql-1}}
11 \newcommand\MySQL{\textsc{mysql}}
12 \newcommand\POSIX{\textsc{posix}}
13 \newcommand\PostgreSQL{\textsc{postgresql}}
14 \newcommand\RDF{\textsc{rdf}}
15 \newcommand\RDFM{\textsc{rdf model}}
16 \newcommand\RDFS{\textsc{rdf schema}}
17 \newcommand\SQL{\textsc{sql}}
18 \newcommand\URI{\textsc{uri}}
19 \newcommand\XML{\textsc{xml}}
20 \newcommand\XQuery{\textsc{xquery}}
22 \def\av{{\frenchspacing a.v.}}
27 \def\bigsum{\bigoplus}
28 \def\daq{\mathrel{\Downarrow_q}}
29 \def\dar{\mathrel{\Downarrow_r}}
30 \def\distr{\mathbin\odot}
31 \def\dprod{\mathbin\boxtimes}
32 \def\dsum{\mathbin\boxplus}
33 \def\g{(\G_s, \G_a, \G_g)}
35 \def\prod{\mathbin\otimes}
36 \def\set#1#2#3{#1[#2 \gets #3]}
37 \def\sum{\mathbin\oplus}
39 \def\Boole{\TT{Boole}}
40 \def\Listof{\TT{ListOf}}
41 \def\Setof{\TT{SetOf}}
53 \def\Istrue{\TT{IsTrue}}
54 \def\Match{\TT{Match}}
56 \def\Pattern{\TT{Pattern}}
57 \def\Property{\TT{Property}}
60 \def\Unquote{\TT{Unq}}