능동형 데이터베이스 시스템에서의 규칙 종료 분석기

A Rule Termination Analyser in Active DBMS

  • 김홍기 (한국정보통신대학원 대학교(ICU)) ;
  • 박인석 (한국정보통신대학원 대학교(ICU)) ;
  • 현순주 (한국정보통신대학원 대학교(ICU))
  • Kim, Hong-K. (Dept. of Engineering, Information and Communications University (ICU)) ;
  • Park, In-S. (Dept. of Engineering, Information and Communications University (ICU)) ;
  • Hyun, Soon-J. (Dept. of Engineering, Information and Communications University (ICU))
  • 발행 : 2000.10.13

초록

능동형 데이터베이스 시스템은 사용자가 정의한 rule의 집합이 해당 event 가 발생하는 순간 능동적으로 일련의 행위를 수행하도록 정의된 시스템이다. 그러나. 이처럼 서로 긴밀한 관계를 갖는 rule들이 능동적으로 수행되는 과정에 종료되지 않고 무한히 순환하여 수행하는 경우가 발생할 수 있다. 이처럼 무한히 순환하여 수행할 수 있는 가능성을 분석하는 것이 Termination Analysis 이다. 본 논문은 compile time 에 rule 의 termination 을 예측하는 방법에 대한 연구로, Java Language 를 rule definition language로 사용하며, composite event의 경우도 지원하도록 기존의 Termination analysis 방법을 확장하였다.

키워드