[논문 리뷰] Conjunctive Queries with Free Access Patterns Under Updates

Shaleen Deep, Xiao Hu외 1명|arXiv (Cornell University)|2021. 09. 22.

Advanced Database Systems and Queries인용 수 3

한 줄 요약

이 논문은 관계대수와 액세스 패턴을 사용하여 부울 연합 쿼리에 대한 공간-시간 트레이드오프를 위한 통합 프레임워크를 제시한다. 2-세트 상호배타성 및 경로 쿼리와 같은 문제들을 부울 장식 쿼리로 모델링함으로써, 저자들은 기존 트레이드오프를 복원하고 개선하며, 삼각형 및 경로 쿼리의 하한에 대한 이전 추측을 기각하고, 조인 크기 한계와 트리 분해를 사용하여 스타 및 경로 쿼리에 대한 새로운 조건부 공간-시간 하한을 증명하는 일반 알고리즘을 개발한다.

ABSTRACT

In this paper, we investigate space-time tradeoffs for answering Boolean conjunctive queries. The goal is to create a data structure in an initial preprocessing phase and use it for answering (multiple) queries. Previous work has developed data structures that trade off space usage for answering time and has proved conditional space lower bounds for queries of practical interest such as the path and triangle query. However, most of these results cater to only those queries, lack a comprehensive framework, and are not generalizable. The isolated treatment of these queries also fails to utilize the connections with extensive research on related problems within the database community. The key insight in this work is to exploit the formalism of relational algebra by casting the problems as answering join queries over a relational database. Using the notion of boolean {\em adorned queries} and {\em access patterns}, we propose a unified framework that captures several widely studied algorithmic problems. Our main contribution is three-fold. First, we present an algorithm that recovers existing space-time tradeoffs for several problems. The algorithm is based on an application of the {\em join size bound} to capture the space usage of our data structure. We combine our data structure with {\em query decomposition} techniques to further improve the tradeoffs and show that it is readily extensible to queries with negation. Second, we falsify two proposed conjectures in the existing literature related to the space-time lower bound for path queries and triangle detection for which we show unexpectedly better algorithms. This result opens a new avenue for improving several algorithmic results that have so far been assumed to be (conditionally) optimal. Finally, we prove new conditional space-time lower bounds for star and path queries.

연구 동기 및 목표

• 2-세트 상호배타성, k-도달 가능성, 삼각형 탐지와 같은 다양한 데이터 구조 문제들을 부울 연합 쿼리와 액세스 패턴을 기반으로 하는 단일 형식론 아래 통합하기.
• 조인 크기 한계와 쿼리 분해를 사용하여 부울 CQ에 대한 알려진 공간-시간 트레이드오프를 복원하고 개선하는 일반 알고리즘 개발.
• 경로 및 삼각형 쿼리에 대한 조건부 공간-시간 하한에 대한 오랫동안 유지된 추측을 도전하고 기각하기.
• 감소법과 구조적 쿼리 분석을 사용하여 스타 및 경로 쿼리에 대한 새로운 조건부 공간-시간 하한을 증명하기.

제안 방법

• 사용자가 지정한 액세스 패턴이 특정 쿼리 변수를 고정하는 관계 데이터베이스 위에서 데이터 구조 문제를 부울 장식 쿼리로 형식화하기.
• 조인 크기 한계를 적용하여 데이터 구조의 공간 사용량을 제어함으로써, 공간 S와 쿼리 시간 T 사이의 일반적인 트레이드오프를 가능하게 하기.
• 쿼리 계획의 트리 분해를 액세스 패턴과 통합하여 공간 효율성을 향상시키고 복잡한 쿼리 구조를 처리하기.
• 쿼리 분해 기법을 사용하여 복잡한 쿼리를 더 작은 부분쿼리로 분해함으로써, 더 나은 트레이드오프를 달성하고 부정을 지원하기.
• 기존의 어려운 문제들(예: 3-세트 상호배타성)에서의 감소를 활용하여 경로 및 스타 쿼리에 대한 조건부 하한을 유도하기.
• 최악의 경우 최적 조인 알고리즘 기법과 완전한 장식된 뷰 열거 기법을 적용하여 효율적인 데이터 구조를 구축하기.

실험 결과

연구 질문

• RQ1 부울 연합 쿼리에서 다양한 공간-시간 트레이드오프 문제를 모델링하고 해결하기 위한 단일 통합 프레임워크를 개발할 수 있는가?
• RQ2 이전에 추측된 경로 및 삼각형 쿼리에 대한 조건부 하한이 실제로 날카로운가, 아니면 더 나은 알고리즘이 존재하는가?
• RQ3 일반적인 관계 쿼리 기반 접근법을 사용하여 k-도달 가능성과 2-세트 상호배타성의 공간-시간 트레이드오프를 복원하고 개선할 수 있는가?
• RQ4 기존의 어려운 문제들에서의 감소를 사용하여 스타 및 경로 쿼리에 대한 새로운 조건부 하한을 증명할 수 있는가?
• RQ5 이 프레임워크는 부정과 동적 업데이트를 포함한 연합 쿼리까지 얼마나 넓게 확장할 수 있는가?

주요 결과

• 제안된 프레임워크는 2-세트 상호배타성, k-도달 가능성, 간선 삼각형 탐지에 대해 기존의 공간-시간 트레이드오프를 복원하고 개선하여 이전에 알려진 바보다 더 나은 트레이드오프를 달성한다.
• 저자들은 두 가지 오랫동안 유지된 추측을 기각한다: 경로 쿼리에 대해 이전에 생각했던 것보다 더 나은 알고리즘이 존재하며, 삼각형 탐지 하한은 날카롭지 않다.
• 길이 ≥ 5인 경로 쿼리의 경우, 4-경로 쿼리를 구축 블록으로 활용하여 개선된 트레이드오프를 가능하게 한다.
• 스터 쿼리에 대해 새로운 조건부 하한을 증명하였으며, 특정 가정 하에 S·T = Ω(|D|²)가 최적임을 보였다.
• 이 프레임워크는 P_bb³(3-세트 상호배타성)에 대해서도 S·T = Ω(|D|²)가 최적임을 증명하였으며, 동일한 가정 하에 P_bb²(2-세트 상호배타성)에 대해서도 최적성을 암시한다.
• 이 접근법은 부정을 포함한 부울 CQ로 확장 가능하며, 이전 연구 대비 다항로그 계수를 개선한 더 단순한 구조를 제공한다.