동적 규칙 적용 순서에 의한 Semi-Naive 순환 질의 처리 방법

Abstract

본 논문에서는, 새로운 상향식 순환 처리방법으로 규칙의 적용 순서를 실행 시점에 결정하는 동적 규칙 적용 순서에 의한 영 semi-naive 처리방법을 제안한다. 제안하는 처리방법은 새로운 semi-naive 알고리즘과 실행 시점에 다음에 적용할 규칙을 선택하는 선택전략들로 구성된다. 새로운 semi-naive 알고리즘은 동적 순서로 규칙을 적용하더라도 동일한 계산의 중복이 없고, 새로이 생성된 튜플을 다음의 규칙 적용에서 바로 이용할 수 있다. 본 논문에서는 순환질의 처리에 필요한 전체 규칙의 적용 횟수와 결합연산의 수가 최소가 될 수 있도록 다음에 적용할 규칙을 선택하는 세 가지 선택전략을 개발하였다. 실험적 비교를 통하여 제안하는 동적 규칙 적용 순서에 의한 semi-naive 처리방법이 기존의 순환 처리 방법에 비하여 전체 규칙 적용 횟수와 결합연산 횟수의 측면에서 뛰어난 성능을 보임을 실증하였다.