A rule termination analysis method for active rule management systems능동형 규칙 관리 시스템에서의 규칙 종료 분석의 연구

Cited 0 time in webofscience Cited 0 time in scopus
  • Hit : 385
  • Download : 0
Active rule management system is an advanced facility which enhances traditional database functionality by providing not only database-related triggers but also application-related rule management. In the active rule management systems, operations are executed automatically by executing a set of pre-defined rules in response to events, such as database events, application events, etc. Active rules typically consist of event, condition, and action which are generally referred to as ECA rules. During the active rule executions, it is usual that rules fire other rule. In some undesirable situations, rules ate fired infinitely forming cycles. This phenomenon is said to be a non-termination of rules and should be avoided . The goal of rule termination analysis is to detect rule subsets that may potentially lead to infinite firing of rules. In this thesis, we present an efficient rule termination analysis method that can be used to verify the termination of fired rules in active rule based systems. We also present a development of a graphical user interface which allows the rule developer to be able to easily identify undesirable design of event-rule firing chain. With the identified cyclic rule chains. the rule developer can modify the specification of event and rules, and then, apply the rule termination analysis method again. This iterative process should be performed until termination analysis guarantees that the rule set will never manifest a non-terminating rule behavior. Many event-trigger-rule processing systems adopt composite events to give more expressiveness in defining application rules. Rule firing by composite events makes the rule termination much more complicated and thus hard to analyze . Most of existing termination analysis methods do not handle this problem properly. Some method reports the capability of detecting cyclic rule firing caused by composite events. However, they still have difficulty to tell genuine cycles from spurious ones. The rule...
Advisors
Hyun, Soon-Jooresearcher현순주researcher
Description
한국정보통신대학원대학교 : 공학부,
Publisher
한국정보통신대학교
Issue Date
2001
Identifier
392037/225023 / 000993853
Language
eng
Description

학위논문(석사) - 한국정보통신대학원대학교 : 공학부, 2001, [ iv, 61 p. ]

Keywords

Active DBMS; Rule Termination; 규칙종료; 능동형 데이터베이스 관리 시스템

URI
http://hdl.handle.net/10203/54706
Link
http://library.kaist.ac.kr/search/detail/view.do?bibCtrlNo=392037&flag=dissertation
Appears in Collection
School of Engineering-Theses_Master(공학부 석사논문)
Files in This Item
There are no files associated with this item.

qr_code

  • mendeley

    citeulike


rss_1.0 rss_2.0 atom_1.0