\begin{frame}
  \frametitle{Functional Dependencies are Constraints}

  \begin{goal}{}
    Functional dependencies are \emph{constraints} (like keys).
  \end{goal}
  \pause
  
  \begin{exampleblock}{}
    \begin{center}
      \tableCourses
    \end{center}
    In this example state, the functional dependency
    \begin{salign}
      \sql{title} \to \sql{courseNr}
    \end{salign}
    holds. But this is probably \emph{not true in general}!
  \end{exampleblock}
  \pause\bigskip
  
  \begin{alertblock}{}
    For the database design, the only interesting 
    functional dependencies are those
    that \emph{hold for all intended states}.
  \end{alertblock}
\end{frame}