Ejemplo de Algoritmo SR para el modelo RL/WL/UL (Bases de Datos)

De Cuba-Wiki
Saltar a: navegación, buscar
Back.png Volver a la página de la materia

Dadas las transacciones:

  • T1 = rl[A] wl[B] ul[A] ul[B]
  • T2 = rl[A] ul[A] rl[B] ul[B]
  • T3 = wl[A] ul[A] wl[B] ul[B]
  • T4 = rl[B] ul[B] wl[A] ul[A]

y la historia:

H = wl3[A] rl4[B] ul3[A] rl1[A] ul4[B] wl3[B] rl2[A] ul3[B] wl1[B] ul2[A] ul1[A] wl4[A] ul1[B] rl2[B] ul4[A] ul2[B]

Contestar:

  1. Es legal H?
  2. Es SR?

Resolución:

  1. Si, H es legal.
  2. No, si hacemos el SG(H) veremos que tiene ciclos y por lo tanto no es SR.

Algoritmo sr.png