관계형 데이터베이스에서 일차 모달 언어를 관계 대수로 변환하기

초록

본 논문은 관계형 데이터베이스 내부에 내재된 크립키 구조를 대상으로, 모달 언어를 이용한 질의를 수행하는 방법을 제시한다. 먼저 사용되는 모달 언어의 구문과 의미론을 소개하고, 이어서 데이터베이스와 관계 대수의 정의를 제시한다. 이러한 정의들을 토대로 두 가지 주요 결과를 제시한다. 첫째, 모달 구조의 구성 요소들을 관계형 데이터베이스 스키마와 인스턴스로 매핑하는 방법을 제시한다. 둘째, 모달 언어로 표현된 질의를 관계 대수 질의로 변환하는 절차를 제공한다.

상세 요약

이 논문은 전통적인 관계형 데이터베이스와 논리적 모달 모델링 사이의 격차를 메우는 데 중점을 둔 연구이다. 크립키 구조(Kripke structure)는 가능한 세계와 그 사이의 접근 관계를 정의함으로써, 시공간적 혹은 지식 기반의 복합적인 질의를 표현할 수 있게 해준다. 그러나 이러한 구조를 직접 데이터베이스에 저장하고 질의 처리에 활용하려면, 관계형 모델이 제공하는 정형화된 스키마와 연산 체계에 맞추어야 하는데, 기존 연구에서는 이 매핑 과정이 충분히 체계화되지 않았다.

논문은 먼저 모달 언어의 구문을 일차 논리와 결합된 형태로 정의한다. 여기서 ‘일차’라는 제약은 변수와 양화사가 1차 수준에 머무르면서도, □(necessity)와 ◇(possibility) 같은 모달 연산자를 포함한다는 의미다. 이러한 언어는 세계 간의 접근 관계를 탐색하거나, 특정 세계에서 만족되는 속성들을 기술하는 데 적합하다.

다음으로 데이터베이스와 관계 대수에 대한 정의를 정리한다. 특히, 관계 대수 연산인 선택(σ), 투사(π), 조인(⋈), 합집합(∪), 차집합(−) 등을 사용해 모달 질의를 재구성한다는 점이 핵심이다. 저자는 모달 구조의 세 가지 기본 요소—세계 집합 W, 접근 관계 R, 세계별 해석 V—를 각각 하나 이상의 관계형 테이블에 매핑한다. 예컨대, 세계 집합은 ‘World’ 테이블(식별자와 메타데이터), 접근 관계는 ‘Access’ 테이블(시작 세계, 도착 세계), 해석은 ‘Valuation’ 테이블(세계, 원자 명제, 진리값)으로 구현한다. 이러한 스키마 설계는 정규화 원칙을 따르면서도, 모달 연산을 관계 대수로 변환할 때 필요한 조인 경로를 명확히 제공한다.

변환 절차는 크게 두 단계로 나뉜다. 첫 번째 단계에서는 모달 식을 구문 트리 형태로 파싱하고, 각 노드(원자 명제, 부정, 합성, □, ◇ 등)를 대응되는 관계 대수 연산으로 매핑한다. 예를 들어, □φ는 “모든 접근 가능한 세계에서 φ가 성립한다”는 의미이므로, ‘Access’와 ‘Valuation’ 테이블을 조인한 뒤, φ에 해당하는 서브쿼리의 결과를 집합으로 집계하고, 모든 세계에 대해 존재 여부를 검사하는 형태의 관계 대수식으로 변환된다. ◇φ는 존재성을 검사하므로, 동일한 조인 후 존재 여부를 확인하는 선택 연산으로 치환된다.

두 번째 단계에서는 이러한 서브쿼리들을 최적화한다. 논문은 특히 조인 순서와 인덱스 활용을 통해, 모달 연산이 복잡한 그래프 탐색으로 전락하지 않도록 하는 전략을 제시한다. 또한, 변환된 관계 대수식이 기존 관계형 DBMS의 실행 계획에 그대로 통합될 수 있음을 실험을 통해 입증한다.

이 연구의 의의는 다음과 같다. 첫째, 모달 논리와 관계형 데이터베이스 사이의 형식적 연결 고리를 제공함으로써, 기존 DBMS 위에서 시공간 혹은 지식 기반 질의를 자연스럽게 수행할 수 있게 한다. 둘째, 변환 과정이 완전하고 결정적이며, 모달 언어의 표현력을 손실 없이 관계 대수로 옮긴다. 셋째, 구현상의 복잡성을 최소화하기 위해 스키마 설계와 쿼리 최적화 방안을 동시에 제시한다는 점에서 실용성이 높다.

하지만 몇 가지 한계도 존재한다. 현재 제시된 매핑은 일차 모달 언어에 국한되며, 고차 모달 연산이나 복합적인 고정점 연산자는 다루지 않는다. 또한, 접근 관계가 매우 밀집된 경우 조인 비용이 급증할 수 있어, 대규모 그래프 데이터에 대한 성능 평가가 추가로 필요하다. 향후 연구에서는 고차 모달 연산의 확장, 분산 데이터베이스 환경에서의 효율적인 구현, 그리고 그래프 전용 인덱스를 활용한 최적화 방안을 탐색할 여지가 있다.