\begin{frame}
  \frametitle{Third Normal Form vs. Boyce-Codd Normal Form}

  In short, we can say:
  \bigskip
  
  \begin{goal}{}
    BCNF $\iff$ for every non-trivial FD:
    \begin{itemize}
      \item the left-hand side contains a key
    \end{itemize} 
  \end{goal}
  \bigskip

  \begin{goal}{}
    3NF $\iff$ for every non-trivial FD:
    \begin{itemize}
      \item the left-hand side contains a key, or
      \item the right-hand side is an attribute of a minimal key
    \end{itemize} 
  \end{goal}
\end{frame}