\begin{frame}
  \frametitle{Third Normal Form vs. Boyce-Codd Normal Form}
  
  \begin{quiz}{\textwidth}{3NF vs BCNF}
    \begin{center}
    {\ttfamily\footnotesize
      \colorbox{rellight}{%
        \begin{tabular}{|r|r|r|r|}
          \multicolumn{4}{c}{Bookings}
          \\
          \hline
          \hd{court} & \hd{startTime} & \hd{endTime} & \hd{rate}
          \\
          \hline
          1 & 9:30 & 11:00 & saver \\
          2 & 9:30 & 12:00 & premium-a \\
          1 & 12:00 & 14:00 & standard \\
          \hline
        \end{tabular}%
      }}
    \end{center}
    The table contains bookings for one day at a tennis club:
    \begin{itemize}
      \item there are courts 1 (hard court) and 2 (grass court)
      \item the rates are 
        \begin{itemize}
          \item \sql{saver} for member bookings of court 1
          \item \sql{standard} for non-member bookings of court 1
          \item \sql{premium-a} for member bookings of court 2
          \item \sql{premium-b} for non-member bookings of court 2
        \end{itemize}
    \end{itemize}
    \pause
    Quiz:
    \begin{itemize}
      \item Find a representative set of functional dependencies.
      \item Is the table in BCNF? Is the table in 3NF?
    \end{itemize}
  \end{quiz}
\end{frame}

\theme{Splitting Relations}