[논문 리뷰] A Simple Algorithm for Consistent Query Answering Under Primary Keys

Diego Figueira, Anantha Padmanabha외 2명|arXiv (Cornell University)|2023. 01. 01.

Advanced Database Systems and Queries인용 수 2

한 줄 요약

이 논문은 주 키 제약 조건 하에서 일致하는 쿼리 응답(CQA)을 위한 단순한 인플레이션 고정점 알고리즘을 제시한다. 이 알고리즘은 반복적으로 최대 쿼리 크기 k 이내의 사실 집합을 확장함으로써 불리안 연합 쿼리가 비일致 데이터베이스에서 확실한지 효율적으로 결정한다; 이 알고리즘은 자가 조인 없는 쿼리와 경로 쿼리에 대해 다항 시간 내에 정확하게 확실성을 식별하며, 쿼리 확실성이 일阶논리로 정의 가능할 때이고 그때에만 유계이다.

ABSTRACT

We consider the dichotomy conjecture for consistent query answering under primary key constraints. It states that, for every fixed Boolean conjunctive query q, testing whether q is certain (i.e. whether it evaluates to true over all repairs of a given inconsistent database) is either polynomial time or coNP-complete. This conjecture has been verified for self-join-free and path queries. We propose a simple inflationary fixpoint algorithm for consistent query answering which, for a given database, naively computes a set $Δ$ of subsets of facts of the database of size at most k, where k is the size of the query q. The algorithm runs in polynomial time and can be formally defined as: (1) Initialize $Δ$ with all sets $S$ of at most $k$ facts such that $S\models q$. (2) Add any set $S$ of at most k facts to $Δ$ if there exists a block $B$ (i.e., a maximal set of facts sharing the same key) such that for every fact $a \in B$ there is a set $S' \subseteq S \cup \{a\}$ such that $S'\in Δ$. For an input database $D$, the algorithm answers "q is certain" iff $Δ$ eventually contains the empty set. The algorithm correctly computes certainty when the query q falls in the polynomial time cases of the known dichotomies for self-join-free queries and path queries. For arbitrary Boolean conjunctive queries, the algorithm is an under-approximation: the query is guaranteed to be certain if the algorithm claims so. However, there are polynomial time certain queries (with self-joins) which are not identified as such by the algorithm.

연구 동기 및 목표

• 주 키 하에서 일치하는 쿼리 응답에 대한 열린 이분법 추측을 해결하기 위해, 이 문제는 항상 P에 속하거나 coNP-완전하다는 것이다.
• 처리 가능한 연합 쿼리 클래스에 대해 정확하게 확실한 답변을 계산하는 단순하고 효율적인 알고리즘을 설계하기 위해.
• 알고리즘이 부족 근사가 정확해지는 조건, 특히 일阶논리 정의 가능성과의 관계를 규명하기 위해.
• 비불리안 및 상수를 포함하는 쿼리로 알고리즘의 일반화를 수행하면서 다항 시간 복잡도를 유지하기 위해.
• 충돌 초그래프를 통해 다른 제약 유형으로 일반화할 수 있는 통합 프레임워크를 제공하기 위해.

제안 방법

• 쿼리 q의 크기 k를 기준으로, q를 만족하는 최대 k개의 사실로 이루어진 모든 부분집합 S를 포함하는 집합 ∆를 초기화한다.
• 어느 블록 B(동일한 키를 공유하는 사실들)에 대해, B에 속한 각 사실 a에 대해 S ∪ {a}의 부분집합인 S′이 이미 ∆에 포함되어 있으면, 최대 k개의 사실로 이루어진 집합 S를 ∆에 추가하여 반복적으로 확장한다.
• 더 이상 새로운 집합을 추가할 수 없을 때 알고리즘이 종료되며, 쿼리가 확실한지 여부는 ∅ ∈ ∆인지 여부에 의해 결정된다.
• 알고리즘은 다항 시간 내에 작동하며, 공식적으로는 인플레이션 고정점 과정으로 정의된다.
• 비불리안 쿼리의 경우, 각 후보 답변 ¯a에 대해 ∆(q, D, ¯a)에 ∅가 포함되어 있는지 확인한다.
• 자신의 해석을 고정하고 자유 변수가 남아 있지 않을 경우 반복 횟수를 1로 줄임으로써 상수를 포함하는 데에 알고리즘을 적응시킬 수 있다.

실험 결과

연구 질문

• RQ1 제안된 고정점 알고리즘이 어떤 연합 쿼리 클래스에 대해 모든 확실한 답변을 정확하게 계산하는가?
• RQ2 알고리즘의 부족 근사가 정확해지는 조건은 무엇인가? 즉, 어떤 경우에 모든 확실한 쿼리를 정확히 식별하는가?
• RQ3 연합 쿼리의 확실성이 언제 일阶논리로 정의 가능하며, 이는 고정점 알고리즘의 유계성과 어떻게 관련되는가?
• RQ4 이 알고리즘은 주 키 외의 다른 유형의 무결성 제약 조건으로 일반화될 수 있는가?
• RQ5 이 알고리즘의 단순화된 변형을 통해 자가 조인 없는 쿼리에 대해 더 낮은 계산 복잡도(LogSpace 등)를 달성할 수 있는가?

주요 결과

• 알고리즘은 알려진 이분법에 따라 처리 가능한 자가 조인 없는 연합 쿼리 전반에 대해 확실성을 정확히 계산한다. 즉, PCond 조건을 만족하는 쿼리들이다.
• 경로 쿼리의 경우, 쿼리가 처리 가능할 때 알고리즘은 모든 확실한 쿼리를 정확히 식별하며, 알고리즘의 유계성은 정확히 쿼리 확실성의 일阶논리 정의 가능성과 일치한다.
• 일반적인 연합 쿼리에 대해서는 알고리즘이 부족 근사이다: 만약 알고리즘이 '확실하다'고 출력한다면 실제로 확실하지만, 자가 조인을 포함한 다항 시간 확실 쿼리 중 일부를 놓칠 수 있다.
• 고정점 알고리즘이 유계이다(즉, 데이터베이스 크기에 관계없이 유한한 단계 내에 종료된다)는 것과 쿼리의 확실성이 일阶논리로 정의 가능할 때이고 그때에만 일치한다.
• 알고리즘은 비불리안 쿼리 및 상수를 포함하는 쿼리로 확장되며, 데이터 복잡도에서 다항 시간 복잡도를 유지한다.
• 충돌 초그래프 일반화의 결과로, 알고리즘의 구조가 부정 제약 조건이나 키 제약 조건과 같은 다른 제약 유형으로 자연스럽게 확장됨을 시사한다.