PUERTA | PUERTA-CS-2009 | Pregunta 43

Considere dos transacciones T1 y T2, y cuatro calendarios S1, S2, S3, S4 de T1 y T2 como se indica a continuación:

T1 = R1[X] W1[X] W1[Y]
T2 = R2[X] R2[Y] W2[Y]
S1 = R1[X] R2[X] R2[Y] W1[X] W1[Y] W2[Y]
S2 = R1[X] R2[X] R2[Y] W1[X] W2[Y] W1[Y]
S3 = R1[X] W1[X] R2[X] W1[Y] R2[Y] W2[Y]
S4 = R2[X] R2[Y] R1[X] W1[X] W1[Y] W2[Y]

¿Cuáles de los programas anteriores son serializables en conflicto?

(A) S1 y S2
(B) S2 y S3
(C) Solo S3
(D) Solo S4

Respuesta: (B)
Explicación: Puede haber dos horarios de serie posibles T1 T2 y T2 T1. El horario serial T1 T2 tiene la siguiente secuencia de operaciones
R1[X] W1[X] W1[Y] R2[X] R2[Y] W2[Y]
Y el horario T2 T1 tiene la siguiente secuencia de operaciones.
R2[X] R2[Y] W2[Y] R1[X] W1[X] W1[Y]
El Anexo S2 es equivalente en conflicto a T2 T1 y S3 es equivalente en conflicto a T1 T2
Cuestionario de esta pregunta