[논문 리뷰] Answering Conjunctive Queries with Inequalities

Paraschos Koutris, Tova Milo외 2명|arXiv (Cornell University)|2014. 12. 12.

Complexity and Algorithms in Graphs인용 수 3

한 줄 요약

이 논문은 다항 시간 내에 불등식(≠)을 포함한 조건부 쿼리(Conjunctive Queries, CQs)를 평가하기 위해 새로운 H-프로젝션 연산자와 쿼리 계획 기반 기법을 도입한다. 이 기법은 기존의 SPJ 쿼리 계획을 사용하며, 데이터베이스 크기와 무관하게 쿼리에 의존하는 오버헤드만을 추가한다. 주요 기여는 쿼리의 분수 정점 포장(fractional vertex packing)이 유계일 경우 다항 시간 복잡도를 보장하는 일반적인 방법을 제시하는 것으로, 정수 정점 포장이 무한할 경우 NP-난이도임을 규명한다.

ABSTRACT

In this parer, we study the complexity of answering conjunctive queries (CQ) with inequalities. In particular, we compare the complexity of the query with and without inequalities. The main contribution of our work is a novel combinatorial technique that enables the use of any Select-Project-Join query plan for a given CQ without inequalities in answering the CQ with inequalities, with an additional factor in running time that only depends on the query. To achieve this, we define a new projection operator that keeps a small representation (independent of the size of the database) of the set of input tuples that map to each tuple in the output of the projection; this representation is used to evaluate all the inequalities in the query. Second, we generalize a result by Papadimitriou-Yannakakis [PODS'97] and give an alternative algorithm based on the color-coding technique [Alon, Yuster and Zwick, PODS'02] to evaluate a CQ with inequalities by using an algorithm for the CQ without inequalities. Third, we investigate the structure of the query graph, inequality graph, and the augmented query graph with inequalities, and show that even if the query and the inequality graphs have bounded treewidth, the augmented graph not only can have an unbounded treewidth but can also be NP-hard to evaluate. Further, we illustrate classes of queries and inequalities where the augmented graphs have unbounded treewidth, but the CQ with inequalities can be evaluated in poly-time. Finally, we give necessary properties and sufficient properties that allow a class of CQs to have poly-time combined complexity with respect to any inequality pattern.

연구 동기 및 목표

• 불등식이 조건부 쿼리(CQs)에 추가될 경우 복합 복잡도가 다항식에서 NP-난이도로 증가하는 데 대비하기 위해.
• 기존의 선택-프로젝션-조인(SPJ) 쿼리 계획을 불등식을 포함한 CQ에 대해 평가할 수 있도록 일반화하는 기법을 개발하여, 쿼리에 의존하는 시간 오버헤드 외에는 추가하지 않는다.
• 조합 복잡도가 다항 시간 내에 가능해지는 CQs의 클래스를 규명하기 위해, 쿼리 및 불등식 그래프의 구조적 성질에 기반한 특성화를 수행한다.
• 불등식을 포함한 CQs가 효율적으로 평가될 수 있는 필요 및 충분 조건을 규명하며, 특히 쿼리 그래프에서의 분수 및 정수 정점 포장에 초점을 맞춘다.
• 제안된 쿼리 계획 기반 기법을 색칠 기반 기법(color-coding) 및 대표 집합(representative sets)과 비교하여, 특정 경우에서 뛰어난 성능을 보임을 보여준다.

제안 방법

• 입력 튜플이 각 출력 튜플로 매핑되는 방식을 크기에 영향을 받지 않는 압축된 표현으로 유지하는 새로운 H-프로젝션 연산자를 도입하여, 불등식 평가를 효율적으로 수행한다.
• 기존의 불등식이 없는 CQ에 대한 SPJ 쿼리 계획을 기반으로 하여, 프로젝션 단계에 H-프로젝션을 추가함으로써 동일한 CQ에 대해 불등식을 포함한 평가를 수행하도록 변형한다.
• 이중 접근 방식을 활용: 유계된 오버헤드를 가진 쿼리 계획 기반 기법과 고정 매개변수 트랙터블(Fixed-Parameter Tractable) 케이스를 위한 색칠 기반 알고리즘.
• 최소 분수 간선 커버와 최대 분수 정점 포장 간의 이중성(duality)을 이용하여, 후자가 유계일 경우 다항 시간 평가가 가능함을 도출한다.
• 대표 집합과 색칠 기법과 같은 조합 기법을 적용하여, 특히 트리폭이 유계이거나 비순환 구조를 가진 경우의 CQs에 대해 불등식을 포함한 평가를 수행한다.
• 증강된 쿼리 그래프(쿼리 + 불등식)를 분석하여, 원래 쿼리 그래프와 불등식 그래프가 각각 트리폭이 유계이더라도 증강된 그래프의 트리폭은 유계가 아니며, 평가가 NP-난이도가 될 수 있음을 보여준다.

실험 결과

연구 질문

• RQ1 불등식이 없는 CQ에 대한 어떤 SPJ 쿼리 계획이라도, 쿼리에 의존하는 시간 증가 외에는 추가 오버헤드 없이 동일한 CQ에 대해 불등식을 포함한 평가에 적응할 수 있는가?
• RQ2 CQ와 그 불등식 패턴의 어떤 구조적 성질이 조합 복잡도가 여전히 다항 시간에 유지되는지를 결정하는가?
• RQ3 불등식을 포함한 CQs에 대해 다항 시간 해법과 NP-난이도를 분리하는 이분법 또는 특성화가 존재하는가?
• RQ4 쿼리 그래프, 불등식 그래프, 증강된 그래프의 트리폭은 불등식을 포함한 쿼리 평가의 복잡도와 어떤 관계가 있는가?
• RQ5 제안된 H-프로젝션 기법이 특정 쿼리 유형에서 기존 기법들인 색칠 기법이나 대표 집합보다 실질적으로 뛰어난 성능을 보일 수 있는가?

주요 결과

• 주요 결과로, 불등식이 없는 CQ에 대한 어떤 SPJ 쿼리 계획이라도, 쿼리와 불등식 패턴에만 의존하는 함수 g(q, I)에 의해 제한되는 시간 증가만을 가지며, 데이터베이스 크기와 무관하게 평가가 가능함을 입증한다.
• H-프로젝션 연산자는 입력 튜플이 각 출력 튜플로 매핑되는 방식을 데이터베이스 크기와 무관하게 압축된 표현으로 유지함으로써, 불등식 평가를 효율적으로 수행한다.
• 정수 정점 포장이 무한한 부울형 CQ의 가족이 존재할 경우, (q, I)의 조합 복잡도는 3-색칠 문제(3-Coloring)로의 감소를 통해 NP-난이도임을 입증한다.
• 분수 정점 포장이 유계인 CQ의 가족이 존재할 경우, 어떤 불등식 패턴이라도 (q, I)는 분수 간선 커버와 분수 정점 포장 간의 이중성을 활용하여 조합 복잡도가 다항 시간 내에 평가 가능하다.
• 쿼리 그래프와 불등식 그래프가 각각 트리폭이 유계이더라도, 증강된 그래프(쿼리 + 불등식)는 트리폭이 유계가 아니며, 평가가 NP-난이도가 될 수 있음을 보여주며, 이는 트리폭만으로는 타당성 보장을 할 수 없음을 시사한다.
• 제안된 쿼리 계획 기반 기법은 분수 정점 포장이 유계일 경우, 색칠 기법 등 기존 기법보다 낮은 점근적 오버헤드를 가지므로 실질적으로 더 뛰어난 성능을 보인다.