[논문 리뷰] Extremal Fitting Problems for Conjunctive Queries

Balder ten Cate, Víctor Dalmau외 2명|arXiv (Cornell University)|2022. 06. 10.

Advanced Database Systems and Queries인용 수 4

한 줄 요약

이 논문은 호모모르피즘 이중성, 경계(frontier) 및 직접곱을 이용한 구조적 특성화를 통해, 가장일반적, 가장특수적, 유일하게 적합한 CQ를 포함한 극한 적합 CQ를 도입하고 형식화한다. 이들 극한 CQ에 대해 날카로운 복잡도 상한과 이중지수 크기 하한을 확립하며, 주요 결과로 가장일반적 적합 CQ를 구성하는 데 3ExpTime이 필요하고, 이중지수 크기의 필요성이 있을 수 있음을 보여주며, 유일하게 적합한 CQ는 PTime 내에서 검증 가능하고 ExpTime 내에서 구성 가능하다.

ABSTRACT

The fitting problem for conjunctive queries (CQs) is the problem to construct a CQ that fits a given set of labeled data examples. When a fitting CQ exists, it is in general not unique. This leads us to proposing natural refinements of the notion of a fitting CQ, such as most-general fitting CQ, most-specific fitting CQ, and unique fitting CQ. We give structural characterizations of these notions in terms of (suitable refinements of) homomorphism dualities, frontiers, and direct products, which enable the construction of the refined fitting CQs when they exist. We also pinpoint the complexity of the associated existence and verification problems, and determine the size of fitting CQs. We study the same problems for UCQs and for the more restricted class of tree CQs.

연구 동기 및 목표

• 적합 CQ의 유일성 부재에 대응하여 가장일반적, 가장특수적, 유일하게 적합한 CQ와 같은 극한 적합 CQ를 형식화하고 특성화하기.
• 이들 극한 적합 CQ에 대한 검증, 존재성, 구성 문제의 계산 복잡도를 연구하기.
• 특히 트리 CQ와 CQ의 합집합(UCQ)의 맥락에서 극한 적합 CQ의 크기 상한을 규명하기.
• 효율적 구성과 복잡도 분석을 위한 호모모르피즘 이중성, 경계, 직접곱을 이용한 구조적 특성화 제공하기.

제안 방법

• 가장일반적, 가장특수적, 가장일반적 기저, 유일하게 적합한 CQ의 공식 정의 제안.
• 호모모르피즘 이중성과 경계 구조를 활용해 극한 CQ의 존재성과 구성에 대한 특성화 수행.
• 질의 포함 관계 및 크기 상한 분석을 위해 직접곱 구성 기법 적용.
• 모의 실험과 호모모르피즘 기법을 활용해 양성 및 음성 예시에 대한 질의 포함 및 비포함 여부 검증.
• 소수 길이의 사이클을 가진 인스턴스의 가족과 복잡한 음성 인스턴스를 구성하여 적합 CQ의 크기에 이중지수 크기 요구를 유도.
• 소수 정리와 사이클 구조를 활용해, 음성 예시에 매핑되지 않으면서 모든 양성 예시를 포함하는 CQ는 깊이가 큰 CQ여야 함을 강제함.

실험 결과

연구 질문

• RQ1 가장일반적, 가장특수적, 유일하게 적합한 CQ의 구조적 특성은 무엇인가?
• RQ2 극한 적합 CQ의 검증, 존재성 결정, 구성 문제의 계산 복잡도는 무엇인가?
• RQ3 극한 적합 CQ의 날카로운 크기 상한은 무엇이며, 특히 트리 CQ의 경우는 어떠한가?
• RQ4 이들 극한 CQ는 호모모르피즘 이중성과 경계 구조와 어떻게 관련이 있는가?
• RQ5 극한 적합 CQ는 효율적으로 구성될 수 있으며, 그 크기의 한계는 무엇인가?

주요 결과

• 가장특수적 적합 CQ인지 여부를 검증하는 문제의 복잡도는 DP-complete이며, 존재성 문제의 복잡도는 coNExpTime-complete이다.
• 가장일반적 적합 CQ는 2ExpTime 내에서 구성 가능하지만, 크기가 이중지수 크기일 수 있으며, 트리 CQ의 경우 하한이 2^2^n이다.
• UCQ의 경우, 유일하게 적합한 CQ를 검증하는 데는 ExpTime이 필요하고, 구성은 2ExpTime 내에서 가능하며, 적합 CQ의 크기 하한은 2Exp이다.
• 가장일반적 적합 CQ의 기저는 검증 및 구성에 대해 NExpTime-complete이며, 크기 하한이 2Exp이다.
• 트리 CQ의 경우, 모든 적합 CQ는 깊이 최소 ∏p_i - 1인 전체 이진 L,R,A-트리를 포함해야 하며, 이는 n개의 소수 길이 사이클을 가진 CQ에 대해 적합 CQ의 크기 하한이 2^2^n이 되도록 강제한다.
• 유일하게 적합한 CQ는 존재하며, PTime 내에서 검증 가능하고, ExpTime 내에서 구성 가능하며, 최소 지수 크기의 필요성이 있다.