[논문 리뷰] On the Computational Complexity of Consistent Query Answers

Jan Chomicki, Jerzy Marcinkowski|ArXiv.org|2002. 04. 05.

Advanced Database Systems and Queries참고 문헌 9인용 수 19

한 줄 요약

이 논문은 기능적 의존성과 거부 제약 조건을 포함한 무결성 제약 조건이 있는 데이터베이스에서 일관된 쿼리 답변의 계산 복잡도를 완전히 분류한다. 특정 쿼리 및 제약 조건 유형에 대해서는 일관된 답변 계산이 처리 가능하다는 것을 입증하지만(PTIME 내), 특히 존재적 쿼리와 복잡한 구조적 특성을 가진 거부 제약 조건을 포함할 경우 co-NP-완전이 된다.

ABSTRACT

We consider here the problem of obtaining reliable, consistent information from inconsistent databases -- databases that do not have to satisfy given integrity constraints. We use the notion of consistent query answer -- a query answer which is true in every (minimal) repair of the database. We provide a complete classification of the computational complexity of consistent answers to first-order queries w.r.t. functional dependencies and denial constraints. We show how the complexity depends on the {\em type} of the constraints considered, their {\em number}, and the {\em size} of the query. We obtain several new PTIME cases, using new algorithms.

연구 동기 및 목표

• 불일치하는 데이터베이스에서 일관된 쿼리 답변의 계산 복잡도를 공식적으로 정의하고 분석하는 것.
• 데이터 통합 또는 시스템 제약으로 인해 무결성 제약 조건을 위반하는 데이터베이스에서 신뢰할 수 있는 쿼리 결과를 도출하는 데 도전하는 것.
• 기능적 의존성과 거부 제약 조건을 포함한 다양한 유형의 무결성 제약 조건에 대해 일관된 쿼리 답변의 복잡도를 분류하는 것.
• 일관된 쿼리 답변을 효율적으로(PTIME 내) 계산할 수 있는 조건과 계산적으로 어려운(co-NP-완전) 조건을 식별하는 것.

제안 방법

• 원래의 불일치하는 인스턴스와 최소한의 차이를 보이는 최소의 일관된 데이터베이스인 '수리(repair)'의 개념을 사용한다.
• 일관된 쿼리 답변 문제를 그래프 이론적 성질, 예를 들어 간선 색칠된 그래프에서 최대의 V-free 또는 Y-free 집합의 존재성으로 환원한다.
• 특정 쿼리 및 제약 조합에 대해 co-NP-완전성을 입증하기 위해 3SAT 및 기타 NP-완전 문제로의 환원을 활용한다.
• 거부 제약 조건을 기능적 의존성의 일반화로 정의하여, 임의의 내장된 술어와 제약 조건 당 다수의 리터럴을 허용한다.
• 논리 공식을 인코딩하기 위해 간선 색칠된 그래프에서 데이터베이스 인스턴스를 구성함으로써 복잡도 분석을 그래프 성질을 통해 수행한다.
• 모델 이론적 의미론을 적용하여 일관된 답변을 데이터베이스의 가능한 모든 수리에서 참인 쿼리로 정의한다.

실험 결과

연구 질문

• RQ1 일阶논리 쿼리에 대해 일관된 쿼리 답변 계산이 계산적으로 처리 가능하다는 조건(즉, PTIME 내)은 무엇인가?
• RQ2 기능적 의존성과 거부 제약 조건과 같은 제약 조건의 유형과 수에 따라 일관된 쿼리 답변의 복잡도는 어떻게 변하는가?
• RQ3 거부 제약 조건이 있는 데이터베이스에서 존재적 쿼리에 대해 일관된 쿼리 답변의 계산 복잡도는 무엇인가?
• RQ4 일관된 쿼리 답변 문제를 알려진 NP-완전 또는 co-NP-완전 문제로 환원할 수 있는가, 그리고 이는 알고리즘 설계에 어떤 의미를 갖는가?
• RQ5 데이터베이스 또는 제약 조건의 어떤 구조적 특성이 일관된 쿼리 답변에서 co-NP-완전성을 초래하는가?

주요 결과

• 기각 제약 조건에 대해 연속 쿼리에 대한 일관된 쿼리 답변은 PTIME 내에서 계산 가능하며, 이는 이전의 이진 기각 제약 조건 결과를 임의의 양자화되지 않은 쿼리로 일반화한다.
• 형태가 ∃x,y[R(x,y,b)]인 쿼리에 대해, 무결성 제약 조건에 두 가지 핵심 의존성(A→BC 및 B→AC)이 포함되어 있을 경우, 일관된 쿼리 답변은 co-NP-data-완전이다.
• 삼색 그래프에서 최대의 V-free 집합이 존재하는 것은 특정 쿼리가 거짓이 되는 수리가 존재하는 것과 대응되며, 이는 co-NP-완전성 결과를 확립한다.
• 형태가 ¬[R(x,y,s) ∧ R(y,z,s′) ∧ R(y,w,s′′) ∧ s′≠s′′]인 단일 기각 제약 조건이 있을 경우, ∃x,y[R(x,y,p)]에 대한 일관된 쿼리 답변은 co-NP-data-완전이다.
• 그래프가 최대-Y-free 성질을 갖는지 여부를 판단하는 문제는 NP-완전이며, 이는 특정 일관된 쿼리 답변 문제의 co-NP-완전성의 기초가 된다.
• 이 논문은 일관된 쿼리 답변의 복잡도에 대해 완전한 분류를 수립하며, 처리 가능성은 제약 조건의 구조와 쿼리의 형태에 따라 달라진다는 것을 입증한다.