[논문 리뷰] A Trichotomy in the Data Complexity of Certain Query Answering for Conjunctive Queries

Paraschos Koutris, Jef Wijsen|arXiv (Cornell University)|2015. 01. 30.

Data Management and Algorithms참고 문헌 18인용 수 3

한 줄 요약

이 논문은 불확실한 데이터베이스에서 self-join이 없는 부울 연합 쿼리에 대해 특정 질의 처리(CERTAINTY(q))의 효과적인 복잡도 삼분법을 수립한다. 질의의 공격 그래프를 분석함으로써, 저자들은 CERTAINTY(q)가 FO, P∖FO, 또는 coNP-완전에 속하는지를 결정할 수 있는 결정 가능 절차를 제시하며, 데이터 복잡도 분야에서 10년 이상 미해결이었던 문제를 해결한다.

ABSTRACT

A relational database is said to be uncertain if primary key constraints can possibly be violated. A repair (or possible world) of an uncertain database is obtained by selecting a maximal number of tuples without ever selecting two distinct tuples with the same primary key value. For any Boolean query q, CERTAINTY(q) is the problem that takes an uncertain database db on input, and asks whether q is true in every repair of db. The complexity of this problem has been particularly studied for q ranging over the class of self-join-free Boolean conjunctive queries. A research challenge is to determine, given q, whether CERTAINTY(q) belongs to complexity classes FO, P, or coNP-complete. In this paper, we combine existing techniques for studying the above complexity classification task. We show that for any self-join-free Boolean conjunctive query q, it can be decided whether or not CERTAINTY(q) is in FO. Further, for any self-join-free Boolean conjunctive query q, CERTAINTY(q) is either in P or coNP-complete, and the complexity dichotomy is effective. This settles a research question that has been open for ten years, since [9].

연구 동기 및 목표

• 자기조인 없이 부울 연합 쿼리에 대해 CERTAINTY(q)의 데이터 복잡도를 분류하는 오랜 동안 미해결이었던 문제를 해결하기 위해.
• CERTAINTY(q)가 일阶논리 표현 가능(FO), 처리 가능(P∖FO), 또는 처리 불가능(coNP-완전)인지 결정하기 위해.
• 이 세 복잡도 클래스를 구분할 수 있는 질의 구조에 기반한 효과적인 결정 절차를 제공하기 위해.
• 기존 결과가 순환 없는 쿼리, 단순 기본 키 또는 정확히 두 개의 원자만을 가진 쿼리에 국한되어 있었음을 고려해 이를 확장하기 위해.

제안 방법

• 저자들은 기존의 한프 국지성 추론을 대체할 더 강력한 프레임워크를 사용하는, 일阶논리 표현 불가능성에 대한 새로운 복잡도이론적 접근을 도입한다.
• 질의 원자에 대해 '해체(dissolve)' 연산을 적용하여 불확실한 데이터베이스에서 변환된 데이터베이스로의 감소를 정의하며, 이는 복구(repair) 간에 질의의 진리값을 유지한다.
• 이 방법은 원본 데이터베이스 db의 복구가 q를 만족하는 것과 변환된 데이터베이스 db'의 복구가 변환된 질의 q*를 만족하는 것이 정확히 일치하도록 하는 데이터베이스 db'를 구성하는 데 의존한다.
• 질의의 공격 그래프는 복잡도 결정을 위한 구조적 기반으로 사용되며, 그래프 내의 사이클과 도달 가능성 정보가 분류에 영향을 준다.
• 감소 과정은 관련이 있는 사이클의 수가 다항식적으로 유 bounds되어 있음을 보장하며, 이는 변환된 데이터베이스의 다항시간 계산 가능성을 보장한다.
• 원본 데이터베이스와 변환된 데이터베이스의 복구 간 이분법적 대응 관계를 사용하여, 특정 할당 조건 하에서 질의 만족도를 유지한다.

실험 결과

연구 질문

• RQ1 자기조인 없이 부울 연합 쿼리 q에 대해, CERTAINTY(q)가 FO에 속하는지 여부를 결정할 수 있는가?
• RQ2 모든 이러한 쿼리에 대해 CERTAINTY(q)가 P 또는 coNP-완전에 속하는 효과적인 이분법이 존재하는가?
• RQ3 이 복잡도 분류는 순환 없는 쿼리나 단순 기본 키를 초월하여 확장될 수 있는가?
• RQ4 CERTAINTY(q) 복잡도를 구조적으로 특성화한 결정 가능하고 효과적인 특성이 존재하는가?

주요 결과

• 자기조인 없이 부울 연합 쿼리 q에 대해, CERTAINTY(q)가 FO에 속하는지 여부를 결정할 수 있으며, 이는 이전 연구에서 순환성 가정이 필요로 했던 한계를 해결한다.
• CERTAINTY(q)가 FO에 속하지 않으면, L-하드임을 보여주며, 기존의 한프 국지성 기반보다 더 강력한 표현 불가능성 결과를 복잡도 이론적 기법을 통해 확립한다.
• 모든 자기조인 없이 부울 연합 쿼리에 대해 CERTAINTY(q)는 P 또는 coNP-완전에 속하며, 이 이분법은 효과적이다. 이는 이전 연구가 단순 기본 키를 요구했던 점을 고려할 때 기존 결과를 확장한다.
• 복잡도 삼분법은 효과적이다: q의 공격 그래프를 기반으로 하는 절차를 통해 CERTAINTY(q)의 정확한 복잡도 클래스를 결정할 수 있다.
• db에서 db'로의 감소 과정은 복구 간 질의 만족도를 유지하며, 복구 간 논리적 등가성과 일치하는 다항시간 감소를 보장한다.