관계 연산자 조각에서 구분 불가능성의 시뮬레이션과 비시뮬레이션

초록

이 논문은 관계 대수의 다양한 연산자 조합을 정의하고, 각 조각별로 두 이진 관계 구조가 해당 조각의 표현식으로 구분될 수 없는 조건을 시뮬레이션·비시뮬레이션 개념을 통해 정확히 규정한다.

상세 분석

논문은 먼저 관계 대수의 기본 연산인 합집합, 교집합, 차집합, 관계 합성, 역관계, 전치 등을 포함한 전체 연산자 집합을 정의하고, 여기서 특정 연산자를 제외하거나 추가함으로써 여러 ‘조각(fragment)’을 만든다. 각 조각은 데이터베이스 질의 언어의 표현력과 직접 연결되며, 예를 들어 차집합을 제외하면 양방향 탐색이 제한되는 경우를 모델링한다. 핵심 기여는 이러한 조각마다 ‘구분 불가능성(indistinguishability)’을 판정할 수 있는 구조적 관계, 즉 시뮬레이션과 비시뮬레이션을 일반화한 새로운 개념을 제시한 것이다. 기존의 이진 관계 구조에 대한 비동형성(bisimulation) 이론은 전체 연산자를 전제로 하지만, 차집합이나 투사(projection) 같은 비대칭 연산이 포함될 때는 전통적인 비시뮬레이션이 충분하지 않다. 저자는 이를 보완하기 위해 ‘조건부 시뮬레이션(conditional simulation)’과 ‘제한된 비시뮬레이션(restricted bisimulation)’을 정의하고, 각각이 특정 연산자 집합에 대해 완전하고 충분한 판정 기준이 됨을 증명한다. 증명은 두 방향의 포함 관계를 보이는 ‘게임 기반’ 접근법을 사용한다. 한쪽 플레이어는 구조 A에서 B로 이동하면서 연산자 적용 결과를 매칭하고, 반대편 플레이어는 반대로 매칭을 방해한다. 게임이 무한히 진행될 수 없도록 하는 ‘우선순위 순환’ 기법을 도입해 결정성을 확보한다. 또한, 차집합이 포함된 조각에서는 ‘차집합-보존 시뮬레이션(difference‑preserving simulation)’이라는 추가 제약이 필요함을 보인다. 이러한 제약은 두 구조가 차집합 연산에 대해 동일한 결과를 산출하도록 보장한다. 논문은 마지막에 복합 연산자(예: 투사와 공집합 연산)의 조합에 대한 특수 사례를 다루며, 각 경우에 맞는 시뮬레이션 정의를 제시한다. 전체적으로 이 연구는 관계 대수의 표현력과 구조적 동형성 사이의 미세한 관계를 명확히 규정함으로써, 데이터베이스 질의 최적화, 스키마 매핑, 그리고 형식 검증 분야에 직접적인 응용 가능성을 제공한다.