41/296
\begin{frame}
\frametitle{Functional Dependencies}

An functional dependency with $m$ attributes on the right
\begin{talign}
A_1, \dots A_n \to B_1, \dots B_m
\end{talign}
is \emph{equivalent} to the $m$ FDs:
$$\begin{array}{ccc} A_1, \dots, A_n & \to & B_1 \\ \vdots & & \vdots \\ A_1, \dots, A_n & \to & B_m \end{array}\pause%$$
\medskip

\begin{goal}{}
Thus, in the following it suffices to consider FDs
with a single column name on the right-hand side.
\end{goal}
\end{frame}