[논문 리뷰] Answering UCQs under Updates and in the Presence of Integrity Constraints

Christoph Berkholz, Jens Keppeler외 1명|arXiv (Cornell University)|2017. 09. 28.

Logic, Reasoning, and Knowledge참고 문헌 18인용 수 6

한 줄 요약

이 논문은 업데이트 하에서 동적 쿼리 평가의 처리 가능성에 정확히 대응하는 유니언 컬렉티브 쿼리(UCQ)의 계층 구조—t-계층적, q-계층적, 완전히 q-계층적—을 도입한다. 이 클래스들에 대해 테스트, 순회, 세기 작업이 일정한 업데이트 및 응답 시간으로 유지됨을 증명하며, 이러한 클래스 외부에서는 표준 알고리즘 추측에 기반해 부분선형 성능이 불가능하다고 보여준다.

ABSTRACT

We investigate the query evaluation problem for fixed queries over fully dynamic databases where tuples can be inserted or deleted. The task is to design a dynamic data structure that can immediately report the new result of a fixed query after every database update. We consider unions of conjunctive queries (UCQs) and focus on the query evaluation tasks testing (decide whether an input tuple belongs to the query result), enumeration (enumerate, without repetition, all tuples in the query result), and counting (output the number of tuples in the query result). We identify three increasingly restrictive classes of UCQs which we call t-hierarchical, q-hierarchical, and exhaustively q-hierarchical UCQs. Our main results provide the following dichotomies: If the query's homomorphic core is t-hierarchical (q-hierarchical, exhaustively q-hierarchical), then the testing (enumeration, counting) problem can be solved with constant update time and constant testing time (delay, counting time). Otherwise, it cannot be solved with sublinear update time and sublinear testing time (delay, counting time), unless the OV-conjecture and/or the OMv-conjecture fails. We also study the complexity of query evaluation in the dynamic setting in the presence of integrity constraints, and we obtain according dichotomy results for the special case of small domain constraints (i.e., constraints which state that all values in a particular column of a relation belong to a fixed domain of constant size).

연구 동기 및 목표

• 데이터베이스 업데이트 하에서 유니언 컬렉티브 쿼리(UCQ)의 동적 쿼리 평가에 대한 정확한 처리 가능성 경계를 규명하는 것.
• 이전의 컬렉티브 쿼리(CQ) 연구를 UCQ로 확장하기 위해 t-계층적, q-계층적, 완전히 q-계층적이라는 점점 더 엄격한 세 가지 클래스를 도입하는 것.
• 특히 작은 도메인 제약 조건을 포함한 무결성 제약 조건이 UCQ 평가의 동적 복잡도에 미치는 영향을 분석하는 것.
• OMv-추측과 OV-추측에 기반한 날카로운 하한을 설정하여, 정의된 클래스 외부에서는 부분선형 업데이트 및 응답 시간이 불가능하다는 것을 보여주는 것.
• 포함 관계 및 기능적 의존성은 어려운 쿼리를 처리 가능한 것으로 전환할 수 있지만, 이러한 전환은 항상 계층적 쿼리 클래스로 포괄되지 않는다는 것을 보여주는 것.

제안 방법

• 동적 쿼리 평가에서 일정 시간 테스트를 특징짓는 새로운 클래스인 t-계층적 CQ를 도입하는 것.
• t-계층적 및 q-계층적 쿼리의 개념을 UCQ로 확장하고, 완전히 q-계층적 UCQ라는 새로운 클래스를 정의하는 것.
• 정의된 클래스에 속하는 쿼리에 대해 선형 사전처리, 일정한 업데이트 시간, 일정한 응답 시간(테스트, 순회 지연, 세기 시간)을 지원하는 동적 데이터 구조를 설계하는 것.
• OMv-추측과 OV-추측을 사용하여 하한을 증명하여, 비계층적 쿼리에 대해 부분선형 업데이트 및 응답 시간이 불가능하다는 것을 보여주는 것.
• 작은 도메인 제약 조건(각 속성에 대해 고정 크기의 도메인)의 영향을 분석하고, 이 조건이 이외에 어려운 쿼리를 처리 가능한 것으로 만들 수 있음을 보이며, 이 설정에서 처리 가능한 UCQ의 정확한 특성화를 제공하는 것.
• 구조적 쿼리 분해 및 호모모르픽 코어 분석을 사용하여 쿼리 구조와 동적 복잡도 간의 관계를 분석하며, 특히 원자 간 의존성과 변수 사용 패턴을 중심으로 분석하는 것.

실험 결과

연구 질문

• RQ1 어떤 UCQ 클래스들이 동적 쿼리 평가에서 일정한 업데이트 및 응답 시간을 보장할 수 있는가?
• RQ2 t-계층적, q-계층적, 완전히 q-계층적 UCQ는 상호간에 어떻게 관련되어 있으며, 이를 정의하는 구조적 특성은 무엇인가?
• RQ3 소규모 도메인 제약 조건이나 포함 관계와 같은 무결성 제약 조건이 동적 환경에서 어려운 쿼리를 처리 가능한 것으로 전환할 수 있는가?
• RQ4 표준 알고리즘 추측에 기반한 동적 쿼리 평가에 대한 날카로운 하한은 무엇인가?
• RQ5 기능적 의존성 또는 포함 관계를 통해 어려운 쿼리를 처리 가능한 것으로 줄일 수 있는 정도는 어느 정도이며, 이러한 감소는 계층적 쿼리 클래스로 포괄될 수 있는가?

주요 결과

• 모든 t-계층적 UCQ에 대해 테스트 문제는 선형 사전처리, 일정한 업데이트 시간, 일정한 테스트 시간으로 해결 가능하다.
• 모든 q-계층적 UCQ에 대해 순회 문제는 선형 사전처리, 일정한 업데이트 시간, 출력 튜플 간 일정한 지연 시간으로 해결 가능하다.
• 모든 완전히 q-계층적 UCQ에 대해 세기 문제는 선형 사전처리, 일정한 업데이트 시간, 일정한 세기 시간으로 해결 가능하다.
• 만약 UCQ가 t-계층적(또는 q-계층적, 완전히 q-계층적) UCQ와 동치가 아니면, OMv-추측을 가정할 경우 테스트 문제는 부분선형 업데이트 시간과 부분선형 응답 시간으로 해결될 수 없으며, 세기 문제의 경우 OV-추측을 가정할 경우 마찬가지로 불가능하다.
• 소규모 도메인 제약 조건이 존재할 경우, 동적 UCQ 평가의 처리 가능성 경계는 정확히 t-계층적, q-계층적, 완전히 q-계층적 클래스로 특징지어진다.
• 포함 관계는 비계층적 쿼리를 동치의 계층적 쿼리로 전환할 수 있지만, 이러한 전환은 반복 적용으로 항상 가능하지 않으며, 모든 이러한 감소가 계층적 클래스로 포괄되는 것은 아니다.