[논문 리뷰] Querying for Paths in Graphs using Context-Free Path Queries

Jelle Hellings|arXiv (Cornell University)|2015. 02. 08.

Data Management and Algorithms참고 문헌 26인용 수 5

한 줄 요약

이 논문은 그래프 데이터베이스에서 문맥 자유 경로 쿼리에 대해 전경로 및 단일경로 쿼리 의미 체계를 도입하여, 단지 노드 쌍이 아닌 실제 경로의 검색을 가능하게 한다. 전경로를 표현하기 위한 주석이 달린 문맥 자유 문법을 사용하는 형식적 프레임워크를 제안하고, 최소 길이 경로를 찾는 데 사용되는 새로운 알고리즘을 제안하며, 대규모 그래프에서조차도 실현 가능함을 입증한다.

ABSTRACT

Navigational queries for graph-structured data, such as the regular path queries and the context-free path queries, are usually evaluated to a relation of node-pairs $(m, n)$ such that there is a path from $m$ to $n$ satisfying the conditions of the query. Although this relational query semantics has practical value, we believe that the relational query semantics can only provide limited insight in the structure of the graph data. To address the limits of the relational query semantics, we introduce the all-path query semantics and the single-path query semantics. Under these path-based query semantics, a query is evaluated to all paths satisfying the conditions of the query, or, respectively, to a single such path. While focusing on context-free path queries, we provide a formal framework for evaluating queries on graphs using both path-based query semantics. For the all-path query semantics, we show that the result of a query can be represented by a finite context-free grammar annotated with node-information relevant for deriving each path in the query result. For the single-path query semantics, we propose to search for a path of minimum length. We reduce the problem of finding such a path of minimum length to finding a string of minimum length in a context-free language, and for deriving such a string we propose a novel algorithm. Our initial results show that the path-based query semantics have added practical value and that query evaluation for both path-based query semantics is feasible, even when query results grow very large. For the single-path query semantics, determining strict worst-case upper bounds on the size of the query result remains the focus of future work.

연구 동기 및 목표

• 기존의 관계형 및 부울 쿼리 의미 체계가 경로 구조를 은폐하고 디버깅 및 통찰을 방해하는 한계를 해결하기 위해.
• 실제 경로를 반환하는 경로 기반 쿼리 의미 체계—특히 전경로 및 단일경로 의미 체계—를 제안하여, 단지 노드 쌍이나 진리값이 아닌 실제 경로를 반환하기 위해.
• 이러한 새로운 의미 체계 하에서 문맥 자유 경로 쿼리를 평가하기 위한 형식적 프레임워크를 제공하여, 그래프 데이터의 더 깊은 구조적 이해를 가능하게 하기 위해.
• 경로 기반 쿼리 평가의 실용적 실현 가능성을 입증하기 위해, 특히 결과가 크거나 복잡한 경우에도 적용 가능함을 보여주기 위해.

제안 방법

• 모든 경로 쿼리의 결과를 각 유일한 경로를 유도할 수 있도록 노드 정보가 주석 처리된 문맥 자유 문법으로 표현하기.
• 단일경로 의미 체계 하에서 최소 길이 경로를 찾는 문제를, 문맥 자유 언어 내에서 가장 짧은 문자열을 찾는 문제로 환원하기.
• 문맥 자유 언어 내에서 가장 짧은 문자열을 유도하는 데 사용되는 새로운 알고리즘을 제안하며, 이는 그래프 내 최단 경로에 해당한다.
• 하향식 파싱 기법을 사용하여 쿼리를 평가하며, 성능은 문법의 모호성에 민감하게 영향을 받는다.
• 합성 그래프, 특히 최대 4,750개의 노드와 1,100만 개의 경로를 가진 이중 순환 그래프에서 알고리즘을 구현하고 평가하기.
• 문법의 모호성이 성능에 미치는 영향을 분석하여, 동치인 언어일지라도 실행 시간에 큰 차이가 있음을 보여주기.

실험 결과

연구 질문

• RQ1 기존의 관계형 쿼리 의미 체계에 비해 경로 기반 쿼리 의미 체계가 그래프 구조에 대한 통찰을 향상시킬 수 있는가?
• RQ2 모든 실제 경로를 반환할 경우, 문맥 자유 경로 쿼리의 결과는 어떻게 표현하고 효율적으로 계산할 수 있는가?
• RQ3 특히 가장 짧은 경로를 포함한 단일 경로 쿼리 의미 체계 하에서 단일 경로를 계산하는 데 가장 효율적인 방법은 무엇인가?
• RQ4 문법의 모호성이 경로 기반 쿼리 평가의 성능에 어떤 영향을 미치는가?
• RQ5 비모호하거나 결정론적 문법을 대상으로 최적화하거나, 병렬/분산 아키텍처를 사용해 확장할 수 있는가?

주요 결과

• 모든 경로 쿼리 의미 체계는 각 파생 경로의 노드 정보를 포괄하는 주석이 달린 문맥 자유 문법을 통해 효과적으로 표현될 수 있다.
• 단일경로 쿼리 의미 체계는 문맥 자유 언어 내에서 가장 짧은 문자열을 찾는 문제로 환원되며, 이는 새로운 알고리즘을 통해 해결되며, 4,750개 노드의 그래프에서 가장 긴 경로에 대해 1.5초의 런타임을 기록한다.
• 4,750개 노드의 이중 순환 그래프에서, 1,100만 개의 경로를 포함한 쿼리를 4.3초 만에 평가하여 확장성의 가능성을 입증한다.
• 문법의 모호성에 따라 성능이 크게 달라지며, 동치인 문법일지라도 실행 시간에 큰 격차가 발생함을 보여주며, 쿼리 q₁과 q₂에서 이를 확인할 수 있다.
• 알고리즘은 대규모 그래프에서도 잘 확장되며, 결과 크기가 막대하더라도 쿼리 평가가 실용적으로 유지된다.
• 연구는 아직 해결되지 않은 문제를 규명하며, 단일경로 의미 체계에 대해 결과 크기의 최악의 경우 경계를 결정하고, 비모호한 문법을 대상으로 최적화하는 문제를 제기한다.