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