[논문 리뷰] Boolean Tensor Decomposition for Conjunctive Queries with Negation

Mahmoud Abo Khamis, Hung Q. Ngo외 2명|arXiv (Cornell University)|2017. 12. 20.

Tensor decomposition and applications참고 문헌 41인용 수 6

한 줄 요약

이 논문은 유계 차수를 가진 관계에서 부정을 포함한 연결 조건 쿼리 평가를 위한 새로운 접근법을 제안한다. 이는 관련 쿼리를 등가의 not-all-equal (NAE) 조건을 가진 쿼리로 재작성한 후, 일반화된 색칠 기법을 통한 NAE 조건의 부울 텐서 분해를 활용한다. 이 방법은 최고의 양성 쿼리 알고리즘(InsideOut 및 PANDA)과 동일한 데이터 복잡도를 달성하며, 구조화된 부정 관계의 경우 쿼리 복잡도가 다항식이 되고 일반적인 경우에만 지수적일 뿐이며, 이러한 쿼리에 대해 이전 방법에 비해 상당한 향상이 이루어진다.

ABSTRACT

We propose an algorithm for answering conjunctive queries with negation, where the negated relations have bounded degree. Its data complexity matches that of the best known algorithms for the positive subquery of the input query and is expressed in terms of the fractional hypertree width and the submodular width. The query complexity depends on the structure of the negated subquery; in general it is exponential in the number of join variables occurring in negated relations yet it becomes polynomial for several classes of queries. This algorithm relies on several contributions. We show how to rewrite queries with negation on bounded-degree relations into equivalent conjunctive queries with not-all-equal (NAE) predicates, which are a multi-dimensional analog of disequality (not-equal). We then generalize the known color-coding technique to conjunctions of NAE predicates and explain it via a Boolean tensor decomposition of conjunctions of NAE predicates. This decomposition can be achieved via a probabilistic construction that can be derandomized efficiently.

연구 동기 및 목표

• 기존의 연결 조건 쿼리에 대한 부정이 포함된 알고리즘의 높은 복합 복잡도 문제를 해결하며, 특히 부정 관계의 차수가 유계일 경우에 초점을 맞춘다.
• InsideOut 및 PANDA와 같은 최첨단 양성 쿼리 평가 알고리즘의 데이터 복잡도를 재현할 수 있는 방법을 개발한다.
• 부정 관계의 구조적 특성을 활용하여 부정 연결 쿼리의 쿼리 복잡도를 낮추며, 특히 NAE 조건과 텐서 분해를 통해 이를 실현한다.
• 색칠 기법을 임의의 NAE 조건의 연결으로 일반화하여 효율적이고 결정적인 평가를 가능하게 하는 일반적 프레임워크를 제공한다.

제안 방법

• 유계 차수를 가진 관계에서의 부정을 포함한 연결 쿼리를 등가의 NAE 조건을 가진 연결 쿼리의 합집합으로 재작성한다.
• 클리크 형태의 부등호 조건에서부터 임의의 NAE 조건의 연결으로 색칠 기법을 일반화하기 위해 확률적 구성 기법을 사용한다.
• NAE 조건의 연결을 부울 텐서 분해로 표현하여 동적 프로그래밍 기반의 효율적 쿼리 평가를 가능하게 한다.
• 선형 오류 수정 코드를 기반으로 한 길버트-바르샤모프 경계에 기반한 코드 병합 기법을 사용하여 확률적 구성 과정을 결정화하며, 선형 시간 내에 구성 가능하게 한다.
• 기존의 쿼리 평가 알고리즘(InsideOut 및 PANDA)과 통합하여 낮은 데이터 복잡도 상한을 그대로 계승한다.
• 결과로 도출된 프레임워크를 통해 부정 관계의 구조에 따라 쿼리 복잡도가 다항식으로 의존하도록 한다. 특히 부정 관계의 초그래프가 유리한 성질을 가질 경우에 유리하다.

실험 결과

연구 질문

• RQ1 유계 차수를 가진 관계에서의 부정을 포함한 연결 쿼리는 InsideOut 및 PANDA와 같은 양성 쿼리 평가 알고리즘과 동일한 데이터 복잡도로 평가될 수 있는가?
• RQ2 색칠 기법은 부등호 클리크를 초월하여 임의의 NAE 조건의 연결을 다룰 수 있도록 어떻게 일반화될 수 있는가?
• RQ3 부울 텐서 분해는 어떻게 부정 연결 쿼리의 효율적 평가를 가능하게 하는가? 그리고 이를 어떻게 구성하고 결정화할 수 있는가?
• RQ4 특정 구조적 특성을 가진 부정 관계 클래스에 대해서는 쿼리 복잡도를 다항 시간으로 줄일 수 있는가? 그리고 이러한 행동을 지배하는 매개변수들은 무엇인가?
• RQ5 쿼리 구조에 따라 색의 수를 민감하게 조정함으로써 이전 연구보다 더 정교한 복잡도 분석을 달성할 수 있는가?

주요 결과

• 제안된 방법은 InsideOut 및 PANDA와 동일한 데이터 복잡도를 달성하며, InsideOut를 사용할 경우 O(f(Q) · log N · (N^{fhtw_F(body)} + |output|))의 런타임 상한을, PANDA를 사용할 경우 O(f(Q) · (poly(log N) · N^{subw_F(body)} + log N · |output|))의 상한을 확보한다.
• 부정 관계의 초그래프가 유리한 구조를 가질 경우 변수 수에 대해 다항식 복잡도를 보이며, 최악의 경우에만 지수적 복잡도를 보인다.
• 이 방법은 NAE 조건의 연결에 대한 새로운 부울 텐서 분해를 도입하여 일반화된 색칠 기법을 가능하게 한다.
• 텐서 분해의 확률적 구성은 코드 병합 기법을 통해 효율적으로 결정화되며, 크기 O(k² log N)의 (N, k², k)-완전 해시 가족을 생성하여 이전의 O(k⁴ log N) 구성보다 향상된다.
• 이 프레임워크는 부정 관계를 포함한 연결 쿼리의 합집합으로 확장 가능하며, 구조적 폭 넓은 폭(width)의 하위모듈러성 폭을 활용한 도메인 인식 버전을 통합하여 양성 관계에 대한 성능 향상이 가능하다.
• 이 방법은 실수에 대한 합-곱 반세마에서 일반화될 수 없으며, 유도된 k-경로 쿼리의 세어내기 문제의 #W[1]-난이도로 인해 본질적으로 계산이 어려운 편이다.