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