[논문 리뷰] Answering FO+MOD Queries Under Updates on Bounded Degree Databases

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

Advanced Database Systems and Queries인용 수 8

한 줄 요약

이 논문은 고정된 k-항 FO+MOD 쿼리의 결과를 유계 차수 데이터베이스에서 튜플 삽입 또는 삭제 이후 상수 시간의 업데이트 시간으로 유지하는 동적 데이터 구조를 제시한다. FO+MOD에 대한 효과적인 한프 정규형을 활용하고 스킵 함수 및 국소 이웃 구조를 유지함으로써, 선형 전처리 시간과 쿼리 크기 및 차수 유계에 대해 3중 지수적 의존도를 가지며, 표준 복잡도 가정 하에 최적인 상수 시간의 쿼리 응답, 테스트, 카운팅 및 상수 지연 순회를 가능하게 한다.

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 algorithm that immediately reports the new result of a fixed query after every database update. We consider queries in first-order logic (FO) and its extension with modulo-counting quantifiers (FO+MOD), and show that they can be efficiently evaluated under updates, provided that the dynamic database does not exceed a certain degree bound. In particular, we construct a data structure that allows to answer a Boolean FO+MOD query and to compute the size of the query result within constant time after every database update. Furthermore, after every update we are able to immediately enumerate the new query result with constant delay between the output tuples. The time needed to build the data structure is linear in the size of the database. Our results extend earlier work on the evaluation of first-order queries on static databases of bounded degree and rely on an effective Hanf normal form for FO+MOD recently obtained by [Heimberg, Kuske, and Schweikardt, LICS, 2016].

연구 동기 및 목표

• 유계 차수 데이터베이스에서 고정된 FO+MOD 쿼리에 대한 동적 쿼리 평가 시스템을 설계한다.
• 튜플 삽입 및 삭제 상황에서도 쿼리 결과를 효율적으로 유지한다.
• 선형 전처리 시간 이후 상수 시간의 업데이트, 응답, 테스트, 카운팅 및 순회 연산을 달성한다.
• 일阶 논리의 정적 가역성 결과를 모듈로 수세기 포함한 동적 환경으로 확장한다.
• FPT ≠ AW[∗]s 가정 하에 복잡도 상한이 최적임을 입증하며, 쿼리 크기에 대해 3중 지수적 의존도가 피할 수 없다는 것을 보여준다.

제안 방법

• 최근 히르베르거 등 (LICS 2016) 에 의해 확립된, 유계 차수 데이터베이스에서의 FO+MOD에 대한 효과적인 한프 정규형을 활용한다.
• 동적 쿼리 평가 문제를 유계 차수 그래프에서의 독립 집합 유지 문제로 환원한다.
• 국소 이웃 구조와 스킵 함수 (skip(i,y,V)) 를 추적하는 데이터 구조를 구성하여 쿼리 결과를 효율적으로 계산한다.
• 튜플 삽입 또는 삭제 후, 가이프만 그래프에서 깊이 3c까지 너비 우선 탐색을 수행하여 업데이트를 전파한다.
• 접근성 리스트와 배열을 사용하여 Sy_i 및 크기가 ≤ c−1 인 부분집합 S1 ⊆ Sy_i 에 대해 상수 시간 액세스를 확보한다.
• Claim 9.5 및 Claim 9.6 를 활용해 스킵 값들을 동적으로 유지 및 갱신함으로써, 임의의 V 에 대해 skip(i,y,V) 에 O(c) 시간 내에 액세스할 수 있도록 보장한다.

실험 결과

연구 질문

• RQ1 FO+MOD 쿼리는 유계 차수 데이터베이스에서 상수 업데이트 시간으로 동적으로 평가될 수 있는가?
• RQ2 동적 업데이트 하에서 FO+MOD 쿼리 결과의 상수 지연 순회를 유지하는 것은 가능한가?
• RQ3 동적 FO+MOD 쿼리 평가에 있어 쿼리 크기 및 차수 유계에 대한 최적의 의존도는 무엇인가?
• RQ4 FO+MOD에 대한 한프 정규형은 동적 환경에서 효과적으로 활용될 수 있으며, 이로 인해 효율적인 업데이트 및 쿼리 시간을 달성할 수 있는가?
• RQ5 쿼리 크기 및 차수 유계에 대해 3중 지수적 의존도는 동적 FO+MOD 쿼리 평가에 있어 최적이어야 하는가?

주요 결과

• 임의의 고정된 FO+MOD 쿼리 ϕ 와 차수 유계 d 에 대해 선형 시간 O(||D||) 내에 동적 데이터 구조를 구성할 수 있다.
• 모든 업데이트(삽입 또는 삭제) 이후, 부울 쿼리 응답에 대해 상수 시간 O(1)의 시간 복잡도로 테스트를 수행할 수 있다.
• 비부울 FO+MOD 쿼리 결과의 크기는 각 업데이트 이후 상수 시간 O(k²) 내에 계산할 수 있다.
• 모든 쿼리 결과 튜플은 각 업데이트 이후 연속 출력 간 상수 지연 O(k³)로 순회할 수 있다.
• 업데이트 시간은 ||ϕ|| 와 d 에 대해 3중 지수적 의존도를 가지며, FPT ≠ AW[∗]s 가정 하에 최적이며, 이는 최적의 복잡도 상한을 달성한다.
• 이 방법은 유계 차수 데이터베이스에서의 동적 쿼리 평가에 대해 최적의 시간 복잡도를 달성하며, 이는 이전의 정적 결과를 동적 경우로 확장한다.