transaction1 [Transaction] View Seiralizability View equivalent: 스케줄 S, S'이 있을 때 세 가지 조건을 만족하면 view equivalent하다고 한다. 세 조건 다 모든 아이템에 대하여 체크해야 한다. 데이터 중 하나를 Q라고 가정한다. 이 때, 읽기와 쓰기에 대해서만 얘기한다. 1. S에서 T1가 Q를 initial read 했다면 S'의 T1에서도 Q를 initial read해야한다. initial read란 스케줄에서 데이터를 시간상 처음 read 했을 때를 얘기한다. 2. S에서 Tj가 wirte(Q) 하고 나서 Ti가 read(Q)했다고 하자. 그러면 S'에서도 Tj가 Write(Q)하고 Ti가 Read(Q) 해야 한다. 항상 이 순서를 지키는 것이 조건 2이다. 3. S의 Ti에서 마지막 명령으로 write(Q)를 했다.. 2020. 5. 30. 이전 1 다음
