\newtheorem{theorem}{Teorema}
\newtheorem{lemma}{Lemma}
\newtheorem{proposition}{Proposizione}
\newtheorem{definition}{Definizione}
\newtheorem{corollary}{Corollario}
%\newtheorem{algo}{Algoritmo}
\newtheorem{propriety}{Propriet\`{a}}
\newenvironment{dimostrazione}[1]{{\bf Dimostrazione.} #1}{$\hfill \Box$}
\vspace{0.5cm}
\newenvironment{algo}[2]{\vspace{0.5cm}
\noindent{\bf Algoritmo} ({\bf #1})
\\
\vspace{-0.5cm}
}{$\hfill $}
%\#2}{$\hfill $}
%\vspace{0.5cm}}


\newcommand{\commento}[1]{}
\newcommand{\alternativa}[1]{\vspace{0.5cm}\noindent{\sc #1}\vspace{0.5cm}}

\newcommand{\dash}{\hbox{--}}
\newcommand{\style}{\tt}


\newcommand{\bnf}{:\,:\,=}
\newcommand{\classe}{\underline{\bf class}}
\newcommand{\virtclasse}{\underline{\bf virtual class}}
\newcommand{\isal}{\underline{\bf isa}}
\newcommand{\sel}{\underline{\bf if}}
\newcommand{\Sel}{\underline{\bf se}}
\newcommand{\allora}{\underline{\bf then}}
\newcommand{\Allora}{\underline{\bf allora}}
\newcommand{\pertutti}{\underline{\bf per tutti}}
\newcommand{\e}{\underline{\bf and}}
\newcommand{\bigsqcap}{\mbox{\Large$\sqcap$}}
\newcommand{\datatom}{{\cal D}}
\newcommand{\dataset}{{\bf D}}
\newcommand{\dataele}{d}
\newcommand{\basetypeset}{{\bf B}}
\newcommand{\basetypele}{B}
\newcommand{\basetypesubset}{{\bf X}}
\newcommand{\typesubset}{{\bf X}}
\newcommand{\emptytype}{\bot}
\newcommand{\lnaset}{{\bf A}}
\newcommand{\lna}{a}
\newcommand{\cnset}{{\bf C}}
\newcommand{\cn}{C}
\newcommand{\gs}{\mbox {\tt gs}}
\newcommand{\anyclass}{{\ifmmode{\top_{C}}\else{$\top_{C}$}\fi}}
\newcommand{\tnset}{{\bf T}}
\newcommand{\tnm}{T}
\newcommand{\tn}{t}
\newcommand{\nn}{n}
\newcommand{\bn}{b}
\newcommand{\tcn}{N}
\newcommand{\tcnset}{{\bf N}}
\newcommand{\cnpset}{{\bf C}}
\newcommand{\cnp}{C}
\newcommand{\acn}{AA}
\newcommand{\acnset}{\bf{AA}}
\newcommand{\cndset}{{\bf D}}
\newcommand{\cnd}{D}
\newcommand{\typeset}{{\bf S}}
\newcommand{\typecont}{{\bf CT}}
\newcommand{\stypeset}{${\bf S}_{\sigma}$}
\newcommand{\typesetspec}{\typeset(\lnaset,\basetypeset,\tcnset)}
\newcommand{\ctypeset}{$\breve{\bf S}$}
%\newcommand{\typele}{S}
\newcommand{\intf}{{\cal I}}
\newcommand{\intfp}{\breve{\cal I}}
\newcommand{\intfclass}{{\bf I}}
\newcommand{\instclass}{\Psi_{\breve{\cal I}}}
\newcommand{\intfas}{$\pi$}
\newcommand{\intfc}{$\hat{\cal I}$}

% schema canonico
\newcommand{\ctypele}{\overline{S}}
\newcommand{\cctypeset}{$\overline{\bf S_{c}}$}

\newcommand{\nschema}{\nu}
\newcommand{\ntnset}{\overline{\bf T}}
\newcommand{\ntcnset}{\overline{\bf N}}
\newcommand{\ncnpset}{\overline{\bf C}}
\newcommand{\ncndset}{\overline{\bf V}}
\newcommand{\ncnp}{\overline{C}}
\newcommand{\ntypeset}{\overline{\typeset}}
\newcommand{\ntypesetspec}{\overline{\typeset}(\lnaset,\basetypeset,\ntcnset)}


\newcommand{\nsequiv}{\simeq_{\nschema}}

\newcommand{\trascan}{\gamma}


\newcommand{\tcncic}{{\bf N}_{\bf c}}
\newcommand{\usar}{${\bf U}$}
\newcommand{\usaret}{{\bf U}^{+}}

\newcommand{\instclassfix}{${\bf P_{\breve{\cal I}}}$}
\newcommand{\mapintf}{$\Gamma$}
\newcommand{\intb}{{\cal I}_{\bf B}}
\newcommand{\valueset}{{\cal V}}
\newcommand{\valuele}{v}
\newcommand{\oidset}{{\cal O}}
\newcommand{\oid}{o}
\newcommand{\valuef}{\delta}
\newcommand{\domain}{{\cal D}}
%\newcommand{\classop}{\bigtriangleup}
%\newcommand{\schemas}{\sigma}
\newcommand{\dschema}{\tau}
\newcommand{\eschema}{\widehat{\sigma}}
\newcommand{\cschema}{\mu}
\newcommand{\typeschema}{\sigma_{T}}
\newcommand{\etypeschema}{\widehat{\sigma_{T}}}
\newcommand{\exptype}{\widetilde{\sigma_{T}}}
\newcommand{\dexptype}{\widetilde{\tau_{T}}}
\newcommand{\inh}{\rho}
\newcommand{\dinherits}{\mbox{$\prec\!\!\!|_{\schemas}$}}
\newcommand{\sinherits}{\prec_{\schemas}}
\newcommand{\inherits}{\preceq_{\schemas}}
%
\newcommand{\expdinherit}{\iota}
\newcommand{\expinherit}{\tilde{\iota}}
%\newcommand{\instsubseteq}{{\unlhd}}
\newcommand{\instsupseteq}{{\unrhd}}
\newcommand{\instsubseteq}{\stackrel{\scriptscriptstyle P}{\sqsubseteq}}
\newcommand{\intfsubseteq}{\stackrel{\scriptscriptstyle I}{\sqsubseteq}}
\newcommand{\intfcap}{\stackrel{\scriptscriptstyle I}{\sqcap}}
\newcommand{\intfcup}{\stackrel{\scriptscriptstyle I}{\sqcup}}
\newcommand{\ssubby}{\sqsubseteq_{\schemas}}
\newcommand{\ssubbylfp}{\sqsubseteq_{\schemas}^{l}}
\newcommand{\ssubbygfp}{\sqsubseteq_{\schemas}^{g}}
\newcommand{\ssubbydes}{\sqsubseteq_{\schemas}^{d}}

\newcommand{\subby}{\sqsubseteq}
\newcommand{\nsubby}{\sqsubseteq_{\nschema}}
\newcommand{\nssubbylfp}{\sqsubseteq_{\nschema}^{l}}
\newcommand{\nssubbygfp}{\sqsubseteq_{\nschema}^{g}}
\newcommand{\nssubbydes}{\sqsubseteq_{\nschema}^{d}}
\newcommand{\csubby}{\leq}
\newcommand{\ncsubby}{\subby_{\csubby}}
\newcommand{\ncisubby}[1]{\subby_{\csubby^{#1}}}
\newcommand{\csubbyall}{\raisebox{0.0ex}[0.8ex][0.0ex]{%
$\stackrel{\textstyle<}{\raisebox{-1ex}[-0.2ex][-0.2ex]{$\sim$}}$}_{\nschema
}}
\newcommand{\nocsubbyall}{\raisebox{0.0ex}[0.8ex][0.0ex]{%
$\stackrel{\textstyle \not<}{\raisebox{-1ex}[-0.2ex][-0.2ex]{$\sim$}}$}_{\nschema
}}

\newcommand{\sequiv}{\simeq_{\schemas}}


\newcommand{\csequiv}{\simeq_{\cschema}}

%\newcommand{\ninco}{\simeq_{\incoset}}
\newcommand{\ninco}{\equiv}
\newcommand{\nincol}{\cong^{l}_{\nschema}}
\newcommand{\nincog}{\cong^{g}_{\nschema}}

\renewcommand{\ninco}{\Phi}
\renewcommand{\nincol}{\widetilde{\ninco}^{l}_{\nschema}}
\renewcommand{\nincog}{\widetilde{\ninco}^{g}_{\nschema}}
\newcommand{\nincotre}{\widetilde{\ninco}_{\nschema}}

\newcommand{\nincoi}{\simeq_{\incoset^{i}}}


\newcommand{\incoset}{\Phi}
\newcommand{\incosetall}{\widetilde{\incoset_{\nschema}}}
\newcommand{\incosetimm}{{\bf I}}
\newcommand{\nointschema}{{\tilde{\mu}}}

\newcommand{\gincosetall}{{\tilde{\incoset}^{g}_{\nschema}}}
\newcommand{\lincosetall}{{\tilde{\incoset}^{l}_{\nschema}}}

\newcommand{\function}{f}

\newcommand{\tschema}{\tau}
\newcommand{\ttschema}{\tau_{T}}
\newcommand{\nttschema}{\gamma}
\newcommand{\unfschema}{\tilde{\sigma}}

\newcommand{\automas}{{\cal A}_{\schemas}}
\newcommand{\automat}{{\cal A}_{type}}
\newcommand{\automags}{{\cal A}_{GS}}
\newcommand{\esndfa}{{\cal B}_{\schemas}}
\newcommand{\esndfalfp}{{\cal B}^{\ast}_{\schemas}}
\newcommand{\alfabeto}{\Sigma_{\schemas}}
\newcommand{\alfabetot}{\Sigma_{type}}
\newcommand{\alfabetogs}{\Sigma_{GS}}
\newcommand{\stati}{{\cal Q}_{\schemas}}
\newcommand{\statit}{{\cal Q}_{type}}
\newcommand{\statigs}{{\cal Q}_{GS}}
\newcommand{\trans}{\delta_{\schemas}}
\newcommand{\transt}{\delta_{type}}
\newcommand{\transgs}{\delta_{GS}}
\newcommand{\stato}{\typele}
\newcommand{\alphaele}{W}
\newcommand{\dsymbol}{\lna}
\newcommand{\fine}{{\cal F}}
\newcommand{\inizio}{\stato_0}
\newcommand{\autlang}{{\cal L}}
\newcommand{\inflang}{{\cal U}}
\newcommand{\setsym}{{\{\!\}}}
\newcommand{\seqsym}{{\langle\!\ \rangle}}
\newcommand{\recsym}{{[\!]}}
\newcommand{\classsym}{{\classop}}


\newcommand{\istanzalfp}{{\rm istanza}\dash {\em lfp}}
\newcommand{\istanzagfp}{{\rm istanza}\dash {\em gfp}}

\newcommand{\gfpequivalente}{{\em gfp}\dash {\rm equivalente}}
\newcommand{\descequivalente}{{\em desc}\dash {\rm equivalente}}
\newcommand{\lfpequivalente}{{\em lfp}\dash {\rm equivalente}}
\newcommand{\equivalente}{{\rm equivalente}}




% DEFINIZIONE AUTOMA GENERALE: ULTIMA LETTERA g
\newcommand{\automag}{{\cal A}}
\newcommand{\automagmod}{{\cal B}}
\newcommand{\alfabetog}{\Sigma}
\newcommand{\statig}{{\cal Q}}
\newcommand{\transg}{\delta}
\newcommand{\emptyword}{\epsilon}
\newcommand{\statog}{q}
\newcommand{\fineg}{{\cal F}}
\newcommand{\iniziog}{\statog_0}
\newcommand{\linguaggiog}{{\cal L}}
\newcommand{\parolag}{w}
\newcommand{\elealfag}{\alpha}

% SCHEMA EXAMPLE
\newcommand{\dast}{{\cal D}^{\ast} }
\newcommand{\iast}{{\cal I}^{\ast} }
\newcommand{\isa}{\mbox{\tt isa}}
\newcommand{\Person}{\mbox{\tt person}}
\newcommand{\Man}{\mbox{\tt man}}
\newcommand{\Male}{\mbox{\tt male}}
\newcommand{\Div}{\mbox{\tt branch}}
\newcommand{\Sector}{\mbox{\tt sector}}
\newcommand{\Employee}{\mbox{\tt employee}}
%\newcommand{\Manager}{\mbox{\tt manager}}
\newcommand{\employs}{\mbox{\tt employs}}
\newcommand{\work}{\mbox{\tt worksin}}
\newcommand{\Clerk}{\mbox{\tt clerk}}
\newcommand{\Typist}{\mbox{\tt typist}}
\newcommand{\Dept}{\mbox{\tt department}}
\newcommand{\head}{\mbox{\tt head}}
\newcommand{\divhead}{\mbox{\tt head}}
\newcommand{\Secr}{\mbox{\tt secretary}}
\newcommand{\Off}{\mbox{\tt office}}
\newcommand{\Typ}{\mbox{\tt typist}}
\newcommand{\TypOffice}{\mbox{\tt typeOffice}}
%\newcommand{\level}{\mbox{\tt level}}
\newcommand{\qualification}{\mbox{\tt qualification}}
%\newcommand{\salary}{\mbox{\tt salary}}
\newcommand{\Address}{\mbox{\tt address}}
\newcommand{\address}{\mbox{\tt address}}
\newcommand{\name}{\mbox{\tt name}}
\newcommand{\Item}{\mbox{\tt item}}
\newcommand{\bname}{\mbox{\tt bname}}
\newcommand{\sname}{\mbox{\tt sname}}
\newcommand{\activity}{\mbox{\tt activity}}
\newcommand{\typing}{\mbox{\tt typing}}
\newcommand{\street}{\mbox{\tt street}}
\newcommand{\city}{\mbox{\tt city}}
\newcommand{\streetnumber}{\mbox{\tt number}}
\newcommand{\Level}{\mbox{\tt level}}
\newcommand{\AdvLevel}{\mbox{\tt advLevel}}
\newcommand{\LowLevel}{\mbox{\tt lowLevel}}
\newcommand{\MdmLevel}{\mbox{\tt mdmLevel}} 
\newcommand{\Qualifications}{\mbox{\tt activities}}
\newcommand{\executive} {\tt executive}
\newcommand{\dname}{\mbox{\tt dname}}
\newcommand{\typewriting}{\mbox{\tt typing}}

\newcommand{\g}{\mbox{\tt gs}}

\newcommand{\Divis}{\mbox{\tt division}}
\newcommand{\Worker}{\mbox{\tt worker}}
\newcommand{\GManager}{\mbox{\tt GManager}}
\newcommand{\Offx}{\mbox{\tt officex}}

\newcommand{\nuno}{\mbox{\tt n1}}
\newcommand{\ndue}{\mbox{\tt n2}}
\newcommand{\ntre}{\mbox{\tt n3}}
\newcommand{\nquattro}{\mbox{\tt n4}}
\newcommand{\ncinque}{\mbox{\tt n5}}
\newcommand{\tuno}{\mbox{\tt t1}}
\newcommand{\tdue}{\mbox{\tt t2}}
\newcommand{\ttre}{\mbox{\tt t3}}
\newcommand{\tquattro}{\mbox{\tt t4}}
\newcommand{\tcinque}{\mbox{\tt t5}}
\newcommand{\tsei}{\mbox{\tt t6}}
\newcommand{\tsette}{\mbox{\tt t7}}
\newcommand{\totto}{\mbox{\tt t8}}
\newcommand{\tnove}{\mbox{\tt t9}}
\newcommand{\tdieci}{\mbox{\tt t10}}
\newcommand{\tund}{\mbox{\tt t11}}
\newcommand{\tdod}{\mbox{\tt t12}}
\newcommand{\ttred}{\mbox{\tt t13}}
\newcommand{\tqua}{\mbox{\tt t14}}
\newcommand{\tqui}{\mbox{\tt t15}}
\newcommand{\tsed}{\mbox{\tt t16}}
\newcommand{\tdic}{\mbox{\tt t17}}
\newcommand{\tdio}{\mbox{\tt t18}}
\newcommand{\tdin}{\mbox{\tt t19}}
\newcommand{\tven}{\mbox{\tt t20}}
\newcommand{\tvuno}{\mbox{\tt t21}}
\newcommand{\tvdue}{\mbox{\tt t22}}

\newcommand{\OODB}{\emph{Object Oriented DataBase}}

\newcommand{\logidata}{{\sc logidata$^+$}}

\newcommand{\classtooid}{\rho}
\newcommand{\costru}{\Lambda}
\newcommand{\basetoval}{\beta}


%%%%%%%%%%INTERFACCIA ODL-GES
%\newcommand{\odlic}{{ODL{\tt+}IC}}
%\newcommand{\ODL}{{ODL-De\-si\-gner}}
%\newcommand{\OCDL}{{OCDL-De\-si\-gner}}
%\newcommand{\SQL}{{SQL-OCDL}}
%\newcommand{\ODLIC}{{ODL{\tt+}\-IC-De\-si\-gner}}
%\newcommand{\OCDLQ}{{OCDL-Q\-Clas\-si\-fier}}
%\newcommand{\GES}{\mbox{GES}}
%\newcommand{\SUN}{{\sc SUN} SPARCstation 20, sistema operativo {\sc Solaris 2.3}}
%\newcommand{\filein}{{\tt ges\_in.txt}}
%\newcommand{\fileout}{{\tt ges\_out.pl}}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% QUERY
%\instsubseteq
%%%%%%%%%%REGOLE%%%%%%

\newcommand{\prim}{\mbox{\tt prim}}
\newcommand{\virt}{\mbox{\tt virt}}
\newcommand{\type}{\mbox{\tt type}}
\newcommand{\basetype}{\mbox{\tt btype}}
\newcommand{\antev}{\mbox{\tt antev}}
\newcommand{\antet}{\mbox{\tt antet}}
\newcommand{\consv}{\mbox{\tt consv}}
\newcommand{\const}{\mbox{\tt const}}

\newcommand{\NC}{\mbox{\tt N\_Classe}}
\newcommand{\AF}{\mbox{\tt Atomo\_Fittizio}}
\newcommand{\Att}{\mbox{\tt Attributo}}
\newcommand{\Sem}{\mbox{\tt Semplice}}
\newcommand{\Seq}{\mbox{\tt Sequenza}}
\newcommand{\Ins}{\mbox{\tt Insieme}}
\newcommand{\NV}{\mbox{\tt Nome\_Virtuale}}
\newcommand{\NULL}{\mbox{\tt NULL}}

\newcommand{\Articolo}{\mbox{\tt Item}}
\newcommand{\Fluid}{\mbox{\tt Fluid}}
\newcommand{\visc}{\mbox{\tt viscosity}}
\newcommand{\Solid}{\mbox{\tt Solid}}

% END SCHEMA EXAMPLE SQO

% SQO

\newcommand{\tutti}[1]{\forall\!\{#1\}}
\newcommand{\esiste}[1]{\exists\!\{#1\}}


\newcommand{\typelea}{S^{a}}
\newcommand{\typelec}{S^{c}}

\newcommand{\ruleset}{{\bf R}}

\newcommand{\schemarule}{(\schemas,\ruleset)}
\newcommand{\sruleset}{{\bf R}_{\schemas}}

\newcommand{\explo}{{EXP}}
\newcommand{\expf}{\Gamma}
\newcommand{\texpf}{\tilde{\expf}}

\newcommand{\tnschema}{\tilde{\nu}}

%\newcommand{\query}{\mbox {\tt query}}
\newcommand{\Query}{ { Q}}
\newcommand{\path}{p}
\newcommand{\el}{e}
\newcommand{\seqatt}{s}
\newcommand{\se}{\leftarrow}
\newcommand{\pred}{P}
\newcommand{\predhacca}{\pred_{H}}
\newcommand{\predcappa}{\pred_{K}}
\newcommand{\atintf}{{\cal J}}
\newcommand{\oc}{\theta}
\newcommand{\ocb}{\theta^{B}}
\newcommand{\ocu}{\theta^{U}}

\newcommand{\ssubbyr}{\sqsubseteq_{\rm R}}

\newcommand{\sval}[1]{\mbox{\em ``#1''}}

% \newcommand{\range}[2]{\mbox{$#1\div{}#2$}}
% \newcommand{\maggioredi}[1]{\mbox{$#1\div{}\infty$}}
% \newcommand{\minoredi}[1]{\mbox{$\infty\div{}#1$}}

\addtolength{\evensidemargin}{-64pt}
\addtolength{\oddsidemargin}{38pt}
%\addtolength{\evensidemargin}{-49pt}
%\addtolength{\oddsidemargin}{15pt}


%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%% Aggiunti da Montanari


\hyphenation{mo-di-fi-che}

\newcommand{\iii}{${I^3}$}
\newcommand{\odb}{{ODB-Tools}}
\newcommand{\ocdl}{{\bf OLCD}}
\newcommand{\ocdldes}{OLCD-Designer}
\newcommand{\optimizer}{ODB-QOptimizer}
\newcommand{\mone}{{\bf SIM${_1}$}}
\newcommand{\monea}{{\bf SIM${_1}$A}}
\newcommand{\moneb}{{\bf SIM${_1}$B}}
\newcommand{\langM}{ODM$_{I^3}$}
\newcommand{\lang}{ODL$_{I^3}$}
\newcommand{\langQ}{OQL$_{I^3}$}
\newtheorem{esempio}{Esempio}

\newcommand{\cA}{$c$} 
\newcommand{\cB}{$c'$} 
\newcommand{\cAM}{c}  
% Matematico
\newcommand{\cBM}{c'}  
% Matematico
\newcommand{\NomecA}{$n_{c}$}
\newcommand{\NomecB}{$n_{c'}$}
\newcommand{\cg}{{\em classe\_globale$_i$}} 

%%% Aggiunti da Montanari
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%



%%% presi da tesi.tex


%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% MACRO DEFINITION 
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%


\newcommand{\VSPACE} {\vspace{0.3cm}}
\newcommand{\CR}     {\newline}
\newcommand{\LF}     {\newline}
% font query 
\newcommand{\queryf} {\texttt}
\newcommand{\querymf}{\mathtt}
% alias di nomi

\newcommand{\PROJECT}      {ODB-Tools}

\newcommand{\DBreas}       {ODB-Tools} % {ODB-Reasoner}
\newcommand{\DBcomp}       {ODB-Tools} % {ODB-Reasoner}
\newcommand{\DBexp}        {{\sc Type Ex\-pan\-der}}
\newcommand{\DBott}        {{\sc ODB-QOpti\-mi\-zer}}
\newcommand{\ODL}          {{\sc ODL-De\-si\-gner}}
\newcommand{\OCDL}         {{\sc OLCD-De\-si\-gner}}
\newcommand{\OqlInterface} {{\sc OQL$\rightarrow$OLCD}}
\newcommand{\OcdlInterface} {{\sc OQL$\rightarrow$OLCD}}
\newcommand{\Bison}        {{\sc Bison}}
\newcommand{\Flex}         {{\sc Flex}}
\newcommand{\OCDLS}        {\mbox{OLCD}}
\newcommand{\GES}          {\mbox{\sc GES}}
\newcommand{\SUN}          {{\sc SUN} SPARCstation 20, sistema operativo {\sc Solaris 2.x}}


\newcommand{\OODBAPP}      {\emph{Object Oriented DataBase}}
\newcommand{\OQLAPP}       {\emph{Object Query Language}}
%\newcommand{\OCDLAPP}      {\emph{Object Constraint Description Language}}
\newcommand{\OCDLAPP}      {\emph{Object Constraint Description Logics}}
\newcommand{\SFWAPP}       {\queryf{select\--from\--where}}
\newcommand{\ESEMPIO}      {\noindent\emph{Esempio}}
\newcommand{\TRADUZIONE}   {\noindent\emph{Traduzione}}
\newcommand{\btu}          {$\bigtriangleup$}
\newcommand{\atxt}[1]      {\mbox{{\tt #1}}}
\newcommand{\Q}            {{ Q}}
\newcommand{\Qprimo}       {{ Q'}}
\newcommand{\Psegnato}     {\overline{P}}
\newcommand{\Atomo}        {\overline{Q}}  % atomo fittizio Q
\newcommand{\T}            {{ T}}
\newcommand{\Tsegnato}     {\overline{T}}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% MACRO ESEMPI SCHEMA STORAGE
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\newcommand{\Manager}   {\mbox{\tt Manager}}
\newcommand{\TManager}  {\mbox{\tt TManager}}
\newcommand{\Material}  {\mbox{\tt Material}}
\newcommand{\Materials} {\mbox{\tt Materials}}
\newcommand{\SMaterial} {\mbox{\tt SMaterial}}
\newcommand{\DMaterial} {\mbox{\tt DMaterial}}
\newcommand{\Storage}   {\mbox{\tt Storage}}
\newcommand{\DStorage}  {\mbox{\tt DStorage}}
\newcommand{\SStorage}  {\mbox{\tt SStorage}}
\newcommand{\feature}   {\mbox{\tt feature}}
\newcommand{\articolo}  {\mbox{\tt item}}
\newcommand{\risk}      {\mbox{\tt risk}}
\newcommand{\maxrisk}   {\mbox{\tt maxrisk}}
\newcommand{\code}      {\mbox{\tt code}}
\newcommand{\qty}       {\mbox{\tt qty}}
\newcommand{\stock}     {\mbox{\tt stock}}
\newcommand{\category}  {\mbox{\tt category}}
\newcommand{\level}     {\mbox{\tt level}}
\newcommand{\salary}    {\mbox{\tt salary}}
\newcommand{\managedby} {\mbox{\tt managed\_by}}

\newcommand{\integertype}       {\mbox{\tt integer}}
\newcommand{\stringtype}        {\mbox{\tt string}}
\newcommand{\realtype}          {\mbox{\tt real}}
\newcommand{\booltype}          {\mbox{\tt boolean}}
\newcommand{\rangetype}         {\mbox{\tt range}}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\newcommand{\punto}             {\mbox{\tt .}}
\newcommand{\schemas}           {\sigma}
\newcommand{\range}[2]          {\mbox{$#1\div{}#2$}}
\newcommand{\maggioredi}[1]     {\mbox{$#1\div{}\infty$}}
\newcommand{\minoredi}[1]       {\mbox{$\infty\div{}#1$}}
\newcommand{\classop}           {\bigtriangleup}
\newcommand{\typele}            {S}
\newcommand{\query}             {Q}
%\newcommand{\cnpset}           {{\bf C}}
\newcommand{\cnvset}            {{\bf V}}
\newcommand{\cnv}               {V}
\newcommand{\typeseti}          {{\bf S}}
\newcommand{\dbasetypeset}      {{\bf B}}
\newcommand{\schema}            {\sigma}
\newcommand{\rsequiv}           {\simeq_{\rm R}}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\hyphenation{per-met-te}
\hyphenation{mo-del-lo}
\hyphenation{si-ste-ma}
\hyphenation{in-ne-sta-te}
\hyphenation{e-stra-zio-ne}
\hyphenation{do-cu-men-to}
\hyphenation{mec-ca-ni-smo}
\hyphenation{ge-ne-ral-men-te}
\hyphenation{in-te-res-se} 
\hyphenation{o-pe-ra-zio-ni}
\hyphenation{e-spli-ca-ti-ve }
\hyphenation{ap-po-si-to}
\hyphenation{o-pe-ra-re}
\hyphenation{re-fe-ren-zia-to}
\hyphenation{con-cet-tu-a-liz-za-zio-ne}



\newcommand{\db}{DataBase }
%%% Local Variables: 
%%% mode: latex
%%% TeX-master: "tesi"
%%% End: 



