[논문 리뷰] G-CORE: A Core for Future Graph Query Languages

Renzo Angles, Marcelo Arenas외 10명|arXiv (Cornell University)|2017. 12. 05.

Advanced Database Systems and Queries참고 문헌 4인용 수 25

한 줄 요약

G-CORE는 그래프 데이터 관리 분야에서 산업계와 학계의 요구를 통합하기 위해 설계된 구성 가능하고 경로 중심의 그래프 쿼리 언어입니다. 전체 그래프 출력과 네이티브 경로 조작을 가능하게 하며, 성질 그래프와 경로 패턴을 기반으로 한 형식적 대수적 기반을 통해 표현력과 평가 복잡도의 균형을 이루고 있습니다.

ABSTRACT

We report on a community effort between industry and academia to shape the future of graph query languages. We argue that existing graph database management systems should consider supporting a query language with two key characteristics. First, it should be composable, meaning, that graphs are the input and the output of queries. Second, the graph query language should treat paths as first-class citizens. Our result is G-CORE, a powerful graph query language design that fulfills these goals, and strikes a careful balance between path query expressivity and evaluation complexity.

연구 동기 및 목표

• 기존 그래프 쿼리 언어에서 흔히 발생하는 구성 가능성의 부족을 해결하며, 일반적으로 테이블을 반환하는 것에서 벗어나 그래프를 반환하도록 설계합니다.
• 경로를 일급 시민으로 도입하여 그래프 패턴 매칭, 도달 가능성, 경로 분석의 표현력을 향상시킵니다.
• 실제 구현에 적합한 평가 복잡도를 유지하면서도 높은 표현력을 갖춘 핵심 언어를 설계합니다.
• 다양한 시스템과 사용 사례에 걸쳐 그래프 쿼리 언어의 향후 표준화를 위한 기반을 마련합니다.
• 그래프 출력을 재사용 가능한 입력으로 활용할 수 있도록 함으로써 상호 운용성과 모듈성을 보장합니다.

제안 방법

• 성질 그래프(PPG)를 기반으로 한 형식적 대수적 언어로 G-CORE를 정의하며, 노드, 엣지, 경로, 레이블된 속성을 지원합니다.
• 기본 그래프 쿼리를 구성하기 위해 CONSTRUCT 및 MATCH 절을 도입하며, CONSTRUCT는 출력 그래프의 구조를 정의하고 MATCH는 패턴을 바인딩합니다.
• 합집합, 교집합, 차집합과 같은 집합 연산자를 통해 전체 그래프 쿼리를 지원하며, 그래프 간 일관된 의미론을 확보합니다.
• GRAPH 및 GRAPH VIEW 절을 사용해 그래프 뷰를 정의함으로써 쿼리 내에서 재사용 가능한 이름이 부여된 부분 그래프를 생성합니다.
• 경로 패턴에 정규 표현식을 적용하여 경로 의미론을 형식화하고, 이름이 부여된 경로(~pname 등)를 일급 참조로 사용합니다.
• 그래프 조작의 일관성을 확보하기 위해 그래프를 조합하기 전에 구조적 호환성과 레이블 호환성을 요구합니다(예: 합집합, 교집합 등).

실험 결과

연구 질문

• RQ1 그래프 출력이 일급이며 후속 쿼리의 입력으로 재사용 가능한 그래프 쿼리 언어는 어떻게 설계할 수 있을까요?
• RQ2 경로를 일급 시민으로 간주하면서도 효율적인 평가를 유지하기 위해 필요한 형식적 의미론은 무엇일까요?
• RQ3 복잡한 그래프 연산을 위한 높은 표현력을 유지하면서도 평가 복잡도를 다룰 수 있는 핵심 언어는 어떻게 설계할 수 있을까요?
• RQ4 다양한 그래프 데이터베이스 시스템 간에 모듈성, 재사용성, 상호 운용성을 보장하기 위한 메커니즘은 무엇일까요?
• RQ5 경로 패턴을 쿼리 대수에 어떻게 형식적으로 통합할 수 있을까요? 이를 통해 도달 가능성 및 최단 경로 분석과 같은 고급 분석을 지원할 수 있을까요?

주요 결과

• G-CORE는 쿼리가 전체 그래프를 반환함으로써 모듈성과 재사용성을 갖춘 데이터 파이프라인을 가능하게 하며, 구성 가능한 그래프 쿼리 언어를 체계적으로 정의했습니다.
• 이 언어는 경로를 일급 엔티티로 네이티브로 처리하여 경로를 이름 지정하고, 필터링하고, 주석을 달고, 후속 연산에 활용할 수 있도록 했습니다.
• 정규 표현식 의미론을 적용한 경로 패턴의 사용은 강력한 경로 기반 쿼리를 유지하면서도 형식적 일관성과 정확성을 보존합니다.
• 합집합, 교집합, 차집합과 같은 집합 연산자는 엄격한 일관성 검사를 통해 안전하고 예측 가능한 그래프 조합을 보장합니다.
• G-CORE의 형식적 의미론은 그래프 뷰와 쿼리 로컬 뷰(GRAPH 및 GRAPH VIEW를 통해)가 의미적으로 잘 정의되어 있으며, 조합 가능하다는 점을 보장합니다.
• G-CORE는 향후 그래프 쿼리 언어의 표준화를 위한 체계적인 기반을 제공하며, 기존 및 신규 시스템 모두에 영향을 줄 잠재력을 지닙니다.