[논문 리뷰] Box Covers and Domain Orderings for Beyond Worst-Case Join Processing

Kaleb Alway, Eric Blais외 1명|arXiv (Cornell University)|2019. 09. 26.

Advanced Graph Theory Research참고 문헌 26인용 수 5

한 줄 요약

이 논문은 최적의 것에 비해 다항로그 인자 범위 내의 인증 크기를 갖는 상자 커버를 생성하는 근사 선형 시간 알고리즘 GAMB와, 상자 커버 및 인증 크기를 최소화하는 도메인 순서를 위한 근사 알고리즘 ADORA를 제안한다. Tetris와 결합함으로써, TetrisReordered 알고리즘은 무한한 질의 가족에서 이전의 최악의 경우 성능 기준을 뛰어넘는 무한히 향상된 성능을 달성한다. 이는 최적의 도메인 순서와 밀도 높은 상자 커버를 활용함으로써 달성된다.

ABSTRACT

Recent beyond worst-case optimal join algorithms Minesweeper and its generalization Tetris have brought the theory of indexing and join processing together by developing a geometric framework for joins. These algorithms take as input an index $\mathcal{B}$, referred to as a box cover, that stores output gaps that can be inferred from traditional indexes, such as B+ trees or tries, on the input relations. The performances of these algorithms highly depend on the certificate of $\mathcal{B}$, which is the smallest subset of gaps in $\mathcal{B}$ whose union covers all of the gaps in the output space of a query $Q$. We study how to generate box covers that contain small size certificates to guarantee efficient runtimes for these algorithms. First, given a query $Q$ over a set of relations of size $N$ and a fixed set of domain orderings for the attributes, we give a $ ilde{O}(N)$-time algorithm called GAMB which generates a box cover for $Q$ that is guaranteed to contain the smallest size certificate across any box cover for $Q$. Second, we show that finding a domain ordering to minimize the box cover size and certificate is NP-hard through a reduction from the 2 consecutive block minimization problem on boolean matrices. Our third contribution is a $ ilde{O}(N)$-time approximation algorithm called ADORA to compute domain orderings, under which one can compute a box cover of size $ ilde{O}(K^r)$, where $K$ is the minimum box cover for $Q$ under any domain ordering and $r$ is the maximum arity of any relation. This guarantees certificates of size $ ilde{O}(K^r)$. We combine ADORA and GAMB with Tetris to form a new algorithm we call TetrisReordered, which provides several new beyond worst-case bounds. On infinite families of queries, TetrisReordered's runtimes are unboundedly better than the bounds stated in prior work.

연구 동기 및 목표

• 모든 조인 질의에 대해 이론적 최소값에 가까운 인증 크기를 갖는 상자 커버를 생성하는 효율적인 알고리즘을 개발하는 것.
• 도메인 순서가 상자 커버 및 인증 크기에 미치는 영향을 연구하고, 이러한 크기를 최소화하는 순서를 찾는 것.
• 최소한의 상자 커버와 인증을 제공하는 도메인 순서를 계산하는 실용적인 근사 선형 시간 알고리즘을 설계하는 것.
• 이러한 기법들을 Tetris 알고리즘과 융합하여, 이전보다 향상된 이론적 최악의 경우 성능 범위를 확보하는 것.

제안 방법

• 입력 관계로부터 모든 최대 이진 갭 상자를 계산하여 전역적으로 좋은 상자 커버를 형성하는 eO(N)-시간 알고리즘인 GAMB를 제안한다.
• GAMB가 생성한 상자 커버의 인증 크기가 모든 상자 커버 중에서 가능한 최소 인증 크기의 eO(1) 요인 범위 내에 있음을 증명한다.
• 어떤 순서에서도 상자 커버 크기와 인증 크기를 최소화하는 데 목적이 있는 eO(N)-시간 근사 도메인 순서 알고리즘인 ADORA를 도입한다.
• ADORA의 순서를 사용할 경우, 상자 커버 크기는 eO(Kr)이고 인증 크기는 eO(Kr)가 되며, 여기서 K는 어떤 순서에서도 최소 상자 커버 크기이고 r은 최대 관계의 어조이다.
• ADORA, GAMB, Tetris를 융합하여 최적의 도메인 순서와 밀도 높은 인증을 활용하는 성능 향상된 새로운 알고리즘인 TetrisReordered를 구성한다.
• 2연속 블록 최소화 문제에서의 감소를 이용하여, 도메인 순서 하에서 상자 커버 및 인증 크기를 최소화하는 것이 NP-난이도임을 증명한다.

실험 결과

연구 질문

• RQ1 최적 크기의 다항로그 인자 범위 내에서 인증 크기를 갖는 상자 커버를 근사 선형 시간 내에 생성할 수 있는가?
• RQ2 상자 커버 및 인증 크기를 최소화하는 도메인 순서를 찾는 것은 NP-난이도인가?
• RQ3 작은 상자 커버와 인증을 제공하는 도메인 순서를 계산하는 효율적인 근사 알고리즘을 설계할 수 있는가?
• RQ4 도메인 순서를 재정렬하고 최적의 상자 커버를 사용함으로써, 이론적 최악의 경우 성능 향상은 얼마나 달성될 수 있는가?
• RQ5 Tetris와 같은 고급 조인 알고리즘과 최적의 도메인 순서를 융합했을 때, 성능 향상의 이론적 한계는 무엇인가?

주요 결과

• GAMB는 eO(N) 시간 내에 상자 커버를 생성하며, 이 상자 커버는 C□(Q) 크기의 인증을 포함한다. 여기서 C□(Q)는 가능한 모든 상자 커버 중 최소 인증 크기이다.
• 상자 커버 및 인증 크기를 최소화하는 최적의 도메인 순서를 찾는 문제는, 불리안 행렬에서의 2연속 블록 최소화 문제로의 감소를 통해 NP-난이도임을 입증하였다.
• ADORA는 eO(N) 시간 내에 도메인 순서를 계산하며, 이에 따라 생성된 상자 커버 크기는 eO(Kr)이고 인증 크기는 eO(Kr)가 된다. 여기서 K는 어떤 순서에서도 최소 상자 커버 크기이고 r은 최대 관계의 어조이다.
• ADORA, GAMB, Tetris를 융합한 TetrisReordered는 무한한 질의 가족에서 이전 Tetris의 성능 기준을 뛰어넘는 무한히 향상된 런타임 성능을 달성한다.
• 구성된 질의 가족에서 팯딩 비트 수가 증가함에 따라, TetrisReordered와 이전 Tetris 버전 간의 성능 격차는 무한히 커지며, 이는 최적의 도메인 순서의 이론적 및 실용적 중요성을 입증한다.
• 논문은 최소 인증 문제의 2진 상자 변형이 근사 난이도 측면에서 여전히 열려 있음을 규명하였으며, 일반 상자와 2진 상자 간의 복잡도가 상당히 다를 수 있음을 밝혔다.