[논문 리뷰] Charting the Tractability Frontier of Certain Conjunctive Query Answering

Jef Wijsen|arXiv (Cornell University)|2013. 01. 06.

Data Management and Algorithms참고 문헌 16인용 수 5

한 줄 요약

이 논문은 순환하지 않는 부울 연합 쿼리에서 유래된 공격 그래프의 구조를 분석하여 특정 연합 쿼리 해석의 정확한 처리 가능성 경계를 설정한다. 공격 그래프에 강한 사이클이 포함되어 있으면 ${\mathsf{CERTAINTY}}({q})$는 coNP-완전이며, 강한 사이클이 없고 모든 약한 사이클이 종단형일 경우 P에 속한다. 나머지 경우—강한 사이클이 없고 비종단형 약한 사이클이 있는 경우—는 부분적으로 열려 있으며, 확률적 쿼리 평가의 복잡도에 영향을 미친다.

ABSTRACT

An uncertain database is defined as a relational database in which primary keys need not be satisfied. A repair (or possible world) of such database is obtained by selecting a maximal number of tuples without ever selecting two distinct tuples with the same primary key value. For a Boolean query q, the decision problem CERTAINTY(q) takes as input an uncertain database db and asks whether q is satisfied by every repair of db. Our main focus is on acyclic Boolean conjunctive queries without self-join. Previous work has introduced the notion of (directed) attack graph of such queries, and has proved that CERTAINTY(q) is first-order expressible if and only if the attack graph of q is acyclic. The current paper investigates the boundary between tractability and intractability of CERTAINTY(q). We first classify cycles in attack graphs as either weak or strong, and then prove among others the following. If the attack graph of a query q contains a strong cycle, then CERTAINTY(q) is coNP-complete. If the attack graph of q contains no strong cycle and every weak cycle of it is terminal (i.e., no edge leads from a vertex in the cycle to a vertex outside the cycle), then CERTAINTY(q) is in P. We then partially address the only remaining open case, i.e., when the attack graph contains some nonterminal cycle and no strong cycle. Finally, we establish a relationship between the complexities of CERTAINTY(q) and evaluating q on probabilistic databases.

연구 동기 및 목표

• 자기 조인 없이 순환하지 않는 부울 연합 쿼리에서 ${\mathsf{CERTAINTY}}({q})$의 처리 가능성(P)과 비처리 가능성(coNP-완전성)의 경계를 규명하는 것.
• 공격 그래프의 사이클을 약한 사이클 또는 강한 사이클로 분류하고, 그 영향을 쿼리 복잡도에 분석하는 것.
• 강한 사이클이 없고 비종단형 약한 사이클을 포함하는 공격 그래프를 가진 쿼리의 ${\mathsf{CERTAINTY}}({q})$의 복잡도를 해결하는 것, 이는 이전에 열려 있던 사례이다.
• ${\mathsf{CERTAINTY}}({q})$의 복잡도와 블록독립불일치(BID) 데이터베이스에서의 확률적 쿼리 평가 복잡도 간의 관계를 명확히 하는 것.

제안 방법

• 논문은 순환하지 않는 부울 연합 쿼리에 대해 방향 공격 그래프를 도입하며, 정점은 쿼리 원자들을 나타내고 간선은 튜플 간의 키 충돌을 나타낸다.
• 쿼리의 기본 키 의존성에서 유도된 구조적 제약 조건에 기반해 공격 그래프의 사이클을 약한 사이클 또는 강한 사이클로 분류한다.
• 특히 종단형 및 비종단형 사이클에 중점을 두고, 도달 가능성과 사이클 구조를 분석하기 위해 그래프 이론 기법을 적용한다.
• 강한 사이클이 존재할 경우 coNP-완전성을 증명하기 위해 축소 기법을 사용하고, 오직 종단형 약한 사이클만을 포함하는 경우 다항시간 알고리즘을 구축한다.
• 이전 연구에서의 일阶논리 표현 가능성 및 확률적 쿼리 복잡도 결과를 활용하여 열려 있는 사례를 맥락화한다.
• 남아 있는 열려 있는 사례—강한 사이클이 없고 비종단형 약한 사이클이 있는 경우—는 P-coNP 이분법을 정의할 것으로 추측하지만, 완전한 증명은 아직 확보되지 않았다.

실험 결과

연구 질문

• RQ1 순환하지 않는 연합 쿼리에서 ${\mathsf{CERTAINTY}}({q})$는 언제 coNP-완전성이 되는가?
• RQ2 공격 그래프의 어떤 구조적 조건에서 ${\mathsf{CERTAINTY}}({q})$는 처리 가능하다(즉, P에 속하는가)?
• RQ3 공격 그래프에 비종단형 약한 사이클이 있고 강한 사이클이 없을 경우 ${\mathsf{CERTAINTY}}({q})$의 복잡도는 어떠한가?
• RQ4 ${\mathsf{CERTAINTY}}({q})$의 복잡도는 BID 데이터베이스에서의 확률적 쿼리 평가 복잡도와 어떻게 관련이 있는가?

주요 결과

• 순환 쿼리 $q$의 공격 그래프에 강한 사이클이 포함되어 있으면 ${\mathsf{CERTAINTY}}({q})$는 coNP-완전하다.
• 공격 그래프에 강한 사이클이 없고 모든 약한 사이클이 종단형일 경우 ${\mathsf{CERTAINTY}}({q})$는 P에 속한다.
• 남아 있는 유일한 열려 있는 경우는 강한 사이클이 없고 비종단형 약한 사이클이 포함된 공격 그래프를 가진 경우이며, 이 경우 ${\mathsf{CERTAINTY}}({q})$의 복잡도는 아직 완전히 해결되지 않았다.
• 이 열려 있는 사례에 속하는 쿼리들에 대해서는 ${\mathsf{CERTAINTY}}({q})$는 일阶논리로 표현될 수 없으며, 이는 ${\mathsf{PROBABILITY}}({q})$가 $\natural$P-난이도를 가짐을 의미한다.
• 결과적으로 ${\mathsf{CERTAINTY}}({q})$의 처리 가능성 경계는 확률적 쿼리 평가보다 더 복잡하며, 제한된 경우조차도 정교한 다항시간 알고리즘이 필요하다는 것을 시사한다.
• 논문은 순환 쿼리에 대해 ${\mathsf{CERTAINTY}}({q})$의 클래스가 효과적인 P-coNP 이분법을 보이지만, 이를 증명하는 것은 여전히 큰 도전 과제이다.