Serializability2 [DB/1-3. How to Test Serializability] 3️⃣ How to Test Serializability Testing for Conflict Serializability Precedence graph의 Cycle 유무를 검사 a direct graph where the vertices are the transactions We draw an arc from Ti to Tj if the two transactions conflict, and Ti accesses the data item on which the conflict arises earlier we may label the arc by the item that is accessed Node : 트랜잭션, Edge : 충돌연산 있을 때 데이터를 먼저 읽는 방향으로. ⇒ 만약 사이클 존재? con.. 2024. 3. 27. [DB/1-2.Serializability(직렬성)] 2️⃣ Serializability Correct Execution Two widely accepted criteria Conflict serializable View serializable → 두 개 중 하나만이라도 만족하면 correct execution (* serial execution of transaction is always correct) Nonserializable Execution 비순차적인 연산의 문제점 1. dirty read : Rollback으로 인해 A는 처음 상태로 → T2의 A는 잘못된 값을 읽고 있는 것임 2. lost update : Effect (update) of T2 is lost 최종적으로는 T1에서 A+50한 값이 write됨 (T2연산이 사라짐 → lost u.. 2024. 3. 24. 이전 1 다음
