\begin{frame}
  \frametitle{Conflict Serializable Schedules}

  \begin{goal}{}
    A schedule is \emph{conflict-serializable}
    if it is conflict equivalent to some serial schedule.
  \end{goal}
  
  Conflict-serializable schedules are serializable (but not necessarily vice-versa).
  \medskip
  \pause
    
  \begin{quiz}{\textwidth}{Which of these schedules are conflict-serializable?}
    {\def\scheduleWidth{1cm}
    \begin{tcenter}
      \begin{tikzpicture}
        \schedule{}{2}{1wV|2rV|1wV}
        \mpause[1]{ 
          \node at (6.5cm,-\scheduleHeight) {No}; 
        }
        \begin{scope}[yshift=-1.5cm]
        \schedule{}{2}{1rV|2rV|1wV}
        \mpause{ 
          \node at (6.5cm,-\scheduleHeight) {Yes}; 
        }
        \end{scope}
        \begin{scope}[yshift=-3cm]
        \schedule{}{3}{2rV|3wV|1wY|2rY|2wZ}
        \mpause{ 
          \node at (6.5cm,-1.5*\scheduleHeight) {Yes}; 
        }
        \end{scope}
      \end{tikzpicture}
    \end{tcenter}
    }
  \end{quiz}
\end{frame}