RPQ 의미 설계와 비교: 그래프 데이터베이스를 위한 새로운 기준

초록

본 논문은 그래프 데이터베이스에서 정규 경로 질의(RPQ)의 결과를 유한한 워크 집합으로 제한하는 다양한 의미 체계를 체계적으로 분류·비교한다. 필터 기반·전역 최소화 기반 의미를 정의하고, 단조성·연속성·합성·커버리지 등 10여 가지 속성을 정형화한다. 속성 간 상호 배타성 및 구현 불가능성을 정리하고, 기존 의미(트레일, 최단, 무사이클 등)와 새로운 의미(예: ShV, ShC 등)를 제시한다. 이를 통해 향후 그래프 쿼리 언어 설계 시 선택 가능한 설계 공간을 명확히 제시한다.

상세 분석

논문은 먼저 RPQ 의미를 “데이터베이스 D와 정규식 R에 대해 매칭 워크 집합 Matches(D,R) 중에서 유한한 부분집합을 반환하는 함수”로 정의한다. 이 정의는 전통적인 동형 의미와 달리 실제 워크 자체를 반환해야 하는 실무 요구를 반영한다. 의미를 크게 두 종류로 나눈다. 첫 번째는 필터 기반(filter‑based) 의미로, 각 워크를 독립적으로 검사해 포함 여부를 결정한다. 트레일 의미(T r)와 무사이클 의미(A c)가 대표적이며, f_S : Walks → {⊤,⊥} 형태의 판별 함수를 통해 구현된다. 두 번째는 전역 최소화 기반(global‑minimization) 의미로, 워크들 사이에 부분 순서를 정의하고 최소 원소들을 선택한다. 최단 의미(Sh)와 최단‑트레일 의미(ShT)가 이에 해당한다. 이 두 범주는 서로 겹치지 않으며, 전자는 순수히 구조적 제약만을 고려하고, 후자는 전체 매칭 집합을 참조한다는 점에서 구현 복잡도가 다르다.

속성 정의 부분에서는 단조성(monotonicity), 연속성(continuity), 합성성(composability), 커버리지(coverage), 대칭성(symmetry), 정규 연산 폐쇄성(closed under rational operators) 등을 제시한다. 예를 들어, 단조성은 데이터베이스에 새로운 엣지가 추가될 때 기존 결과가 사라지지 않아야 함을 의미한다. 연속성은 데이터베이스가 점진적으로 확장될 때 결과가 제한된 워크 집합의 한계로 수렴해야 함을 뜻한다. 논문은 이러한 속성들 중 일부는 서로 배타적임을 증명한다. 특히, 단조성 + 전역 최소화 기반 의미는 동시에 만족할 수 없으며, 정규 연산 폐쇄성을 갖는 의미는 필터 기반 의미와 충돌한다는 불가능성 정리를 제시한다.

새로운 의미 제안에서는 ShV(Shortest‑Vertex‑distinct), ShC(Shortest‑Cycle‑free), ShV‑C(Shortest‑Vertex‑distinct‑with‑Coverage) 등 다양한 변형을 만든다. 이들 의미는 기존 의미가 갖는 단점(예: 트레일 의미는 최단 경로를 놓칠 수 있음, 최단 의미는 무한 결과를 초래할 위험) 을 보완하면서도 특정 속성을 유지하도록 설계되었다. 실험적 복잡도 분석에서는 트레일 의미와 최단 의미가 각각 NP‑hard·PSPACE‑complete와 PTIME에 속함을 재확인하고, 새로 제안된 의미들의 평가 복잡도도 기존 의미와 비슷하거나 약간 높은 수준임을 보여준다.

마지막으로 논문은 GQL과 같은 차세대 표준 언어가 의미 선택을 사용자에게 위임하는 방식을 정당화한다. 설계자는 속성 매트릭스를 참고해 요구되는 응답 형태(예: 가장 짧은 경로, 중복 없는 경로, 전체 커버리지 등)에 맞는 의미를 선택할 수 있다. 이는 단순히 효율성에만 초점을 맞춘 기존 연구와 달리, 사용자 경험·시각화·보안·정확성 등 다양한 실무 요구를 포괄적으로 고려한 접근이다.