\begin{frame}
  \frametitle{Splitting Relations: Lossless Splits}
  
  \begin{alertblock}{}
    It is important that this splitting transformation is
    \emph{lossless}, i.e., that the original relation can be
    reconstructed by a join.
  \end{alertblock}
  \pause
    
  \begin{exampleblock}{Reconstruction after split}
    \recallexamplephone
    \bigskip
    
    We can reconstruct the original table as follows:
    \medskip
    
    \small
    \BUseVerbatim{query}
  \end{exampleblock}
\end{frame}