PUERTA | GATE-CS-2016 (Conjunto 2) | Pregunta 61

Considere el siguiente programa de base de datos con dos transacciones, T1 y T2.

S = r2(X); r1(X); r2(Y); w1(X); r1(Y); w2(X); a1; a2;

donde ri(Z) denota una operación de lectura por transacción Ti en una variable Z, wi(Z) denota una operación de escritura por Ti en una variable Z y ai denota un aborto por transacción Ti.
¿Cuál de las siguientes afirmaciones sobre el horario anterior es VERDADERA?
(A) S no es recuperable
(B) S es recuperable, pero tiene un aborto en cascada
(C) S no tiene un aborto en cascada

(D) S es estricta

Respuesta: (C)
Explicación: Como podemos ver en la figura,

• T2 sobrescribe un valor que escribe T1
• T1 aborta: se restablecen sus valores “recordados”.
• El aborto en cascada podría haber surgido si -> El aborto de T1 requería el aborto de T2 pero como T2 ya se canceló, no es un aborto en cascada. Por lo tanto, la Opción C

Opción A :  no es cierto porque el cronograma dado es recuperable

Opción B: no es cierto, ya que es recuperable y evita abortos en cascada;

La opción D :  no es cierta porque T2 también realiza una operación de cancelación después de que lo haga T1, por lo que NO es estricta.
Cuestionario de esta pregunta