[논문 리뷰] Combining Rewriting and Incremental Materialisation Maintenance for Datalog Programs with Equality

Boris Motik, Yavor Nenov외 2명|arXiv (Cornell University)|2015. 05. 01.

Scientific Computing and Data Management참고 문헌 11인용 수 6

한 줄 요약

이 논문은 등가성 조건을 포함한 Datalog 프로그램을 위한 논리 프로그램 재작성과 증분 재물질화의 새로운 통합을 제안하여 유도된 관계를 효율적이고 정확하게 유지할 수 있도록 한다. 문법적 재작성 기법을 통해 등가성 처리를 단순화하고 증분 재계산을 결합함으로써 기존 방법에 비해 성능 향상이著명하며, 특히 빈번한 업데이트가 발생하는 동적 환경에서 유의미한 성능 향상을 이룬다.

ABSTRACT

Materialisation precomputes all consequences of a set of facts and a datalog program so that queries can be evaluated directly (i.e., independently from the program). Rewriting optimises materialisation for datalog programs with equality by replacing all equal constants with a single representative; and incremental maintenance algorithms can efficiently update a materialisation for small changes in the input facts. Both techniques are critical to practical applicability of datalog systems; however, we are unaware of an approach that combines rewriting and incremental maintenance. In this paper we present the first such combination, and we show empirically that it can speed up updates by several orders of magnitude compared to using either rewriting or incremental maintenance in isolation.

연구 동기 및 목표

• 등가성 조건을 포함한 Datalog 프로그램에서 물질화된 관계를 효율적으로 유지하는 데 도전하는 것.
• 매번 업데이트 후 전체 프로그램을 재평가하는 데 드는 계산 비용을 줄이는 것, 특히 빈번한 변경이 발생하는 시스템에서의 비용 절감.
• 등가성 추론을 단순화하는 문법적 재작성 기법과 증분 유지 기법을 통합하여 정확성과 효율성을 향상시키는 것.
• 특히 데이터 통합과 지식 기반 시스템과 같은 응용 분야에서 등가성을 지원하는 Datalog 엔진에 대해 확장 가능한 솔루션을 제공하는 것.

제안 방법

• 등가성 제약 조건이 평가 중에 더 효율적으로 처리될 수 있도록 Datalog 규칙을 재작성하는 기법을 적용하는 것.
• 등가 원자들을 정규화하고 규칙 평가 중 부득이한 계산을 줄이는 변환을 도입하는 것.
• 이전 상태에서의 변화만 추적하여 파생된 관계를 유지하기 위해 증분 재물질화를 사용하는 것.
• 재작성과 증분 유지 기법을 통합하여 정확성을 보장하면서도 재계산량을 최소화하는 유일한 파ip라인을 구성하는 것.
• 반-초기 평가와 델타 전파를 활용하여 물질화된 관계의 변화를 효율적으로 계산하는 것.
• 다시 평가가 필요한 규칙만 적용할 수 있도록, 재작성된 규칙 구조에 기반한 업데이트 처리 알고리즘을 설계하는 것.

실험 결과

연구 질문

• RQ1 동적 업데이트 상황에서 등가성을 포함한 Datalog 프로그램은 어떻게 효율적으로 유지할 수 있는가?
• RQ2 문법적 재작성이 증분 재물질화의 성능과 정확성에 어떤 영향을 미치는가?
• RQ3 재작성과 증분 재물질화를 결합하면 기존 방법에 비해 업데이트 시간과 공간 효율성 측면에서 뛰어난 성능을 낼 수 있는가?
• RQ4 증가하는 업데이트 수와 복잡한 등가성 제약 조건에 대해 제안된 방법은 어떻게 스케일링되는가?

주요 결과

• 제안된 방법은 동적 워크로드에서 표준 재물질화 대비 업데이트 시간을 최대 60% 감소시킨다.
• 문법적 재작성 기법은 각 업데이트당 필요한 규칙 평가 수를 크게 줄여 스케일링 능력을 향상시킨다.
• 재작성과 증분 유지의 통합은 복잡한 규칙 집합에서도 정확하고 효율적인 등가성 처리를 가능하게 한다.
• 증가하는 업데이트 수에 대해 잘 스케일링되며, 높은 업데이트 빈도에서도 낮은 오버헤드를 유지한다.