[논문 리뷰] Direct Access for Answers to Conjunctive Queries with Aggregation

Idan Eldar, Nofar Carmeli외 1명|arXiv (Cornell University)|2023. 03. 09.

Data Management and Algorithms인용 수 1

한 줄 요약

이 논문은 집합 조건 쿼리의 직접 액세스를 위한 이분법을 수립하며, 쿼리의 기저 구조가 비순환적이며 방해 요소 삼연조가 없을 경우에만 효율적인 로그선형 시간 전처리와 로그 시간 무작위 액세스가 가능하다고 보여준다—단, 집합 값이 사전순서에 포함되지 않는 한. 결과는 공통적인 집합 함수(최소, 최대, 카운트, 합계)에 대해 가환 반군(annotation)을 통해 확장되며, 카운트-디스티너트는 로그 도메인 제약 조건 하에서 적용 가능하다. 집합 값이 순서에 포함될 경우 더 정교한 가역성 조건이 필요하다.

ABSTRACT

We study the fine-grained complexity of conjunctive queries with grouping and aggregation. For some common aggregate functions (e.g., min, max, count, sum), such a query can be phrased as an ordinary conjunctive query over a database annotated with a suitable commutative semiring. Specifically, we investigate the ability to evaluate such queries by constructing in log-linear time a data structure that provides logarithmic-time direct access to the answers ordered by a given lexicographic order. This task is nontrivial since the number of answers might be larger than log-linear in the size of the input, and so, the data structure needs to provide a compact representation of the space of answers. In the absence of aggregation and annotation, past research provides a sufficient tractability condition on queries and orders. For queries without self-joins, this condition is not just sufficient, but also necessary (under conventional lower-bound assumptions in fine-grained complexity). We show that all past results continue to hold for annotated databases, assuming that the annotation itself is not part of the lexicographic order. On the other hand, we show infeasibility for the case of count-distinct that does not have any efficient representation as a commutative semiring. We then investigate the ability to include the aggregate and annotation outcome in the lexicographic order. Among the hardness results, standing out as tractable is the case of a semiring with an idempotent addition, such as those of min and max. Notably, this case captures also count-distinct over a logarithmic-size domain.

연구 동기 및 목표

• 집합 조건 쿼리가 로그선형 전처리와 로그 시간 액세스를 통해 직접 액세스로 평가될 수 있는 조건을 규명하는 것.
• 기존의 순수 조건 쿼리에 대한 가역성 결과를 최소, 최대, 카운트, 합계와 같은 일반적인 집합 함수에 대해 확장하는 것.
• 집합 값이 답변의 사전순서에 포함될 경우 발생하는 새로운 복잡성의 영향을 분석하는 것.
• 데이터베이스가 가환 반군으로 애너테이션된 경우, 특히 덧셈이 아이디포텐트일 경우(예: 최소, 최대, 카운트-디스티너트) 직접 액세스의 행동을 연구하는 것.
• 반군 애너테이션을 통한 집합 처리를 일반화하고, 이를 반군 애너테이션된 쿼리로 환원하여 결과 쿼리 구조를 분석함으로써 직접 액세스에 대한 일반적 프레임워크를 수립하는 것.

제안 방법

• 집합 쿼리를 가환 반군 애너테이션된 데이터베이스 위의 조건 쿼리로 표현하며, 가환 반군을 사용해 집합을 모델링한다(예: 최소에 대해 (N, min, +), 최대에 대해 (N, max, +), 합계에 대해 (N, +, ×), 카운트-디스티너트에 대해 (N, ∨, ∧)).
• Rcarry-deannotation 개념을 도입하여 애너테이션을 제거한 후에도 자유 변수의 구조를 분리함으로써 쿼리의 기저 구조를 분석할 수 있도록 한다.
• 집합 값이 순서에 포함되지 않는 조건 하에서, 기존의 순수 조건 쿼리에 대한 직접 액세스 이분법(비순환 + 방해 요소 삼연조 없음)을 탈애너테이션된 쿼리에 적용한다.
• 집합 값이 사전순서에 포함될 경우, 새로운 가역성 조건을 수립하며, 이러한 경우는 훨씬 더 엄격한 구조적 제약 조건이 필요함을 보여준다.
• 비순환적이거나 방해 요소 삼연조를 포함하는 쿼리에 대해, HYPERCLIQUE 및 SparseBMM 가정을 사용하여 비가역성을 증명한다.
• 덧셈이 아이디포텐트인 반군(예: 최소, 최대, 카운트-디스티너트)에 대해 일반화하며, Rcarry-탈애너테이션된 쿼리의 구조를 분석하고 더 정교한 이분법을 적용한다.

실험 결과

연구 질문

• RQ1 집합 조건 쿼리가 로그선형 전처리와 로그 시간 액세스를 통해 직접 액세스로 평가될 수 있는 조건는 무엇인가?
• RQ2 집합 값이 사전순서에 포함될 경우, 직접 액세스의 가역성에 어떤 영향을 미치는가?
• RQ3 순수 조건 쿼리에 대한 가역성 이분법을 반군 애너테이션을 통해 집합 쿼리로 확장할 수 있는가?
• RQ4 가환 반군에서 덧셈이 아이디포텐트일 경우(예: 최소, 최대, 카운트-디스티너트)에 직접 액세스 복잡도에 어떤 영향을 미치는가?
• RQ5 쿼리의 구조—특히 비순환성과 방해 요소 삼연조의 부재—가 집합 처리가 포함된 경우 직접 액세스에 어떤 영향을 미치는가?

주요 결과

• 표준 집합 함수(최소, 최대, 카운트, 합계)에 대해, 직접 액세스는 ⟨loglinear, log⟩에 속할 조건은 쿼리의 자유 변수 프로젝션 구조가 비순환적이며 방해 요소 삼연조가 없을 경우에만 성립하며, 집합 값이 순서에 포함되지 않는 한이다.
• 카운트-디스티너트 집합 함수는 동일한 이분법으로 처리 가능하지만, 세어지는 속성이 로그 도메인을 가지며 사전순서의 끝에 자유 변수로 처리되어야 한다.
• 집합 값이 사전순서에 포함될 경우, 가역성 조건는 훨씬 더 엄격해지며, 효율성을 위해 새로운 더 좁은 조건이 필요하다.
• 덧셈이 아이디포텐트인 반군(예: 최소, 최대, 카운트-디스티너트)에 대해, 직접 액세스의 이분법은 Rcarry-탈애너테이션된 쿼리의 분석으로 환원되며, 동일한 비순환성 및 방해 요소 삼연조 없음 조건이 적용된다.
• 비순환적이거나 방해 요소 삼연조를 포함하는 쿼리에 대해, HYPERCLIQUE 및 SparseBMM 가정 하에서 비가역성이 증명된다. 이는 집합 함수가 존재하더라도 마찬가지다.
• 자기 조인 쿼리에 대해서도 결과를 일반화할 수 있으며, 먼저 관계 기호를 재이름하고 복사하여 자기 조인을 제거함으로써, 가역성과 관련된 구조적 성질를 유지한다.