Serializable Precedence Graph Visualizer

Export as SVG

• r2(A) r1(B) w2(A) r3(A) w1(B) w3(A) r2(B) w2(B)
  • 
  • From: http://www.mathcs.emory.edu/~cheung/Courses/554/Syllabus/7-serializability/graph-conflict.html
• r2(A) r1(B) w2(A) r2(B) r3(A) w1(B) w3(A) w2(B)
  • 
  • From: http://www.mathcs.emory.edu/~cheung/Courses/554/Syllabus/7-serializability/graph-conflict.html
• T1:R(X), T2:W(X), T3:W(X)
• T1:R(X), T2:R(X), T3:R(X)
• T1:R(X), T2:W(Y), T3:R(X)
• w1(x)r1(x)w3(z)
• L12=B1 R1[x] B2 R2[x] W1[x] E1 B3 R3[x] W2[x] E2 W3[y] E3
  • 
  • From: http://heaven.eee.metu.edu.tr/~vision/LectureNotes/EE442/Ee442ch7.html
• w1(x) r1(x) w3(z) r2(x) r2(y) r4(z) r3(x) w3(y)
• W3(Z), R2(X), W2(Y), R1(Z), W3(Y), W1(Y)
• R4(y) R2(x) W3(x) W1(z) W4(y) W2(z) R4(z) W1(x) W3(y) R5(y) W3(z) W5(x)
  • 
  • From: http://www-stud.uni-due.de/~selastoe/?mdl=dbms&mode;=precedence#graph
• R1(X),R2(Y),R3(Z),W2(Y),W2(X),W1(Z),W3(Y),W2(X)
  • 
  • From: http://djitz.com/neu-mscs/how-to-check-for-view-serializable-and-conflict-serializable
• R1(X),R2(Y),R2(Y),W2(X),W3(Y),R1(X)
  • 
  • From: http://djitz.com/neu-mscs/how-to-check-for-view-serializable-and-conflict-serializable