클레이슬리 데이터베이스 인스턴스와 모나드 활용

초록

이 논문은 데이터베이스 스키마에 모나드를 적용해 필드에 리스트·집합·예외 등 일반적인 원자값을 넘어서는 값을 허용한다. 반환(return) 연산은 기존 인스턴스를 새로운 형태로 포함시키고, 바인드(bind) 연산은 외래키 경로를 따라 조인할 때 일반화된 값이 일관되게 동작하도록 보장한다. 다양한 모나드를 선택함으로써 마르코프 체인, 그래프, 유한 상태 자동기 등 서로 다른 구조를 동일 스키마 위에 자연스럽게 모델링할 수 있음을 보여준다.

상세 분석

논문은 데이터베이스 이론과 범주론을 연결하는 새로운 프레임워크를 제시한다. 전통적인 관계형 데이터베이스는 각 속성이 원자값을 가져야 한다는 ‘원자성’ 가정을 전제로 한다. 저자들은 이 가정을 모나드라는 범주론적 구조를 통해 완화한다. 구체적으로, 스키마를 작은 카테고리 C 로 보고, 데이터베이스 인스턴스를 C 의 함자(Set)‑함자(Set) 사이의 함자(Functor)로 정의한다. 여기서 모나드 T : Set → Set 를 도입하면, 기존의 Set‑함자 대신 T‑함자를 사용해 각 속성에 T‑값, 즉 리스트, 멀티셋, 옵션, 예외 등 다양한 형태의 데이터를 할당할 수 있다.

핵심 연산은 모나드의 unit (η)와 multiplication (μ), 혹은 프로그래밍 관점에서의 return 과 bind이다. η는 일반 원자값을 T‑값으로 끌어올려 기존 인스턴스를 새로운 형태에 포함시킨다. bind (≫=) 은 외래키 경로를 따라 조인할 때 T‑값을 전파하고 결합하는 역할을 한다. 예를 들어, 두 테이블 A와 B가 외래키 f : A → B 로 연결될 때, A 의 레코드가 리스트 형태의 값들을 가지고 있으면, bind 를 통해 B 로 전달된 리스트가 다시 리스트로 결합되어 결과가 일관된다. 이는 전통적인 조인 연산이 단일값에만 정의된 것과 달리, 다중값을 자연스럽게 처리한다는 점에서 큰 의미가 있다.

다양한 모나드의 선택이 데이터 모델링에 미치는 영향을 구체적으로 탐구한다. 리스트 모나드 (List) 를 쓰면 한 속성이 순서가 있는 다중값을 저장할 수 있어, 트리 구조나 경로 탐색을 직접 모델링한다. 멀티셋 모나드 (Multiset) 는 중복을 허용하는 집합을 제공해, 그래프의 다중 간선이나 카운팅 메커니즘을 표현한다. 옵션 모나드 (Maybe) 혹은 예외 모나드 (Either) 는 널값이나 오류 상태를 정형화된 형태로 다룰 수 있게 해, 데이터 정합성 검증을 스키마 수준에서 강화한다.

특히 저자들은 동일한 스키마 위에 세 가지 전형적인 컴퓨터 과학 구조를 구현한다. 첫째, 마르코프 체인은 확률 분포를 담는 확률 모나드 (Distribution) 로 표현된다. 각 상태에 대한 전이 확률을 리스트가 아닌 확률 분포로 저장하고, bind 를 통해 연속 전이를 계산한다. 둘째, 유향 그래프는 멀티셋 모나드와 결합해 인접 리스트 형태로 저장되며, 경로 탐색은 bind 를 반복 적용함으로써 구현된다. 셋째, 유한 상태 자동기는 상태와 입력 심볼을 옵션 모나드와 결합해, 정의되지 않은 전이를 명시적 예외로 처리한다. 이러한 사례는 모나드가 데이터베이스 스키마에 추가적인 의미론적 층을 제공함을 설득력 있게 보여준다.

이론적 측면에서는 Kleisli 카테고리를 이용해 T‑함자 사이의 사상들을 구성한다. 즉, 데이터베이스 인스턴스는 C → Kleisli(T) 로 보는 것이 자연스럽다. 이때 Kleisli(T) 의 객체는 Set, 사상은 T‑값을 반환하는 함수이며, 컴포지션은 bind 로 정의된다. 따라서 기존의 데이터베이스 사상(동형사상, 동형사상 보존 등)과 동일한 범주론적 성질을 유지하면서도, 값의 복합성을 확장한다.

마지막으로, 구현 가능성에 대한 논의도 포함한다. 모나드 변환을 이용해 기존 SQL 엔진 위에 레이어를 추가하거나, 함수형 언어 기반의 새로운 DBMS 를 설계할 때 이 프레임워크를 직접 적용할 수 있다. 특히, 데이터 흐름을 함수형 파이프라인으로 모델링하면, bind 연산이 자동으로 최적화된 조인 연산으로 매핑될 가능성이 있다. 이는 데이터베이스 시스템이 보다 선언적이고 모듈화된 형태로 진화할 수 있는 길을 제시한다.