벡터 표현을 이용한 능동 규칙 조건의 효과적 여과 기법

Abstract

능동 데이타베이스 시스템에서 능동 규칙의 조건부 평가는 성능에 직접적인 영향을 주는 부분으로서 효율적인 처리가 요구된다. 기존에 발표된 많은 연구들은 점진적 평가 기법을 기반으로 하여 조건부 평가 과정을 간소화시켰으나, 조인이나 집계 함수와 같은 연산의 경우에는 여전히 많은 처리 시간이 필요하다. 조건부에 나타난 표현의 값을 항상 정확하게 계산하여 조건부의 진위를 판별하는 방식을 사용했기 때문이다. 본 논문에서는 조건부 평가 초기에 거짓의 진리값을 가지는 조건들을 미리 찾아내는 여과기법을 제안한다. 실제 응용 환경에서 대부분의 경우에 능동 규칙의 조건은 거짓의 값을 가지므로, 여과기법을 통해 조건부를 효율적으로 처리할 수 있다. 본 여과 기법은 데이타베이스 상태와 데이타베이스 연산을 새로운 방법으로 표현함으로써 얻을 수 있다. 데이타베이스 상태, 데이타베이스 연산 그리고 복잡한 조건 표현을 벡터로 표현한 후에, 벡터 공간의 특성을 이용하여 여과한다. 본 알고리즘의 방범과 기존에 제안된 점진적 평가 방법의 조건부 처리 성능을 비교하여, 본 여과 기법이 많은 성능 향상 효과를 가져온다는 것을 보인다.