% \chapter{Architecture du contrôle d'accès}
% 
% \padding 

\begin{savequote}[11cm]
The grand aim of all science is to cover the greatest number of empirical facts by logical deduction from the smallest number of hypotheses or axioms.

\qauthor{Albert Einstein}
\end{savequote}



\chapter{Préliminaires} \label{annexe:A}
\addtocontents{def}{\protect\addvspace{\baselineskip}}
\cftchapterprecistoc{Une annexe}


	\begin{resume}	

	Cette super annexe est pompée de~\cite{Abiteboul95}.
	
	\end{resume}
	

\lettrine{L}{'} objectif de la logique mathématique est d'étudier le raisonnement et en particulier la vérité des propositions exprimées dans le langage des mathématiques. C'est un langage formel qui permet la représentation de relations entre objets et la déduction de nouvelles relations à partir de relations connues comme vraies. La logique est utile, car c'est un cadre commun pour exprimer et définir formellement les fondements des bases de données.


\section{Logique des choux}\label{A:logique}

		



\newpage
\section{Modèle relationnel de la bigarration}\label{A:relationnel}


		Le concept mathématique sous-jacent au modèle relationnel est celui de relation dans la théorie des ensembles, c'est-à-dire un sous-ensemble du produit cartésien de \emph{domaines}.





	
