\begin{frame}
  \frametitle{Database Design}
  
  \begin{goal}{Database Design}
    \begin{itemize}
    \smallskip
      \item \emph{formal model} of the relevant aspects of the real word
    \smallskip
      \item the real world serves as \emph{measure of correctness}
    \smallskip
    \end{itemize}
    \remark{The database states should correspond to the states of the real world.}
  \end{goal}
  \pause\bigskip
  
  Database design is challenging:
  \begin{itemize}
  \smallskip
    \item \emph{Expertise}: \\requires expertise in the application domain
  \smallskip
    \item \emph{Flexibility}: \\real world often permits exceptional cases
  \smallskip
    \item \emph{Size}: \\database schema may become huge
  \end{itemize}
\end{frame}