[논문 리뷰] XQuery Join Graph Isolation

Torsten Grust, Manuel Mayr외 1명|ArXiv.org|2008. 10. 27.

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

한 줄 요약

이 논문은 XQuery의 복잡한 비조인그래프 형태의 알제브라적 계획을 구조화된 조인 그래프로 변환하는 계획 재작성 기법을 제안한다. 이를 통해 표준 관계형 데이터베이스 관리 시스템(RDBMS) 최적화기구가 XQuery 쿼리를 효율적으로 처리할 수 있도록 한다. 조인 그래프 구조를 분리함으로써 표준 RDBMS 엔진이 경로 조립 및 축 반전과 같은 고급 최적화 전략을 자율적으로 적용할 수 있으며, XQuery 전용 최적화가 필요 없이도 높은 성능을 달성할 수 있다.

ABSTRACT

A purely relational account of the true XQuery semantics can turn any relational database system into an XQuery processor. Compiling nested expressions of the fully compositional XQuery language, however, yields odd algebraic plan shapes featuring scattered distributions of join operators that currently overwhelm commercial SQL query optimizers. This work rewrites such plans before submission to the relational database back-end. Once cast into the shape of join graphs, we have found off-the-shelf relational query optimizers--the B-tree indexing subsystem and join tree planner, in particular--to cope and even be autonomously capable of "reinventing" advanced processing strategies that have originally been devised specifically for the XQuery domain, e.g., XPath step reordering, axis reversal, and path stitching. Performance assessments provide evidence that relational query engines are among the most versatile and efficient XQuery processors readily available today.

연구 동기 및 목표

• XQuery 컴파일러가 생성하는 비조인그래프 형태의 알제브라적 계획으로 인해 관계형 데이터베이스에서 XQuery 처리가 비효율적인 문제를 해결하기 위해.
• 실행 계획을 조인 그래프 형태로 변환함으로써 표준 관계형 쿼리 최적화기구가 XQuery 쿼리를 효과적으로 처리할 수 있도록 하기 위해.
• 계획 재작성 과정에서 XQuery의 순서 및 중복 처리 의미를 유지하면서 최적화를 가능하게 하기 위해.
• 표준 RDBMS 쿼리 최적화기구가 경로 조립 및 축 반전과 같은 고급 XQuery 전용 최적화 기법을 자율적으로 재발견할 수 있음을 입증하기 위해.
• 표준 SQL 쿼리 엔진을 사용하는 순수 관계형, 스키마에 의존하지 않는 XQuery 처리 방법을 구축하기 위해.

제안 방법

• 이 방법은 XQuery 컴파일러의 출력을 단일 최적화된 SQL 유사 계획 블록으로 재작성하며, FROM, WHERE, ORDER BY 절이 각각 하나씩만 존재한다.
• 특히 깊이 중첩된 FOR 루프와 산재한 정렬/중복 제거 연산자로부터 조인 그래프 구조를 분리한다.
• 선택, 프로젝션, 이름 변경 연산자의 철저한 대수적 조작을 통해 XQuery 의미 체계(순서 및 고유성 포함)를 유지한다.
• 최종 계획은 표준 RDBMS 최적화에 호환되는 단일 SELECT-DISTINCT-FROM-WHERE-ORDER BY 블록으로 표현된다.
• B-트리 인덱싱 및 조인 트리 계획기와 같은 기존 RDBMS 구성 요소를 활용하여 효율적인 실행 계획을 유도한다.
• 이 방법은 XQuery 표현식을 관계대수 계획으로 매핑하는 컴파일 방식 Γ;loop ⊢ e ↦ q를 통해 형식적으로 명세화되어 있다.

실험 결과

연구 질문

• RQ1 표준 RDBMS 쿼리 최적화기구를 사용하는 순수 관계형 접근 방식이 경쟁력 있는 성능을 달성할 수 있는가?
• RQ2 표준 관계형 쿼리 최적화기구가 경로 조립 및 축 반전과 같은 고급 XQuery 전용 최적화 전략을 자동으로 재발견할 수 있는가?
• RQ3 비조인그래프 형태의 XQuery 계획을 조인 그래프로 변환하는 것이 표준 RDBMS 엔진에서 쿼리 성능을 크게 향상시키는가?
• RQ4 스키마에 의존하지 않는 순수 관계형 XML 문서 인코딩이 얼마나 효율적인 XQuery 평가를 지원할 수 있는가?
• RQ5 XQuery에서의 임의의 중첩된 FOR 루프가 관계형 최적화가 사용하는 조인 그래프 패러다임과 일치하는 형태로 효과적으로 재작성될 수 있는가?

주요 결과

• 제안된 조인 그래프 고립 기법은 복잡한 XQuery 알제브라적 계획을 표준 RDBMS 쿼리 최적화기구가 네이티브로 최적화할 수 있는 형태로 성공적으로 변환한다.
• 관계형 쿼리 엔진이 XPath 단계 재정렬, 축 반전, 경로 조립과 같은 고급 XQuery 전용 최적화 기법을 자율적으로 재발견할 수 있음을 확인하였다.
• 성능 평가 결과, 관계형 쿼리 엔진이 오늘날 이용 가능한 가장 다재다능하고 효율적인 XQuery 프로세서 중 하나임을 입증하였다.
• 이 방법은 효율적인 계획 최적화를 가능하게 하면서도 XQuery의 완전한 순서 및 중복 의미 체계를 유지한다.
• 맞춤형 최적화 로직이 필요 없이 표준 SQL 쿼리 최적화기구를 사용하여 XQuery 처리를 수행할 수 있다.
• 이 기법은 중첩된 FOR 루프, 전체 축 기능, 일반 비교 연산을 포함한 복잡한 XQuery 코어 표현식에 대해서도 효과적이다.