• The KIPS Transactions:PartD
• /
• v.8D no.6
• /
• pp.823-834
• /
• 2001

In the active databases, whenever an event occurs, active rules with the matching event specifications are triggered automatically, its action will be executed. Because these rules may in turn trigger other rules including themselves, the set of rules may be executing each other indefinitely. These problem can be solved by rule termination analysis, and it is efficient for the rule termination to execute in compile time of rule. In this paper we not only design rule compiler with rule termination analyzer, but also propose its execution model and algorithm. The completeness of proposed model is verified by algorithm formalization of rule termination analysis.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2000.10a
• /
• pp.7-10
• /
• 2000

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

• Journal of the military operations research society of Korea
• /
• v.26 no.1
• /
• pp.125-144
• /
• 2000

Occasionally, there are combat situations which one or both forces can´t terminate the combat using selected combat termination rule according to given relationship between ratio of attrition rate coefficient and threshold values. In this study, we classify the situations that one or both forces can´t terminate the combat with selected combat termination rule into four conditions. Condition${\circled1}$ is the situation which both Blue and Red can terminate the combat using all selected combat termination rules. condition${\circled2}$ and condition${\circled3}$ are those which neither Blue or Red can terminate the combat using selected proportional decision rule, and condition${\circled4}$ is that which both Blue and Red can´t terminate the combat using selected proportional decision rule. We analyze the effect of combat termination rules on parity number, final combat power, and combat durations for each conditions. Also, we propose the method to apply the analyzed effect of combat termination rules to combat analysis.

• The KIPS Transactions:PartD
• /
• v.8D no.5
• /
• pp.513-522
• /
• 2001

Active database execute an action of active rule defined in advance which is triggered automatically, whenever an event with the matching event specifications occurs, its condition is evaluated. Because these rules may in turn trigger other rules, the set of rules may be triggered each other indefinitely, Therefore, we propose a termination analysis method to guarantee termination. This proposed method considers composite event as well as rule execution time. Above all, the method not only uses deactivation graph combined to trigger graph for exact analysis, but also improves the complexity of analysis. Also the proposed method enhances accuracy of analysis result.

• The KIPS Transactions:PartD
• /
• v.10D no.1
• /
• pp.33-44
• /
• 2003

XML is the standard for storing and exchanging information in the Web. As the applications of XML become more widespread, the worts on rule-based technology are rapidly going on to support reactive functionality on the XML documents and the XML repositories. Active rules consist of event-condition-action, which automatically perform actions in response to status change of database. Therefore the feature of active rule satisfies the new needs in XML setting. In this paper, we propose not only a XML based active rule language to manage XML document automatically, but also an active rule analysis method to guarantee rule termination. Finally, we demonstrate some examples of active rule defined by the proposed rule language, and also verify the efficiency of our analysis method by comparing with another method.

• Proceedings of the Korean Information Science Society Conference
• /
• 2001.04b
• /
• pp.58-60
• /
• 2001

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

• The Korean Journal of Applied Statistics
• /
• v.23 no.4
• /
• pp.715-724
• /
• 2010

Recurrent event data occurs when a subject experience the event of interest several times and has been found in biomedical studies, sociology and engineering. Several diverse approaches have been applied to analyze the recurrent events (Cook and Lawless, 2007). In this study, we analyzed the YTOP(Young Traffic Offenders Program) dataset which consists of 192 drivers with conviction dates by speeding violation and traffic rule violation. We consider a subject-specific effect, frailty, to reflect the individual's driving behavior and extend to time-varying frailty effect. Another feature of this study is about the redefinition of risk set. During the study, subject may be under suspension and this period is regarded as non-risk period. Thus the risk variables are reformatted according to suspension and termination time.