Termination Analysis including Execution Semantics of Active Rule

능동 규칙의 실행 의미를 반영한 종료 분석

능동 데이터베이스는 능동 규칙(rule)을 이용하여 DBMS 스스로 데이터베이스 상태변화에 대응하는 규칙을 수행한다. 이러한 능동 규칙은 서로 다른 규칙을 무환하게 트리거 할 수 있고 그로 인해 종료하지 못하고 무한한 순환적 동작을 반복할 가능성이 있다. 그러므로 규칙의 비종료를 방지하고 규칙 처리를 미리 예측하기 위한 목적으로 규칙의 종료에 관한 연구가 수행되고 있지만 규칙의 다양한 사건 형태에 따라 분석 결과가 달라질 수 있음에도 불구하고 일반적으로 사용되고 있는 복합사건의 규칙과 규칙 실행의 적용시점을 나타내는 before, after 규칙을 포함한 종료분석방법은 제시되고 있지 않다. 그러므로 이 논문에서는 규칙 종료의 정확한 분석을 위해 복합사건의 규칙과 before 또는 after 규칙을 고려한 종료분석 방법을 제시하고 이것을 기존의 트리거 그래프와 규칙간에 형성되는 비활성화 관계를 그래프로 표현하여 결합한 그래프에 적용하는 규칙종료 분석 방법을 제시한다.