관계형 기반이 아닌 범주론적 데이터 마이그레이션

초록

이 논문은 스키마를 유한히 제시된 범주로 보고, 스키마 간 펑터가 유도하는 세 가지 데이터 마이그레이션 함수(Σ, Π, Δ)를 정의한다. 이를 기반으로 한 쿼리 언어 FQL을 제시하고, FQL이 전통적인 SPCU 연산과 키 생성 연산으로 구현 가능함을 증명한다. 또한 SPCU가 FQL로 구현될 수 있음을 보이며 두 체계의 상호 변환 가능성을 입증한다.

상세 분석

본 연구는 전통적인 관계형 데이터베이스 설계에서 그래프 기반 스키마를 단순히 관계형 스키마의 약어로 보는 접근을 탈피한다. 저자들은 스키마를 “유한히 제시된 범주”(finitely‑presented category)로 모델링하고, 각 스키마 S에 대한 인스턴스 집합을 범주 S‑inst 로 정의한다. 이때 인스턴스는 S의 객체에 대응하는 집합과 화살표에 대응하는 함수들의 집합으로, 범주론적 관점에서 자연스럽게 동형사상과 제한을 다룰 수 있다.

스키마 간 펑터 F : S → T 가 주어지면, 세 가지 기본 데이터 마이그레이션 함수를 도출한다. 첫째, Σ_F (왼쪽 적분)는 S‑inst 에서 T‑inst 로의 ‘집합적 전파’를 수행하며, 이는 왼쪽 Kan 확장으로 해석된다. 둘째, Π_F (오른쪽 적분)는 오른쪽 Kan 확장을 통해 집합을 집계·축소한다. 셋째, Δ_F (제한)는 T‑inst 를 S‑inst 로 ‘끌어내는’ 제한 함수이며, 펑터의 역함수 역할을 한다. 이 세 함수는 서로 앙상블(adjoint) 관계를 이루어, 데이터 변환의 보존성과 역변환 가능성을 이론적으로 보장한다.

위의 삼중함수를 활용한 쿼리 언어 FQL은 “Σ‑Π‑Δ 조합”을 기본 연산으로 삼아 복합 쿼리를 구성한다. 저자들은 FQL이 연산적 폐쇄성을 갖는다는 것을 증명했으며, 즉 두 FQL 쿼리를 순차적으로 적용해도 결과는 다시 FQL 형태로 표현 가능함을 보였다.

또한 구현 측면에서, FQL을 전통적인 SPCU(Select‑Project‑Product‑Union) 연산에 키‑생성(key‑generation) 연산을 추가함으로써 구현할 수 있음을 증명한다. 키‑생성 연산은 범주론적 자유 객체를 구체화하는 역할을 하며, Σ_F 와 Π_F 의 효과를 관계형 연산으로 재현한다. 반대로, SPCU 연산 역시 FQL의 Σ, Π, Δ 조합으로 표현 가능함을 보이며, 두 체계가 서로 완전하게 변환 가능함을 확인한다.

이러한 결과는 데이터베이스 이론에 범주론을 도입함으로써, 스키마 매핑과 데이터 변환을 보다 구조적으로 다룰 수 있음을 시사한다. 특히, 그래프 기반 스키마를 직접 범주로 취급함으로써 경로 방정식(path equations)과 같은 제약을 자연스럽게 포함시키고, 복합 변환 파이프라인을 수학적으로 정확히 기술할 수 있다. 실용적인 측면에서는 기존 관계형 시스템에 범주론적 마이그레이션 로직을 레이어링함으로써, 데이터 통합·이관 작업을 보다 안전하고 자동화된 방식으로 수행할 수 있는 토대를 제공한다.