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}