PUERTA | PUERTA-CS-2007 | Pregunta 64

Considere los siguientes programas que involucran dos transacciones. ¿Cuál de las siguientes afirmaciones es verdadera?

(A) Tanto S1 como S2 son serializables en conflicto.
(B) S1 es serializable por conflicto y S2 no es serializable por conflicto.
(C) S1 no es serializable por conflicto y S2 es serializable por conflicto.
(D) Tanto S1 como S2 no son serializables por conflicto.

Respuesta: (C)
Explicación:

S1 is not conflict serializable, but S2 is conflict serializable 

Schedule S1
   T1            T2
---------------------
  r1(X)
  r1(Y)
                r2(X)
                r2(Y)
                w2(Y)
  w1(X)
The schedule is neither conflict equivalent to T1T2, nor T2T1.

Schedule S2
   T1            T2
---------------------
  r1(X)
                r2(X)
                r2(Y)
                w2(Y)
  r1(Y)
  w1(X)
The schedule is conflict equivalent to T2T1.

Cuestionario de esta pregunta