[논문 리뷰] A Researcher’s Digest of GQL (Invited Talk)

Francis, Nadime, Gheerbrant, Amélie외 8명|arXiv (Cornell University)|2022. 11. 20.

Semantic Web and Ontologies인용 수 2

한 줄 요약

이 논문은 다중 상속, PG-Keys를 통한 표현력 있는 제약 조건, 고급 기수 제약 조건을 지원하는 형식적이고 확장 가능한 속성 그래프 스키마 언어인 PG-Schema를 제안한다. 이는 묘사적이고 기술적 스키마 모델링을 통합하여 향후 GQL 표준화의 기반을 제공하며, 현재의 그래프 데이터베이스 시스템에서의 핵심적 격차를 메운다.

ABSTRACT

GQL (Graph Query Language) is being developed as a new ISO standard for graph query languages to play the same role for graph databases as SQL plays for relational. In parallel, an extension of SQL for querying property graphs, SQL/PGQ, is added to the SQL standard; it shares the graph pattern matching functionality with GQL. Both standards (not yet published) are hard-to-understand specifications of hundreds of pages. The goal of this paper is to present a digest of the language that is easy for the research community to understand, and thus to initiate research on these future standards for querying graphs. The paper concentrates on pattern matching features shared by GQL and SQL/PGQ, as well as querying facilities of GQL.

연구 동기 및 목표

• 기존 속성 그래프 데이터베이스에서의 종합적 스키마 지원 부족을 해결하기 위해.
• 묘사적 및 기술적 스키마 역할을 모두 지원하는 통합적이고 형식적인 스키마 언어를 제공하기 위해.
• 다중 상속, 타입 조합, 복잡한 무결성 제약 조건과 같은 고급 모델링 기능을 지원하기 위해.
• 향후 GQL 표준의 두 번째 버전을 이끄는 구체적인 제안으로 기능하기 위해.
• 학계와 산업 간의 속성 그래프 스키마 모델링 표준화 격차를 메우기 위해.

제안 방법

• 명확한 아スキ아트 문법과 잘 정의된 의미론을 갖춘 형식적 스키마 언어인 PG-Schema를 제안한다.
• 다중 상속과 타입 조합을 포함한 탄력적인 타입 정의를 위한 PG-Types를 도입한다.
• 부정이 없는 형태로 키 제약 조건, 참가 제약 조건, 거부 제약 조건을 표현하기 위해 PG-Keys 형식론을 활용한다.
• COUNT lower..upper OF 문법을 사용하여 기수 제약 조건을 확장함으로써 범위 기반의 참가 검사가 가능하게 한다.
• 속성 타입과 콘텐츠 타입 모두에 대해 합집합(|)과 교집합(&)과 같은 타입 조합자(Combinators)를 지원한다.
• 기본형 제약 조건(예: COUNT 0 OF)과 배열 및 범위 애너테이션을 사용한 복잡한 콘텐츠 구조를 지원하는 고급 제약 조건을 가능하게 한다.

실험 결과

연구 질문

• RQ1 어떻게 속성 그래프를 위한 스키마 언어가 묘사적 및 기술적 스키마 역할을 효과적으로 지원할 수 있는가?
• RQ2 속성 그래프에서 복잡한 타입 계층과 무결성 제약 조건을 모델링하기 위해 필요한 형식적 기능은 무엇인가?
• RQ3 다양한 그래프 데이터베이스 시스템 간에 스키마 정의를 어떻게 확장 가능하고 상호 운용 가능하게 만들 수 있는가?
• RQ4 형식적 스키마 언어가 GQL 표준화를 이끄는 데 어떤 역할을 할 수 있는가?
• RQ5 스키마 언어는 어떻게 애자일 데이터 모델링과 진화하는 데이터 구조를 지원하기 위해 발전시켜야 하는가?

주요 결과

• PG-Schema는 다중 상속과 복잡한 타입 조합을 지원하는 최초의 통합적이고 형식적인 속성 그래프 스키마 언어이다.
• PG-Keys를 통해 기수 범위, 상호 배타성, 부정이 없는 거부 제약 조건 등 표현력 있는 제약 조건을 구현할 수 있다.
• 기수 제약 조건은 COUNT lower..upper OF 문법을 통해 공식적으로 표현되어 관계와 참가의 정밀한 제어가 가능하다.
• 속성 타입과 콘텐츠 타입 모두에 대해 합집합과 교집합과 같은 고급 타입 조합자를 지원한다.
• PG-Schema는 향후 범위 제약 조건과 복잡한 데이터 유형과 같은 향상 기능을 지원하기 위해 확장 가능하도록 설계되어 있다.
• 이 작업은 현재 시스템에서의 핵심적 격차를 메우며, 향후 GQL 표준 두 번째 버전을 위한 구체적 기반을 제공한다.