개념 그래프 데이터베이스를 위한 효율적 탐색 알고리즘

초록

본 논문은 개념 그래프 집합으로 구성된 데이터베이스에서 그래프 동형사상에 기반한 의미 검색을 수행한다. 동형사상 검사는 NP‑Complete이므로, 검색 과정에서 필요한 동형사상 검사 횟수를 최소화하는 것이 핵심이다. 이를 위해 부분 순서 집합(poset)에서 원소를 찾는 문제를 분석하고, 격자(lattice) 하위 클래스에 대해 새로운 탐색 알고리즘을 제안한다. 또한 일반 poset에 적용 가능한 병렬 탐색 알고리즘을 설계하여 최악 상황에서도 쿼리 수를 크게 줄이는 방안을 제시한다.

상세 분석

논문은 먼저 개념 그래프(Conceptual Graph, CG)의 형식적 정의와 그래프 동형사상(homomorphism)이 부분 순서(partial order)를 형성한다는 사실을 강조한다. 동형사상 검사는 두 CG 사이에 구조적 보존을 확인하는 과정으로, 일반적인 그래프 동형 문제와 달리 방향성과 라벨을 고려하기 때문에 NP‑Complete에 속한다. 따라서 데이터베이스 규모가 커질수록 전통적인 선형 검색이나 전수 검사는 실용적이지 않다.

이러한 배경에서 저자들은 CG 데이터베이스를 부분 순서 집합(POS)으로 모델링한다. POS에서의 탐색은 목표 원소를 찾기 위해 비교 연산(동형사상 검사)을 수행하는 일련의 질의(query) 과정으로 볼 수 있다. 여기서 핵심 목표는 최악 경우(worst‑case) 필요한 질의 수를 최소화하는 알고리즘을 설계하는 것이다.

논문은 먼저 기존의 POS 탐색 기법—예를 들어 이진 탐색 트리, 분할 정복 기반의 탐색, 그리고 상향식/하향식 탐색 전략—을 검토하고, 이들 방법이 일반 격자 구조에서는 효율성을 보장하지 못함을 지적한다. 특히 격자에서는 여러 경로가 동시에 존재하므로, 단순히 한 방향으로만 진행하는 탐색은 중복 검사를 초래한다.

이를 해결하기 위해 저자들은 “하위 격자 전용 탐색 알고리즘”을 제안한다. 알고리즘은 다음과 같은 핵심 아이디어를 포함한다.

전처리 단계: 전체 CG 집합을 토폴로지 상에서 최소 원소와 최대 원소를 기준으로 두 개의 사전 인덱스를 구축한다. 각 원소는 자신의 상위/하위 커버(relations)를 리스트 형태로 저장한다.
중간 레벨 선택: 탐색 시작 시, 전체 원소 수 N에 대해 로그₂N에 가까운 레벨을 중간값으로 선택한다. 이 레벨에 속한 원소들은 비교 연산을 최소화하면서 전체 집합을 균등하게 분할한다.
이분 탐색 확장: 선택된 중간 레벨 원소와 목표 원소 사이에 동형사상 검사를 수행한다. 검사 결과가 “하위”이면 하위 서브격자로, “상위”이면 상위 서브격자로 탐색 범위를 좁힌다.
동시 다중 경로 탐색: 격자 특성상 하나의 원소가 여러 상위·하위 원소를 가질 수 있으므로, 알고리즘은 현재 후보 집합을 벡터 형태로 유지하고, 각 단계에서 후보 집합을 교차·합집합 연산으로 갱신한다. 이를 통해 불필요한 중복 검사를 방지한다.

이 알고리즘은 최악 경우에도 O(log N) 수준의 동형사상 검사 횟수를 보장한다. 특히 격자 구조가 균등하게 분포된 경우, 평균 검사 횟수는 로그 기반 탐색과 거의 동일하게 유지된다.

일반 POS에 대해서는 병렬 탐색 알고리즘을 제시한다. 이 알고리즘은 POS를 여러 층으로 분할하고, 각 층을 독립적인 작업 단위로 할당한다. 각 작업자는 자신의 할당 영역에서 동형사상 검사를 수행하고, 결과를 중앙 조정자에게 보고한다. 중앙 조정자는 보고된 결과를 기반으로 탐색 방향을 재조정하고, 필요 시 작업자를 재배치한다. 병렬화는 특히 대규모 CG 데이터베이스(수십만~수백만 개)에서 탐색 시간을 선형적으로 감소시킬 수 있다.

복잡도 분석에서는 전처리 비용 O(N log N)과 메모리 사용량 O(N) 를 제시하고, 탐색 단계에서의 동형사상 검사 횟수는 격자 전용 알고리즘이 O(log N), 병렬 알고리즘이 O(log N / P) (P는 프로세서 수) 로 평가된다. 또한, 동형사상 검사의 실제 실행 시간은 그래프 크기와 라벨 수에 비례하므로, 전체 시스템 성능은 전처리와 병렬화 전략에 크게 의존한다.

결론적으로, 논문은 CG 데이터베이스에서 동형사상 검사의 비용을 구조적 특성을 활용해 크게 절감할 수 있음을 증명한다. 제안된 알고리즘은 이론적 최적성뿐 아니라 실무 적용 가능성도 높으며, 향후 CG 기반 지식베이스와 시맨틱 웹 응용에 중요한 기반 기술이 될 것으로 기대된다.