Bases de Datos - Recuperatorio Parcial 2

G. Saiz - N. Wolovick

29 de Noviembre de 2000

1. Dar una historia completa no serial $H$ tal que $H \in \ensuremath{\mathit{VSR}}\wedge H \notin \ensuremath{\mathit{CSR}}$.

2. Dado el siguiente grafo de instancia de locks:
   #1#2#3#4#5@font#3#4#5
   
   
   

   Mostrar como el protocolo $\ensuremath{\mathit{MGL}}$ adquiere y libera locks para la siguiente secuencia de locks generada por un $\ensuremath{\mathit{2PL}}$:
   

   $$rl_{1}[F_{3}]riwl_{2}[A_{2}]rl_{2}[R_{3.2}]wl_{3}[R_{4.2}]wl_{3}[F_{5}]wl_{1}[R_{2.2}]rl_{3}[A_{1}]$$
   
   

3. Dada la siguiente historia
   
   $$H = r_{1}[x]w_{2}[z]r_{1}[y]w_{2}[x]r_{3}[x]w_{1}[x]w_{1}[y]r_{3}[y]w_{3}[x]w_{3}[w]$$
   
   
   1. Demuestre $H \notin \ensuremath{\mathit{2PL}}$.
   2. Muestre como actuaría un planificador $\ensuremath{\mathit{2PL}}$ si la $H$ se interpreta como la secuencia de llegada al planificador.

4. En el esquema de prevención de deadlock basado en estampillas de tiempo, cada transacción recibía una estampilla única. Indique que sucede en los esquemas wound-wait y wait-die respecto a deadlocks y livelocks si es posible que dos transacciones distintas reciban estampillas idénticas.

5. Se dice que dos transacciones no están entrelazadas si toda operación de una precede a toda operación de la otra. Dar una $H$ tal que $H \in \ensuremath{\mathit{CSR}}$ y que cumpla las siguientes propiedades:
   • $T_{1}$ y $T_{2}$ no están entrelazadas en $H$,
   • $T_{1}$ precede a $T_{2}$ en $H$ y
   • en cualquier historia serial equivalente en conflictos a $H$, $T_{2}$ precede a $T_{1}$.