When a Broker message flow is deleted, or the owning execution group is ended, the Broker does not invoke a termination method on every thread in the pool that has been active.
当删除Broker消息流时,或所属执行组结束时,Broker并不会对池中处于活动状态的每个线程调用termination方法。
There are several static and dynamic approaches for active rules termination analysis. We consider only static methods that at compile time detect potential non-terminating active rules execution.
对主动规则终止性分析已有静态和动态方法,其中静态方法使用较多,静态方法是在编译时间内检测主动规则执行的潜在非终止性。
The paper involves the conception of Internal-procedure and External-procedure, as well the study of method of rule termination analysis in search of active mechanism.
在主动机制系统中,本文提出了内部过程和外部过程的概念,并对规则终止性分析的方法进行了研究。
Active rules termination is an important problem in active databases, proving termination by using triggering and activation graphs is a conservative approach.
主动规则集的可终止性判定是主动数据库中核心问题之一,利用触发图和活化图的方法来判定可终止性都存在一定的局限性。
In this paper we also discussed the rule analysis theory. By defining trigger graph, active graph and de-active graph we gave a static rule analysis algorithm of deciding of the rule termination.
本文还探讨了规则分析理论,通过定义触发图、活化图和惰化图,给出一个规则终止性静态分析算法,提高了规则终止性判定的准确性。
In this paper we also discussed the rule analysis theory. By defining trigger graph, active graph and de-active graph we gave a static rule analysis algorithm of deciding of the rule termination.
本文还探讨了规则分析理论,通过定义触发图、活化图和惰化图,给出一个规则终止性静态分析算法,提高了规则终止性判定的准确性。
应用推荐