32/252
\begin{frame}
  \frametitle{Example: Books and Authors}
  
  \booksexample  
  \pause
  
  \only<2-15>{
  \begin{itemize}\setlength{\itemsep}{0ex}
    \item $\sql{ISBN} \to \pause \sql{TITLE}, \sql{PUBLISHER}$ (ISBN uniquely identifies a book)
  \pause
    \item $\sql{ISBN} \to \sql{AUTHOR}$ \;\;? \pause \alert{Does not hold.}
  \pause
    \item $\sql{AUTHOR} \to \sql{TITLE}$ \;\;? \pause \alert{Does not hold in general.}
  \pause
    \item $\sql{TITLE} \to \pause \sql{nothing}$ (There may be books with the same title)
  \pause
    \item $\sql{ISBN}, \sql{NO} \to \pause\sql{AUTHOR}$
  \pause
    \item $\sql{ISBN}, \sql{AUTHOR} \to \sql{NO}$ \;\;? \pause \alert{questionable} (e.g. Smith \& Smith)
  \pause
    \item $\sql{PUBLISHER}, \sql{TITLE}, \sql{NO} \to \sql{AUTHOR}$ \;\;? \pause \alert{questionable}\\[-0.5ex]
      \remark{Authorship sequence might change in a new edition of a book!}
  \end{itemize}
  }
  \only<16>{
    \bigskip\medskip
    \begin{goal}{}
      During database design, \emph{only unquestionable conditions should be used
      as functional dependencies}.
    \end{goal}
    \begin{alertblock}{}
        Database normalization \emph{alters the table structure} depending 
        on the specified functional dependencies.\\
        \remark{Later hard to change: needs creation/deletion of tables!}
    \end{alertblock}
  }
  \vspace{10cm}
\end{frame}