순환 논리 질의 최적화를 위한 정적 필터의 고정점 계산 = Fixed Point Computation of Static Filters for Optimizing Recursive Logic Queries

국문 초록 (Abstract)

정적 필터링은 시스템 그래프 수행을 기초로한 순환 논리 질의 최적화 방법이다. 이 방법은 수행하는 동안에 정적 필터를 이용하여 데이터의 흐름을 제한한다. 본 논문은 정적 필터의 계산 과정을 partially ordered set(poset) 위에서 하나의 변환으로 정형화하고 그 변환의 최소고정점을 구함으로써 정적 필터를 구한다. 계산된 정적 필터의 완전성(completeness)은 제시된 정형화를 이용하여 증명한다. 또한 관련 연구에 대해서 간단히 살펴보고 정적 필터링 방법과 비교한다. 본 논문에서는 정적 필터와 그 계산에 대한 정형화된 새로운 관점을 제공한다.

다국어 초록 (Multilingual Abstract)

Static filtering is a graph-bsed optimization method for recursive logic queries based on the system graph evaluation. It restricts data-flow during evaluation by means of static filers. We formalize the computation of static filters by defining a transformation on a partially ordered set (poset) so that the least fixed point of the transformation can be the static filters. The static filters are computed by computing the least fixed point of the transformation. The completeness of the static filtering with the computed static filters is proved based on the formalism. Moreover, we review some related works in brevity and compare the static filtering with them. The formalism presented in this paper gives a new formal view to static filter and its computation.

목차 (Table of Contents)

• 요약
• ABSTRACT
• 1. Introduction
• 2. Notations and Definitions
• 3. System Graph and Logic Program Evaluation
• 4. Computation of Static Filters
• 5. Completeness Proof
• 6. Related Works and Comparisons
• 7. Concluding Remarks
• Acknowledgement
• References
• 저자소개