\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}