관계 격자 체계의 새로운 공리와 반조인 정의

초록

관계 격자는 관계 대수의 형식적 수학 모델로, 전통적인 여섯 개 연산을 자연 조인과 내부 합집합 두 개로 축소한다. 본 연구는 관계 격자의 성질을 공리적 정의에 중점을 두고 추가 탐구한다. 새로운 공리들을 도입하고, 차집합(보다 일반적으로는 반조인)의 동등식 정의를 제시한다. 또한 관계 격자 이론을 활용한 질의 변환 사례 연구를 통해 실용적 적용 가능성을 입증한다.

상세 요약

관계 격자(Relational Lattice)는 관계형 데이터베이스 이론에서 관계 대수(Relational Algebra)를 보다 간결하고 체계적인 형태로 재구성하려는 시도이다. 전통적인 관계 대수는 선택(σ), 투사(π), 합집합(∪), 차집합(−), 카티션 곱(×), 그리고 자연 조인(⋈) 등 여섯 개의 기본 연산을 사용한다. 그러나 이 연산들은 서로 독립적인 정의를 가지고 있어, 공리 체계의 구축이나 자동화된 질의 최적화에 있어 복잡성을 야기한다. 관계 격자는 이러한 복잡성을 두 개의 핵심 연산, 즉 자연 조인과 내부 합집합(Inner Union) 으로 축소함으로써, 모든 다른 연산을 이들로부터 파생시킬 수 있음을 보인다.

본 논문은 기존 연구에서 제시된 기본 공리 외에 추가 공리를 도입한다. 첫 번째는 결합법칙과 교환법칙이 내부 합집합과 자연 조인 각각에 독립적으로 적용된다는 점을 명시적으로 규정하는 공리이며, 두 번째는 두 연산 사이의 분배법칙을 확장한 형태이다. 특히, 내부 합집합이 자연 조인에 대해 왼쪽과 오른쪽 모두에서 분배되는 조건을 명시함으로써, 복합 연산식의 변환을 보다 직관적으로 수행할 수 있다.

차집합(또는 반조인)은 관계 대수에서 매우 중요한 연산이다. 기존 관계 격자 이론에서는 차집합을 직접적인 연산으로 다루지 않고, 차집합을 자연 조인과 보완 연산을 조합해 정의하였다. 본 연구는 반조인(Anti‑Join)의 동등식 정의를 제시한다. 구체적으로, R ⟕ S (R에서 S와 일치하지 않는 튜플) 를
\