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