[논문 리뷰] Enumeration Complexity of Conjunctive Queries with Functional Dependencies

Nofar Carmeli, Markus Kröll|arXiv (Cornell University)|2017. 12. 21.

Data Management and Algorithms인용 수 7

한 줄 요약

이 논문은 기능적 의존성(FDs) 하에서 연결 쿼리(CQs)의 수세기 복잡도에 대한 일반화된 이분법을 제안하며, FD-확장 쿼리 $Q^+$가 자유-연결(free-connex)이면 선형 사전처리 후 일정 지연 수세기 가능함을 보여준다. 이 접근법은 의존성을 쿼리 구조에 통합함으로써 기존에 FD가 존재할 경우 어려운 것으로 간주되었던 쿼리에 대해서도 처리 가능성을 제공한다.

ABSTRACT

We study the complexity of enumerating the answers of Conjunctive Queries (CQs) in the presence of Functional Dependencies (FDs). Our focus is on the ability to list output tuples with a constant delay in between, following a linear-time preprocessing. A known dichotomy classifies the acyclic self-join-free CQs into those that admit such enumeration, and those that do not. However, this classification no longer holds in the common case where the database exhibits dependencies among attributes. That is, some queries that are classified as hard are in fact tractable if dependencies are accounted for. We establish a generalization of the dichotomy to accommodate FDs; hence, our classification determines which combination of a CQ and a set of FDs admits constant-delay enumeration with a linear-time preprocessing. In addition, we generalize a hardness result for cyclic CQs to accommodate a common type of FDs. Further conclusions of our development include a dichotomy for enumeration with linear delay, and a dichotomy for CQs with disequalities. Finally, we show that all our results apply to the known class of "cardinality dependencies" that generalize FDs (e.g., by stating an upper bound on the number of genres per movies, or friends per person).

연구 동기 및 목표

• 기본적으로 의존성이 없는 것으로 가정하는 기존 CQ 수세기 이분법의 격차를 메우기 위해 기능적 의존성(FDs)을 복잡도 분류에 통합하는 것.
• 기본 복잡도 가정 하에서 어려움으로 분류되었던 쿼리들이 FD를 고려할 경우 처리 가능해지는지 보여주는 것.
• 일정 지연 수세기의 이분법을 자가-조인 없는 CQs와 비자유-연결 없는 CQs로 확장하여, 이전 결과를 일반화하는 것.
• FD와 CD를 고려한 수세기 복잡도를 분류하기 위한 통합 프레임워크를 제공하며, 중심 개념으로 FD-확장 쿼리를 사용하는 것.

제안 방법

• 모든 변수가 FD에 의해 유도되는 바를 포함하도록 각 원자와 헤드에 변수를 추가한 FD-확장 쿼리 $Q^+$를 도입하여 의존성을 쿼리 구조에 직접 통합한다.
• FD 하에서 $Q$를 해결하는 것이 $Q^+$를 해결하는 것으로 감소됨을 증명함으로써, $Q^+$의 처리 가능성은 $Q$의 처리 가능성으로 이어진다.
• 기존의 자유-연결 비순환 CQ에 대한 이분법을 활용하여 $Q^+$를 분류하고, 이를 통해 FD 하에서 $Q$를 분류한다.
• 순환 CQ에 대한 경직성 결과를 단일 변수 FD까지 일반화하여, 이러한 쿼리가 표준 가정 하에 선형 시간 내에 수세기되지 않음을 보여준다.
• 변환을 통해 질의를 기본 사례로 환원하고 복잡도 클래스를 유지함으로써, CQ에 대한 불등호와 기수 의존성(CDs)으로 결과를 확장한다.
• 이행 감소와 동치성 유지 변환을 적용하여, 원래 이분법과 동일한 복잡도 가정 하에 모든 결과가 성립함을 보여준다.

실험 결과

연구 질문

• RQ1 자기-조인 없는 비순환 CQ의 표준 이분법이 기능적 의존성(FDs)을 처리할 수 있도록 확장될 수 있는가?
• RQ2 FD가 있는 CQ가 선형 사전처리 후 일정 지연 수세기를 가능하게 하는 조건은 무엇인가?
• RQ3 모든 FD가 단일 변수일 경우, 순환 CQ의 복잡도 분류가 FD의 존재로 인해 변화하는가?
• RQ4 FD에 대한 결과를 불등호와 기수 의존성(CDs)이 있는 CQ로 확장할 수 있는가?
• RQ5 FD-확장 쿼리 $Q^+$의 어떤 구조적 성질이 FD 하에서 $Q$의 처리 가능성에 완전히 특징을 부여하는가?

주요 결과

• CQ $Q$가 선형 사전처리 후 일정 지연 수세기를 가능하게 하려면 그 FD-확장 쿼리 $Q^+$가 자유-연결이어야 하고, 그 조건이 유일 조건이다.
• FD-자유-연결 쿼리의 클래스는 자유-연결 쿼리의 클래스를 진정으로 포함하며, 이는 이전에 처리 불능으로 간주되었으나 FD가 존재할 경우 처리 가능한 쿼리를 포괄한다.
• 자기-조인 없는, CD-비순환적이지만 CD-자유-연결이 아닌 CQ의 경우, 부울 행렬 곱셈이 이차 시간 내에 수행 불가능하다는 표준 가정 하에 ${\sf DelayC_{lin}}$에 속하지 않는다.
• 자기-조인 없는, CD-순환적이며 유일하게 단일 변수 FD만을 포함하는 CQ의 경우, 표준 가정 하에 선형 시간 내에 결정 가능하지도 않다. 이는 $\text{\sc Tetra}(k)$ 문제를 선형 시간 내에 해결할 수 없다는 가정에 기반한다.
• 모든 결과는 불등호와 기수 의존성(CDs)이 있는 CQ로 확장되며, 동일한 가정 하에 동일한 분류가 유지된다.
• 수세기 알고리즘의 공간 복잡도는 출력 크기로 제한되지만, 더 공간 효율적인 해법이 존재하는지는 여전히 미해결이다.