데이터베이스 카테고리의 매칭·머징·구조적 특성

초록

본 논문은 데이터베이스 인스턴스를 객체로, 뷰 기반 매핑을 화살표로 하는 카테고리 DB 를 정의하고, 그 위에 닫힘 연산자(monad) T를 도입한다. DB는 대칭 2‑카테고리이며 자체 듀얼과 동형, 완전·공완전, 구체적·국소소, 유한히 표현가능(finitely presentable)한 구조를 가진다. 또한 텐서곱을 통한 매칭 연산과 파라미터화된 머징 연산을 정의하고, 대수적 격자, 메트릭 공간, 부분 객체 분류자를 구성함으로써 모노이달 초등 토포스 로서의 성질을 보인다.

상세 분석

논문은 먼저 DB 카테고리의 기본 구성요소를 명확히 정의한다. 객체는 n‑ary 관계들의 집합인 데이터베이스 인스턴스로, 모든 객체는 전역 객체 Υ (모든 관계의 합집합) 위에 포함된다. 핵심은 뷰‑기반 매핑을 화살표로 보는 점이다. 전통적인 함수형 매핑과 달리, 각 화살표는 “Select‑Project‑Join‑Union”(SPJRU) 쿼리 트리로 구성된 복합 구조이며, 이는 부분적인 입력 관계 집합 ∂₀와 결과 뷰 집합 ∂₁을 통해 형식화된다. 이러한 화살표들의 합성은 트리 병합 규칙에 따라 정의되며, 합성 결과는 종종 입력보다 더 큰 ∂₀를 갖는 새로운 화살표가 된다.

닫힘 연산자 T는 모든 가능한 뷰를 생성하는 모나드이며, 객체 A에 대해 T A는 A 의 모든 뷰(즉, Ł_A/≈ 의 원소)로 구성된 데이터베이스가 된다. T는 멱집합 연산자와 동형이며, T A ⊇ A, T T A = T A 를 만족한다. 이때 A = T A 인 객체를 ‘폐쇄 객체’라 부르고, 이러한 객체들만을 모은 스켈레톤 서브카테고리 DB_sk 는 원래 DB와 동등함을 보인다. 따라서 DB는 구체적이며, 기본 집합 Set 으로의 충실한 전사함수 F 를 통해 구체성을 확보한다.

대칭성은 화살표와 객체 사이의 전단사적 대응(bijection)으로 나타난다. 모든 화살표 f:A→B는 그 역 f⁻¹:B→A가 존재하고, 이는 DB가 자체 듀얼 DB^op 와 동형임을 의미한다. 결과적으로 한쪽에서 정의된 모든 한계(limit) 구조는 반대쪽에서 동등한 공한계(colimit) 구조가 된다. 예를 들어, 곱 A×B 와 코합 A+B 가 동일하고, 초기·종단 객체가 동일한 ⊥₀ 가 된다.

카테고리 이론적 성질로서 DB는 완전·공완전, 2‑카테고리이며, 모노이드 구조를 가진 대칭 텐서곱 ⊗ (‘매칭’)을 정의한다. 이 텐서곱은 두 데이터베이스의 공통 뷰를 추출하는 연산으로, 머징 연산 ⊕ (파라미터화된 합성)과 결합해 복합 데이터 연합을 기술한다. 또한 DB는 대수적 격자(algebraic lattice)이며, 부분 객체 분류자 Ω 와 메트릭 d(A,B)=|T A Δ T B| (대칭 차집합 크기) 를 통해 거리 공간을 구성한다. 이러한 구조는 DB가 ‘모노이달 초등 토포스(monidal elementary topos)’임을 증명한다: 내부 논리, 서브객체, 지수 객체 등이 모두 존재한다.

결과적으로 논문은 데이터베이스 이론을 범주론적 관점에서 재구성함으로써, 복잡한 뷰 기반 매핑을 정형화하고, 데이터 통합·매칭·머징 작업을 카테고리 연산으로 일관되게 모델링한다. 이는 데이터베이스 스키마 매핑, 데이터 연합, 그리고 고수준 스키마 변환을 수학적으로 엄밀히 다루는 새로운 프레임워크를 제공한다.