[논문 리뷰] A More General Theory of Static Approximations for Conjunctive Queries

Pablo Barceló, Miguel Romero외 1명|arXiv (Cornell University)|2018. 01. 01.

Advanced Database Systems and Queries인용 수 3

한 줄 요약

이 논문은 초그래프 분해 분야에서 오랫동안 남아있던 두 가지 열린 문제를 해결한다: 분수 가시수 나무 폭(fhw) ≤ k 및 일반화된 가시수 나무 폭(ghw) ≤ 2 여부를 확인하는 것이 모두 NP-완전임을 증명하며, 수십 년간 미해결이었던 질문들을 해결한다. 저자들은 또한 다항시간에 fhw를 로그 인자 범위 내에서 근사화할 수 있도록 해주는 다항적 제약 조건—예를 들어 유계 다중교차 성질(BMIP)과 유계 교차 성질(BIP)—를 규명하여, 연결 조건 쿼리 및 제약 만족 문제 최적화에 실용적인 알고리즘을 제공한다.

ABSTRACT

Conjunctive query (CQ) evaluation is NP-complete, but becomes tractable for fragments of bounded hypertreewidth. If a CQ is hard to evaluate, it is thus useful to evaluate an approximation of it in such fragments. While underapproximations (i.e., those that return correct answers only) are well-understood, the dual notion of overapproximations that return complete (but not necessarily sound) answers, and also a more general notion of approximation based on the symmetric difference of query results, are almost unexplored. In fact, the decidability of the basic problems of evaluation, identification, and existence of those approximations, is open. We develop a connection with existential pebble game tools that allows the systematic study of such problems. In particular, we show that the evaluation and identification of overapproximations can be solved in polynomial time. We also make progress in the problem of existence of overapproximations, showing it to be decidable in 2EXPTIME over the class of acyclic CQs. Furthermore, we look at when overapproximations do not exist, suggesting that this can be alleviated by using a more liberal notion of overapproximation. We also show how to extend our tools to study symmetric difference approximations. We observe that such approximations properly extend under- and over-approximations, settle the complexity of its associated identification problem, and provide several results on existence and evaluation.

연구 동기 및 목표

• 고정된 k ≥ 2에 대해 fhw(H) ≤ k 여부를 확인하는 것이 다항시간 가능성이 있는지 여부를 해결하는 것.
• k ≥ 3에 대해 알려진 난이도와는 달리, ghw(H) ≤ 2 여부를 확인하는 복잡도를 해결하는 것.
• 제약 만족 문제 및 쿼리 최적화에서 유의미하고 비자명한 초그래프 제약 조건을 규명하여, 유계 ghw 또는 fhw의 다항시간 계산 또는 근사화 가능성을 보장하는 것.
• 의미 있는 구조적 제약 조건 하에서 fhw에 대해 개선된 근사 비율을 달성하는 다항시간 근사 알고리즘을 개발하는 것.

제안 방법

• 3-SAT에서의 축소를 통해, 제어된 간선 교차를 가진 초그래프의 새로운 구성 방식을 사용하여 fhw ≤ 2 및 ghw ≤ 2 여부 확인의 NP-완전성을 증명하는 것.
• fhw 근사화의 다항시간 가능성을 보장하는 구조적 제약 조건으로서의 유계 다중교차 성질(BMIP)을 도입하는 것.
• VC-차원과 분수 간선 커버의 이중성을 활용하여 초그래프의 조합적 성질을 통해 근사 비율을 제한하는 것.
• BMIP가 유계 VC-차원을 암시함을 증명하고, 이를 통해 정수 간선 커버 근사화를 통해 fhw의 로그 인자 범위 내 근사화가 가능함을 보이는 것.
• 유계 차수 성질(BDP)을 사용하여 Check(FHD,k) 문제의 다항시간 가능성을 확보하고, BIP를 통해 fhw의 임의로 가까운 다항시간 근사화를 허용하는 것.
• 초그래프 이론 및 제약 만족 문제의 결과를 응용하여, 구조적 가정 하에서 근사 보장을 도출하는 것.

실험 결과

연구 질문

• RQ1 고정된 k ≥ 2에 대해 fhw(H) ≤ k 여부를 확인하는 문제가 NP-완전인가?
• RQ2 ghw(H) ≤ 2 여부를 확인하는 문제가 다항시간 가능하거나 NP-완전인가?
• RQ3 초그래프에 대한 의미 있고 비자명한 구조적 제약 조건이 유계 ghw 또는 fhw의 다항시간 인식 가능성을 보장할 수 있는가?
• RQ4 의미 있는 제약 조건 하에서 fhw에 대해 삼차 이상의 근사 비율을 초월하는 다항시간 알고리즘이 존재하는가?
• RQ5 유계 다중교차 성질(BMIP)이 fhw를 로그 인자 범위 내에서 다항시간에 근사화할 수 있도록 하는가?

주요 결과

• fhw(H) ≤ k 여부 확인 문제는 k = 2일 때도 NP-완전임을 증명하여 데이터베이스 이론 분야에서 13년간 미해결이었던 문제를 해결한다.
• ghw(H) ≤ 2 여부 확인 문제 역시 NP-완전임을 증명하여 2006년 이후로 미해결이었던 갭을 메꾼다.
• 유계 다중교차 성질(BMIP)은 fhw를 O(k · log k) 요인 내에서 근사화할 수 있는 다항시간 알고리즘을 가능하게 한다.
• 유계 교차 성질(BIP)은 fhw를 임의로 가까운 다항시간 근사화를 가능하게 한다.
• 유계 차수 성질(BDP)은 Check(FHD,k) 문제의 다항시간 가능성을 보장한다.
• VC-차원이 유계인 초그래프 클래스—예를 들어 BMIP를 만족하는 것들—은 분수 가시수 나무 폭의 효율적 근사화를 가능하게 한다.