\begin{frame}
  \frametitle{Implication of Functional Dependencies}

  \begin{block}{Implication of Functional Dependencies}
    A set of FDs $\Gamma$ 
    \emph{implies} an FD $\alpha \to \beta$
    \begin{tcenter}
      $\iff$
    \end{tcenter}
    every DB state which satisfies all FDs in $\Gamma$, also satisfies $\alpha \to \beta$.
  \end{block}
  \pause\bigskip
  
  \begin{goal}{}
    The DB designer is normally not interested in all FDs, 
    but only in a \emph{representative FD set} that implies all other FDs.
  \end{goal}
  \pause\bigskip
  
  \begin{alertblock}{}
    How to determine whether $\Gamma$ implies $\alpha \to \beta$ ?
  \end{alertblock}
\end{frame}