\begin{frame}
  \frametitle{Introduction}
  
  \begin{goal}{}
    \emph{Normalization algorithms} can construct good relation schemas
    from a set of attributes and a set of functional dependencies.
  \end{goal}
  \pause\medskip
  
  In practice:
  \begin{itemize}
    \item relations are derived from entity-relationship models
    \item normalization is used as an additional check only
  \end{itemize}
  \medskip
    
  \begin{goal}{}
    When an ER model is \emph{well designed}, 
    the resulting derived relational tables will \emph{automatically be in BCNF}.
  \end{goal}    
  Awareness of normal forms can help to detect design errors already in the conceptual design phase.
\end{frame}

\theme{First Normal Form}