\begin{frame}
  \frametitle{Normalization: Summary}
  
  \begin{goal}{}
    \emph{Relational normalization} is about:
    \begin{itemize}
    \medskip
    \item \emph{Avoiding redundancy.}
    \medskip
    \item \emph{Storing separate facts (functions) separately.}
    \medskip
    \item \emph{Transforming general integrity constraints} into
    constraints that are supported by the DBMS: \emph{keys}.
    \medskip
    \end{itemize}
  \end{goal}

%   \begin{itemize}
%   \item Relational normalization theory is mainly based on FDs, but
%     there are other types of constraints (e.g., MVDs).
%   \end{itemize}
\end{frame}

%\overview{6}
\theme{Denormalization}