다중관계 그래프를 위한 경로 대수

초록

본 논문은 정점 집합 위에 두 개 이상의 관계가 동시에 존재하는 다중관계 그래프를 효율적으로 탐색하기 위한 수학적 프레임워크를 제시한다. n-ary 관계 대수, 단일관계 경로 대수, 그리고 텐서 기반 다중관계 대수를 결합해 모노이드, 오토마타, 형식 언어 이론에 기반한 연산자를 정의하고, 이를 활용한 탐색 엔진 설계 원리를 설명한다.

상세 분석

이 논문은 기존의 단일관계 그래프 탐색 기법이 다중관계 상황에 적용되기 어려운 점을 지적하고, 이를 해결하기 위한 새로운 대수적 구조를 제안한다. 핵심 아이디어는 세 가지 수학적 도구를 통합하는 것이다. 첫 번째는 n-ary 관계 대수로, 관계를 고차원 텐서 형태로 모델링해 각 관계의 차원을 명시적으로 구분한다. 이를 통해 두 개 이상의 관계가 동시에 작용하는 경로를 하나의 연산식으로 표현할 수 있다. 두 번째는 기존의 concatenative path algebra을 차용해 경로 연산을 문자열 결합과 유사한 방식으로 정의한다. 이때 연산자는 결합법칙을 만족하는 모노이드를 형성하며, 경로의 순서와 방향성을 자연스럽게 보존한다. 세 번째는 텐서 기반 연산으로, 관계 텐서를 행렬 곱이나 텐서 곱으로 결합함으로써 다중관계 경로의 복합성을 계산한다. 특히 텐서 곱은 관계 간의 동시성(동시 발생)과 순차성(선행 관계)을 동시에 기술할 수 있어, 복잡한 쿼리 표현에 강력한 확장성을 제공한다.

논문은 이 세 가지 요소를 통합한 “다중관계 경로 대수”(Multi‑Relational Path Algebra, MRPA)를 정의하고, 그 연산자 집합이 모노이드 구조를 이루는 것을 증명한다. 모노이드의 항등원은 빈 경로 ε이며, 연산자는 결합법칙을 만족한다는 점에서 기존의 경로 대수와 일관성을 유지한다. 또한 MRPA를 오토마타 이론에 매핑함으로써, 각 관계를 알파벳으로, 경로 연산을 전이 함수로 해석한다. 이렇게 구성된 다중관계 오토마타는 정규 언어와 컨텍스트 자유 언어의 표현력을 모두 포함하며, 복합적인 관계 패턴을 형식 언어로 기술할 수 있게 된다.

실제 구현 측면에서는 텐서 연산을 효율적으로 수행하기 위한 희소 텐서 구조와 병렬 처리 전략을 제시한다. 관계가 희소한 현실 세계 그래프에서는 텐서의 비제로 원소만을 저장하고, GPU 기반의 텐서 곱 연산을 활용해 대규모 그래프에서도 실시간 탐색이 가능하도록 설계하였다. 또한, 경로 연산자를 조합해 다양한 쿼리 유형—예를 들어 “A와 B 사이에 관계 R1이 존재하고, 그 뒤에 관계 R2가 이어지는 경로” 혹은 “관계 R1과 R2가 동시에 만족되는 정점 집합”—을 표현할 수 있음을 시연한다.

이러한 이론적·실용적 기여는 다중관계 그래프 데이터베이스, 지식 그래프, 소셜 네트워크 분석 등에서 복합 관계 탐색을 필요로 하는 응용 분야에 직접적인 영향을 미친다. 특히, 관계 간의 복합 논리를 명시적으로 모델링하고, 형식 언어와 오토마타 이론을 통해 검증 가능한 쿼리 최적화를 수행할 수 있다는 점은 기존 시스템 대비 큰 장점으로 작용한다.