[논문 리뷰] Algorithms for Rewriting Aggregate Queries Using Views

Sara Cohen, Werner Nutt외 1명|Lirias (KU Leuven)|2000. 11. 17.

Advanced Database Systems and Queries인용 수 4

한 줄 요약

이 논문은 COUNT 및 SUM 연산자를 포함한 집계 쿼리의 재작성에 대해 sound하고 complete한 알고리즘을 제안한다. 이는 비집합 쿼리 재작성 기법(예: 버킷 알고리즘)을 확장하여 쿼리 동치성의 문법적 특성화를 통합함으로써 실질적인 데이터베이스 최적화 환경에서 정확성과 완전성을 보장한다.

ABSTRACT

Queries involving aggregation are typical in database applications. One of the main ideas to optimize the execution of an aggregate query is to reuse results of previously answered queries. This leads to the problem of rewriting aggregate queries using views. Due to a lack of theory, algorithms for this problem were rather ad-hoc. They were sound, but were not proven to be complete. Recently we have given syntactic characterizations for the equivalence of aggregate queries and applied them to decide when there exist rewritings. However, these decision procedures do not lend themselves immediately to an implementation. In this paper, we present practical algorithms for rewriting queries with $\COUNT$ and $\SUM$. Our algorithms are sound. They are also complete for important cases. Our techniques can be used to improve well-known procedures for rewriting non-aggregate queries. These procedures can then be adapted to obtain algorithms for rewriting queries with $\MIN$ and $\MAX$. The algorithms presented are a basis for realizing optimizers that rewrite queries using views.

연구 동기 및 목표

• 재작성된 materialized view를 사용한 집계 쿼리에 대한 이론적 기반의 부족을 해결하기 위해.
• COUNT 및 SUM과 같은 일반적인 집계 연산자에 대해 sound하고 complete한 실용적 알고리즘을 개발하기 위해.
• 기존의 비집합 쿼리 재작성 기법을 집계를 처리할 수 있도록 확장하여 효율성과 정확성을 향상시키기 위해.
• 사전에 계산된 결과를 재사용하여 데이터 웨어하우징 및 대규모 데이터베이스 응용 프로그램에서의 효율적인 쿼리 최적화를 가능하게 하기 위해.

제안 방법

• NSS98 및 CNS99에서 제안한 집계 쿼리 동치성의 문법적 특성화를 활용하여 재작성 생성을 안내한다.
• 비집합 뷰에 대해 수정된 버킷 알고리즘을 적용하여 유효한 재작성에 기여할 수 없는 뷰를 걸러낸다.
• 후보 재작성과 원본 쿼리 간의 동치성을 검증하기 위해 호모모르피즘 기반의 전개 기법을 도입한다.
• 변수 커버리지와 일관성 기반으로 버킷 내 뷰 포함을 제한함으로써 검색 공간을 줄여 성능을 향상시킨다.
• MAX 및 MIN 쿼리 처리를 위해 등가성 검증을 기본 관계 쿼리의 등가성으로 환원함으로써 접근 방식을 확장한다.
• SICStus Prolog에 알고리즘을 구현하여 실용성과 적용 가능성을 입증한다.

실험 결과

연구 질문

• RQ1 재작성된 뷰를 사용한 집계 쿼리에 대해 sound하고 complete한 알고리즘을 설계할 수 있는가?
• RQ2 집계 쿼리 동치성의 문법적 특성화는 유효한 재작성 생성을 안내하는 데 어떻게 활용될 수 있는가?
• RQ3 기존의 비집합 쿼리 재작성 알고리즘은 집계를 지원하도록 개선될 수 있으며, 이때 완전성은 유지될 수 있는가?
• RQ4 재작성 과정에서 관련이 없는 뷰를 걸러내는 것으로 성능 향상은 어느 정도 달성될 수 있는가?
• RQ5 COUNT 및 SUM에 대한 기법은 MIN 및 MAX 쿼리 처리로 어떻게 확장될 수 있는가?

주요 결과

• 제안된 알고리즘은 선형 및 관계 쿼리와 같은 중요한 실용적 사례에 대해 sound하고 complete하다.
• 변수 커버리지와 일관성 기반의 뷰 필터링은 후보 재작성 수를 크게 줄여 알고리즘 성능을 향상시킨다.
• 사전에 계산된 뷰의 재사용을 가능하게 하여 대규모 데이터베이스의 전체 스캔 필요성을 감소시킨다.
• 등가성 검증을 기본 관계 쿼리의 등가성으로 환원함으로써 접근 방식이 MAX 및 MIN 쿼리로 잘 일반화된다.
• 알고리즘은 SICStus Prolog에 구현되어 실제 쿼리 최적화 환경에서의 실현 가능성과 실용성을 입증했다.
• 재작성 과정에 문법적 등가성 검사를 통합함으로써 보편적인 히وري스틱에 의존하지 않고도 정확성을 보장한다.