'컨플릭트 이퀴벌런트'와 '컨플릭트 시리얼라이저빌리티' 개념을 정의하고, 이 두 개념이 데이터베이스 동시성 제어의 핵심 이론을 어떻게 구성하는지 설명해 주세요.

[Monixc]

컨플릭트 이퀴벌런트(Conflict Equivalence)는 두 스케줄이 다음과 같은 두 가지 조건을 모두 만족할 때를 의미한다:

1. 두 스케줄은 동일한 트랜잭션들을 포함해야 한다.
2. 두 스케줄에서 모든 컨플릭트 오퍼레이션 쌍의 순서가 동일해야 한다.

컨플릭트 시리얼라이저빌리티(Conflict Serializability)는 논-시리얼 스케줄이 어떤 시리얼 스케줄과 컨플릭트 이퀴벌런트할 때 해당 스케줄을 컨플릭트 시리얼라이저블하다고 부른다.

이 두 개념은 데이터베이스 동시성 제어의 핵심 이론을 구성한다. 시리얼 스케줄은 항상 일관된 결과를 보장하지만 성능이 낮고, 논-시리얼 스케줄은 성능을 향상시키지만 이상한 결과를 초래할 수 있다. 따라서 데이터베이스 시스템은 성능 때문에 논-시리얼 스케줄을 허용하면서도, 이상한 결과가 나오는 것을 원치 않는다. 여기서 해결책은 시리얼 스케줄과 동일한 결과를 내는 논-시리얼 스케줄만 허용하는 것이다. 컨플릭트 이퀴벌런트라는 개념을 사용하여 시리얼 스케줄과 동일한 결과를 내는 논-시리얼 스케줄을 정의할 수 있으며, 이것이 바로 컨플릭트 시리얼라이저빌리티이다. 컨플릭트 시리얼라이저블한 논-시리얼 스케줄은 비록 오퍼레이션들이 겹쳐 실행되더라도 항상 정상적인 최종 결과를 보장한다. 따라서 이 개념들은 동시성 제어가 "성능을 유지하면서 데이터 일관성을 보장"하는 방법을 제공하는 핵심적인 연결 고리가 된다.