[논문 리뷰] On tractable query evaluation for SPARQL

Stefan Mengel, Sebastian Skritek|arXiv (Cornell University)|2017. 12. 24.

Semantic Web and Ontologies참고 문헌 2인용 수 4

한 줄 요약

이 논문은 매개변수화 복잡도를 활용하여 OPTIONAL 연산자를 포함한 SPARQL 쿼리의 처리 가능한 클래스를 종합적으로 특성화한다. 주로 잘 설계된(well-designed) 및 약하게 잘 설계된(weakly well-designed) 패턴 트리에 초점을 맞추며, 투영이 없는 경우에 FPT 알고리즘을 제공하고, 투영이 있는 단순 잘 설계된 쿼리에 대해 완전한 분류를 제시하여 쿼리 구조와 Gaifman 그래프 성질에 기반한 정확한 처리 가능성 조건을 설정한다.

ABSTRACT

Despite much work within the last decade on foundational properties of SPARQL - the standard query language for RDF data - rather little is known about the exact limits of tractability for this language. In particular, this is the case for SPARQL queries that contain the OPTIONAL-operator, even though it is one of the most intensively studied features of SPARQL. The aim of our work is to provide a more thorough picture of tractable classes of SPARQL queries. In general, SPARQL query evaluation is PSPACE-complete in combined complexity, and it remains PSPACE-hard already for queries containing only the OPTIONAL-operator. To amend this situation, research has focused on "well-designed SPARQL queries" and their recent generalization "weakly well-designed SPARQL queries". For these two fragments the evaluation problem is coNP-complete in the absence of projection and SigmaP2-complete otherwise. Moreover, they have been shown to contain most SPARQL queries asked in practical settings. In this paper, we study tractable classes of weakly well-designed queries in parameterized complexity considering the equivalent formulation as pattern trees. We give a complete characterization of the tractable classes in the case without projection. Moreover, we show a characterization of all tractable classes of simple well-designed pattern trees in the presence of projection.

연구 동기 및 목표

• 처리 가능한 SPARQL 쿼리 클래스에 대한 체계적인 이해 부족, 특히 OPTIONAL 연산자를 포함한 경우에 대한 문제를 해결하기 위해.
• 잘 설계된 파편을 초월한 SPARQL 쿼리의 처리 가능성의 정확한 한계를 메우기 위해.
• 쿼리 크기를 매개변수로 삼아, 매개변수화 복잡도를 활용한 세밀한 복잡도 분석을 수행하기 위해.
• 투영이 있는지 여부에 관계없이 약하게 잘 설계된 SPARQL 쿼리의 처리 가능한 클래스를 특성화하기 위해.
• 쿼리 구조, Gaifman 그래프, 처리 가능성 간의 연결 고리를 설정하기 위해, 특히 단순 잘 설계된 패턴 트리에 초점을 맞추어.

제안 방법

• 저자들은 SPARQL 쿼리를 패턴 트리(PTs)로 모델링하며, 잘 설계된(wdPTs) 및 약하게 잘 설계된(wwdPTs) 유형에 중점을 둔다.
• 매개변수화 복잡도를 활용하여 처리 가능성의 기준을 FPT 클래스에 속하는 것으로 정의하며, 이는 사전 처리가 쿼리 크기만에 의존한다는 것을 의미한다.
• 투영이 없는 쿼리의 경우, 패턴 트리의 구조적 성질에 기반한 처리 가능한 클래스의 완전한 특성화를 도출한다.
• 투영이 있는 쿼리의 경우, 단순 잘 설계된 패턴 트리의 하위집합 내에서 처리 가능한 클래스의 특성화를 제공한다.
• 양적 연결 쿼리에서의 감소와 [CD2012]의 핵심 이론 결과를 활용하여, 어려움과 처리 가능성 조건을 설정한다.
• 제안된 알고리즘 1은 관련 노드와 쿼리 구조, 특히 Gaifman 그래프를 분석함으로써 FPT 시간 내에 쿼리를 평가한다.

실험 결과

연구 질문

• RQ1 OPTIONAL을 포함한 SPARQL 쿼리의 어떤 구조적 성질이 매개변수화 복잡도에서 처리 가능한 평가를 이끌어내는가?
• RQ2 투영이 없는 쿼리와 투영이 포함된 쿼리 간의 처리 가능성의 한계는 어떻게 다를까?
• RQ3 투영이 있는 단순 잘 설계된 패턴 트리에 대해 처리 가능한 클래스의 완전한 특성화를 제공할 수 있는가?
• RQ4 Gaifman 그래프 성질이 얼마나 정확히 SPARQL 쿼리 평가의 처리 가능성에 영향을 미치는가?
• RQ5 투영이 있는 비단순 잘 설계된 패턴 트리로 처리 가능성 결과를 확장하는 데 있어 본질적인 장벽은 무엇인가?

주요 결과

• 투영이 없는 약하게 잘 설계된 패턴 트리의 평가 문제는 FPT에 속하며, 처리 가능한 클래스에 대한 완전한 특성화가 제시된다.
• 투영이 있는 단순 잘 설계된 패턴 트리의 경우, 쿼리의 구조적 제약 조건에 기반한 처리 가능한 클래스에 대한 완전한 특성화가 제공된다.
• 쿼리 평가의 처리 가능성은 Gaifman 그래프의 구조와 선택적 패턴들 사이의 변수 분포에 의해 결정된다.
• 결과적으로, 기반 패턴 트리가 특정 구조적 조건을 만족하는 한, 투영이 존재하더라도 쿼리 평가의 복잡도는 여전히 FPT로 유지된다.
• 비단순 쿼리 및 양적 연결 쿼리에 대한 핵심 이론에서 해결되지 않은 문제들로 인해 특성화는 단순 잘 설계된 패턴 트리에 국한된다.
• 알고리즘 1은 잘 설계된 패턴 트리 위에서 직접 작동하는 FPT 평가 알고리즘을 제공하며, 관계가 중복되어도 적용 가능하고, 실제 SPARQL 쿼리에 적용 가능하다.