[논문 리뷰] On the satisfiability problem for SPARQL patterns

Xiaowang Zhang, Jan Van den Bussche외 1명|arXiv (Cornell University)|2014. 06. 05.

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

한 줄 요약

이 논문은 SPARQL 1.0 패턴의 만족 가능성 문제의 결정 가능성을 조사하며, 필터 조건이 모순되는 조건 집합을 형성할 수 없는 한에서만 만족 가능성은 결정 가능하다는 것을 보여준다. 핵심 결과는 필터 조건이 모순되는 조합(예: 부정된 bound-제약, 상수 등가, 등가와 비등가의 혼합)을 허용하는 순간 만족 가능성은 결정 불가능해지며, 이를 통해 집합 차수를 모방함으로써 기존의 관계대수학에서 알려진 결정 불가능성으로 감소됨을 보여준다.

ABSTRACT

The satisfiability problem for SPARQL patterns is undecidable in general, since the expressive power of SPARQL 1.0 is comparable with that of the relational algebra. The goal of this paper is to delineate the boundary of decidability of satisfiability in terms of the constraints allowed in filter conditions. The classes of constraints considered are bound-constraints, negated bound-constraints, equalities, nonequalities, constant-equalities, and constant-nonequalities. The main result of the paper can be summarized by saying that, as soon as inconsistent filter conditions can be formed, satisfiability is undecidable. The key insight in each case is to find a way to emulate the set difference operation. Undecidability can then be obtained from a known undecidability result for the algebra of binary relations with union, composition, and set difference. When no inconsistent filter conditions can be formed, satisfiability is efficiently decidable by simple checks on bound variables and on the use of literals. The paper also points out that satisfiability for the so-called `well-designed' patterns can be decided by a check on bound variables and a check for inconsistent filter conditions.

연구 동기 및 목표

• SPARQL 1.0 패턴에서 만족 가능성 문제의 정확한 결정 가능성 경계를 규명하는 것.
• bound-제약, 등가, 비등가 및 그 부정과 같은 다양한 종류의 필터 제약 조건이 결정 가능성에 미치는 영향을 분석하는 것.
• bound 변수와 모순되는 필터 조건에 대한 문법적 검사를 통해 결합 가능한 SPARQL의 일부 조각을 특정하는 것.
• 잘 설계된 SPARQL 패턴과 BIND, VALUES, 집계와 같은 SPARQL 1.1 기능으로 분석을 확장하는 것.
• RDF 및 SPARQL 시스템에서 쿼리 최적화와 자동 추론을 위한 실용적 기반을 제공하는 것.

제안 방법

• Arenas, Gutierrez, 및 Pérez의 집합 기반 의미론을 사용하여 SPARQL 1.0 패턴을 공식화하며, 필터 조건과 변수 바인딩에 중점을 둔다.
• 여섯 가지 제약 유형을 정의한다: bound-제약, 부정된 bound-제약, 등가, 비등가, 상수 등가, 상수 비등가.
• 모든 불일관된 필터 조건을 허용하는 조각이 집합 차수 연산을 모방할 수 있음을 보여줌으로써 결정 불가능성을 입증한다.
• 합집합, 합성, 집합 차수를 포함한 이진 관계 대수학에서 알려진 결정 불가능성 결과를 활용하여 SPARQL 조각에서의 결정 불가능성을 증명한다.
• 문법적 검사를 통해 결정 가능성을 입증한다: bound 변수 일관성과 불일관된 필터 조건 탐지.
• BIND 및 VALUES가 상수 등가 필터링을 가능하게 하므로, 이는 이전에 결정 가능성이 있었던 조각에 다시 결정 불가능성을 도입함을 보여줌으로써 SPARQL 1.1 기능으로 결과를 확장한다.

실험 결과

연구 질문

• RQ1 SPARQL 패턴의 어떤 필터 제약 조합이 만족 가능성 문제를 결정 불가능하게 만드는가?
• RQ2 SPARQL에서 오직 필터 조건만을 사용하여 집합 차수 연산을 모방할 수 있는가, 그리고 어떤 제약 조건 조건에서 이것이 가능한가?
• RQ3 SPARQL 패턴의 만족 가능성은 어떤 조건에서 결정 가능하며, 이는 문법적 분석만으로도 확인할 수 있는가?
• RQ4 BIND, VALUES, 집계와 같은 SPARQL 1.1 기능은 만족 가능성의 결정 가능성에 어떤 영향을 미치는가?
• RQ5 잘 설계된 SPARQL 패턴의 만족 가능성은 bound 변수 검사와 불일관된 필터 조건 탐지의 조합을 통해 효율적으로 결정할 수 있는가?

주요 결과

• 필터 조건이 모순되는 집합을 형성할 수 있다면, SPARQL 패턴의 만족 가능성은 결정 불가능하다. 특히 부정된 bound-제약, 상수 등가, 또는 등가와 비등가의 조합이 허용되는 경우에 해당된다.
• 유일한 결정 가능한 조각은 SPARQL(bound, =, ≠c) 및 SPARQL(bound, ≠, ≠c)이며, 이들의 하위 조각들이다. 이들에서는 만족 가능성은 bound 변수에 대한 문법적 검사와 필터 일관성에 의해 결정된다.
• 결정 불가능성은 이러한 조각들이 집합 차수 연산을 모방할 수 있음을 보여줌으로써 입증되며, 이는 합집합, 합성, 차수를 포함한 관계대수학에서 알려진 결정 불가능성으로 감소된다.
• 결정 가능한 경우, 만족 가능성 문제는 NP-완전이다. 그러나 실험적 평가를 통해 문법적 검사가 실질적으로 효율적으로 구현될 수 있음을 확인하였다.
• 잘 설계된 SPARQL 패턴은 bound 변수 검사와 불일관된 필터 조건 탐지의 조합을 통해 만족 가능성 결정이 가능하다.
• SPARQL 1.1 기능인 BIND 및 VALUES는 필터에서 상수 등가를 표현할 수 있게 하여, 이전에 결정 가능성이 있었던 조각에 다시 결정 불가능성을 도입한다.