모두 필요해 CONSTRUCT

초록

이 논문은 SPARQL의 SELECT와 CONSTRUCT 형태를 통합적으로 다루는 새로운 그래프 쿼리 언어 GrAL을 제안한다. RDF 그래프를 확장해 변수와 블랭크를 독립적인 항목으로 포함시키고, 모든 쿼리를 CONSTRUCT 형태로 인코딩함으로써 중첩 쿼리의 의미론을 일관되게 정의한다.

상세 분석

본 논문은 기존 SPARQL이 SELECT와 CONSTRUCT의 결과 형식 차이(멀티셋 매핑 vs. RDF 그래프) 때문에 중첩 쿼리 작성이 복잡해지는 문제를 지적한다. 이를 해결하기 위해 저자들은 RDF 그래프의 정의를 일반화하여 “격리된 항목”(variables, blanks)을 그래프의 노드로 허용한다. 이 확장은 그래프 동형사상(morphism)을 매핑의 근본적인 의미로 재해석하게 하며, 매핑을 단순한 변수 바인딩이 아닌 그래프 간의 구조적 사상으로 본다.

핵심은 두 형태의 쿼리를 동일한 의미론적 프레임워크 안에 끌어들이는 것이다. 논문은 먼저 그래프 위에 정의된 기본 연산(합집합, 교집합, 사상 합성 등)을 정형화하고, 이를 바탕으로 매핑 집합에 대한 조인, 필터, 제한, 확장, 합집합, 투사 연산을 정의한다. 특히 “Extend ⊥”, “Extend IB”, “Extend var≈expr”와 같은 확장 연산은 매핑을 새로운 그래프 구조에 맞게 자동으로 보강해 주어, SELECT와 CONSTRUCT가 동일한 연산 흐름을 공유하도록 만든다.

그 다음 제안된 언어 GrAL의 구문을 소개한다. GrAL은 패턴 기반이며, 패턴 자체가 쿼리 그래프이다. 표현식은 기본 연산 외에 EXISTS/NOT EXISTS와 같은 서브패턴 존재 검사를 포함한다. 의미론적으로는 패턴을 데이터 그래프에 적용하면 매핑 집합이 산출되고, 이 매핑 집합을 SELECT, SELECT‑DISTINCT, CONSTRUCT 형태에 따라 각각 멀티셋, 집합, 혹은 RDF 그래프로 변환한다. 특히 CONSTRUCT 쿼리는 매핑 집합을 그대로 그래프 이미지로 변환함으로써 SELECT 쿼리를 CONSTRUCT 형태로 인코딩할 수 있음을 증명한다.

논문은 또한 FROM 절 없이 순수 패턴만으로 복합 쿼리를 구성할 수 있음을 예시(공동 저자 이메일 검색)로 보여준다. 이 예시는 중첩 CONSTRUCT와 SELECT가 혼합된 구조를 단일 GrAL 패턴으로 표현하고, 동일한 의미론적 규칙에 따라 평가되는 과정을 상세히 기술한다.

기술적 기여는 크게 세 가지이다. 첫째, RDF 그래프에 변수·블랭크를 포함하는 확장 모델을 제시함으로써 매핑을 그래프 사상으로 통합했다. 둘째, 매핑 집합에 대한 연산을 체계화해 SELECT와 CONSTRUCT를 동일한 연산 체계 안에서 다룰 수 있게 했다. 셋째, 이러한 기반 위에 GrAL이라는 새로운 쿼리 언어를 정의하고, 실제 중첩 쿼리 사례를 통해 실용성을 입증했다. 이러한 접근은 복합적인 그래프 질의와 중첩 구조를 보다 직관적이고 형식적으로 일관된 방식으로 다룰 수 있게 하며, 향후 SPARQL 확장이나 그래프 데이터베이스 엔진 설계에 중요한 이론적 토대를 제공한다.