관계형 데이터베이스 의미론: 구분형과 통합형 접근

초록

이 논문은 관계형 데이터베이스를 시스템 결과론(System Consequence)과 연결하기 위한 첫 단계로, 데이터베이스의 의미론을 구분형(엔터티와 관계를 구분)과 통합형(엔터티와 관계를 동일시) 두 형태로 정형화한다. Spivak의 Functorial Data Migration 이론을 확장하고, IFF와 온톨로지 표준화 작업과의 연계를 모색한다.

상세 분석

본 논문은 관계형 데이터베이스를 단순히 저장·조회 메커니즘으로 보는 전통적 관점을 넘어, ‘시스템 결과(System Consequence)’라는 메타논리적 틀 안에서 의미론적 구조를 재해석한다. Kent(2009)의 시스템 결과 개념은 여러 논리 체계가 상호작용할 때 발생하는 전이와 보존 규칙을 포괄한다. 저자는 이를 관계형 데이터베이스에 적용함으로써, 스키마와 인스턴스 사이, 그리고 스키마 간의 변환이 어떻게 논리적 보존성을 유지하는지를 탐구한다.

핵심은 ‘주키(primary key)’와 ‘외래키(foreign key)’라는 전통적 제약을 두 가지 의미론적 형태로 모델링한다는 점이다. 구분형(distinguished form)에서는 엔터티 집합과 관계 집합을 서로 다른 카테고리 객체로 두어, 엔터티는 고유 식별자를 갖는 객체, 관계는 엔터티 간의 연결을 나타내는 사상으로 표현한다. 이때 외래키는 관계 사상의 도메인과 코도메인 사이의 펑터적 매핑으로 해석되며, 스키마 간 사상은 펑터와 내적함수의 조합으로 기술된다.

반면 통합형(unified form)에서는 엔터티와 관계를 동일한 카테고리 객체로 취급한다. 즉, 모든 테이블을 ‘관계’라는 하나의 유형으로 보고, 주키와 외래키는 그 관계 내부의 속성으로서 동등하게 다루어진다. 이는 Spivak(2012)의 Functorial Data Migration에서 제시된 ‘스키마를 작은 카테고리, 인스턴스를 그 카테고리 위의 프레젠테이션(프리시브)으로 보는’ 접근과 일치한다. 통합형은 구분형의 특수 경우로, 카테고리 이론적 관점에서 보았을 때 보다 간결한 구조를 제공한다.

또한 논문은 IFF(Information Flow Framework)와의 연계를 강조한다. IFF는 온톨로지 표준화를 목표로 하는 SUO(Standards for Ontology) 프로젝트의 핵심 메타프레임워크이며, 관계형 데이터베이스를 1차 논리(first‑order logic)로 자연스럽게 임베딩할 수 있음을 이용한다. 저자는 데이터베이스 스키마를 IFF의 ‘클래스(class)’와 ‘속성(property)’에 대응시키고, 데이터 인스턴스를 ‘개체(instance)’로 매핑함으로써, 시스템 결과가 온톨로지 간의 의미 흐름을 어떻게 보존하는지를 설명한다.

기술적 기여는 다음과 같다. 첫째, 관계형 데이터베이스의 스키마와 인스턴스를 카테고리 이론적 객체·사상으로 정형화함으로써, 펑터와 자연 변환(natural transformation)을 통한 스키마 변환과 데이터 마이그레이션을 이론적으로 정당화한다. 둘째, 구분형과 통합형 두 모델을 명시적으로 구분함으로써, 기존의 관계형 데이터베이스 설계 원칙(정규화, 키 제약)과 최신의 펑터형 데이터 마이그레이션 이론 사이의 교량 역할을 수행한다. 셋째, 시스템 결과론을 데이터베이스 의미론에 적용함으로써, 다중 데이터베이스 환경에서 발생하는 의미적 불일치와 통합 문제를 메타논리적 관점에서 해결할 가능성을 제시한다.

마지막으로, 논문은 향후 연구 로드맵을 제시한다. 관계 대수와 1차 논리 사이의 형식적 대응을 명시하고, 시스템 결과가 실제 데이터 통합 파이프라인(ETL, 데이터 웨어하우스)에서 어떻게 구현될 수 있는지를 실증적으로 검증할 계획이다. 이는 현재 이론적 단계에 머물던 펑터형 데이터 마이그레이션을 실무에 적용하는 중요한 초석이 될 것이다.