[논문 리뷰] Boundedness of Conjunctive Regular Path Queries

Pablo Barceló, Diego Figueira외 1명|arXiv (Cornell University)|2019. 04. 01.

semigroups and automata theory참고 문헌 21인용 수 7

한 줄 요약

이 논문은 역이 포함된 연합 결합 정규 경로 쿼리(UC2RPQs)의 유계성 문제를 ExpSpace-완전으로 규명하며, 이는 연합 결합 쿼리(UCQs)와의 동치성을 보여준다. 또한, 각 UC2RPQ가 최대 삼중지수 크기의 UCQ로 재작성될 수 있음을 증명하고, 이 크기의 상한이 최적임을 보였다. 결과는 두께가 유계인 비순환 UC2RPQs(PSpace-완전)와 강하게 연결된 UCRPQs(Π₂^P-완전)로 확장되며, 교대로 작동하고 양방향으로 작동하는 거리 온톨로지 기반의 새로운 확장 기법을 사용한다.

ABSTRACT

We study the boundedness problem for unions of conjunctive regular path queries with inverses (UC2RPQs). This is the problem of, given a UC2RPQ, checking whether it is equivalent to a union of conjunctive queries (UCQ). We show the problem to be ExpSpace-complete, thus coinciding with the complexity of containment for UC2RPQs. As a corollary, when a UC2RPQ is bounded, it is equivalent to a UCQ of at most triple-exponential size, and in fact we show that this bound is optimal. We also study better behaved classes of UC2RPQs, namely acyclic UC2RPQs of bounded thickness, and strongly connected UCRPQs, whose boundedness problem are, respectively, PSpace-complete and $Π^p_2$-complete. Most upper bounds exploit results on limitedness for distance automata, in particular extending the model with alternation and two-wayness, which may be of independent interest.

연구 동기 및 목표

• 역이 포함된 연합 결합 정규 경로 쿼리(UC2RPQs)의 유계성 문제의 계산 복잡도를 규명하는 것.
• UC2RPQ가 연합 결합 쿼리(UCQ)와 동치인지 여부를 확인하는 것 — 데이터베이스 쿼리 처리에서 핵심 최적화 과제.
• 비순환 UC2RPQ의 두께가 유계인 경우와 강하게 연결된 UCRPQs와 같은 제한된 클래스에 대해 유계성 분석을 수행하는 것.
• 상한을 확보하기 위해 교대로 작동하고 양방향으로 작동하는 거리 온톨로지 기반의 확장 기법을 개발하고 적용하는 것.
• 유계 UC2RPQ의 UCQ 재작성에 대해 정확한 복잡도 상한과 최적 크기 추정치를 제공하는 것.

제안 방법

• 나무 위의 비용 온톨로지 기반의 제한 문제로 UC2RPQ의 유계성 문제를 감소시키며, 기존의 결정 가능성 결과를 활용한다.
• 경로 쿼리를 모델링하고 균일한 비용 상한을 통해 유계성을 포착하기 위해 거리 온톨로지의 양방향, 교대로 작동하는 확장 기법을 도입한다.
• 호모모르피즘 기반 감소 및 전개 기법을 사용하여 쿼리 전개와 유계 조건 간의 관계를 규명한다.
• 논리적 및 온톨로지 이론적 구성 기법을 적용하여 상한을 증명하며, UCQ 재작성에 대해 삼중지수 크기 상한을 확보한다.
• 기존의 어려운 문제들(예: 클리크에 대한 Π₂^P-완전 문제)으로부터의 감소 기법을 사용하여 제한된 클래스에 대한 하한을 증명한다.
• 강하게 연결된 구성 요소의 구조와 순환 분석을 활용하여 특수한 UC2RPQ 하위 클래스에 대한 복잡도 결과를 도출한다.

실험 결과

연구 질문

• RQ1 UC2RPQ가 유계인지 확인하는 데 필요한 계산 복잡도는 무엇인가? 즉, UCQ와 동치인지 여부를 판단하는 것.
• RQ2 유계 UC2RPQ는 유한 크기이며, 최적의 크기로 UCQ로 재작성될 수 있는가?
• RQ3 비순환 또는 강하게 연결된 쿼리와 같은 제한된 클래스에 대해 유계성 문제의 행동 방식은 어떻게 되는가?
• RQ4 비용 온톨로지의 제한 문제에 교대로 작동하고 양방향 작동을 추가하여 재귀적 쿼리 언어에서의 유계성을 포착할 수 있는가?
• RQ5 두께가 유계인 비순환 UC2RPQ와 강하게 연결된 UCRPQ에 대해 유계성의 정확한 복잡도는 무엇인가?

주요 결과

• UC2RPQ의 유계성 문제는 ExpSpace-완전이며, 이는 UC2RPQ의 포함성 문제와 동일한 복잡도를 가진다.
• 모든 유계 UC2RPQ는 최대 삼중지수 크기의 UCQ와 동치이며, 이 상한은 최적이다.
• 두께가 유계인 비순환 UC2RPQ의 경우, 유계성 문제는 PSpace-완전이다.
• 강하게 연결된 UCRPQ의 경우, 유계성 문제는 Π₂^P-완전이다.
• 증명 기법은 거리 온톨로지에 교대로 작동과 양방향 작동을 확장하여, 자동화 이론 분야에서 별도의 관심을 끌 수 있다.
• 핵심 기술 기여는 강하게 연결된 구성 요소에서 특히 중요한, 호모모르피즘 기반의 전개 논증을 통해 쿼리 전개와 유계성 간의 관계를 규명한 것이다.