포함 관계와 실무 기준
뷰 직렬 가능성은 더 넓지만, 실제 동시성 제어는 충돌 직렬 가능성을 기준으로 잡습니다.
안쪽 집합일수록 조건은 더 엄격합니다. 바깥쪽으로 갈수록 더 많은 스케줄을 허용하지만, 검사 난이도도 함께 올라갑니다.
학습 포인트
넓게 인정하는 기준과 실제 운영 기준은 다를 수 있습니다.

집합은 이렇게 포함됩니다

같은 최종 결과를 더 넓게 인정하는 개념이 바깥에 있고, 더 검사하기 쉬운 개념이 안쪽에 남습니다.

모든 스케줄
가장 넓은 범위
트랜잭션이 섞여 실행되는 모든 경우를 포함합니다. 이 안에서 직렬성과 일관성을 만족하는 범위를 골라냅니다.
뷰 직렬 가능
더 넓게 인정
초기 읽기, 읽기 소스, 최종 쓰기가 직렬 스케줄과 같으면 허용합니다. 그래서 충돌 기준보다 더 많은 비직렬 스케줄이 들어올 수 있습니다.
충돌 직렬 가능
실무 기준
충돌하는 연산의 상대 순서가 직렬 스케줄과 같으면 허용합니다. 선행 그래프 같은 방식으로 검사할 수 있어 실제 DBMS가 이 기준을 사용합니다.
직렬 스케줄
트랜잭션이 완전히 순차 실행되는 가장 제한적인 경우