An Approach to Termination Decision for a Rule Set Based on Activation Path and Conditional Formula

Xiong Zhongmin; Hao Zhongxiao

Journal of Computer Research and Development > 2006 > 43(5): 901-907.

Xiong Zhongmin, Hao Zhongxiao. An Approach to Termination Decision for a Rule Set Based on Activation Path and Conditional Formula[J]. Journal of Computer Research and Development, 2006, 43(5): 901-907.

Citation:

PDF (385 KB)

An Approach to Termination Decision for a Rule Set Based on Activation Path and Conditional Formula

Xiong Zhongmin¹,
Hao Zhongxiao^1,2,3

1(College of Computer Science and Technology, Harbin University of Science and Technology, Harbin 150080) 2(College of Computer Science and Technology, Harbin Institute of Technology, Harbin 150001) 3(College of Computer and Control Engineering, Qiqihar University, Qiqihar 161006)

More Information

Published Date: May 14, 2006

Graphical Abstract

Abstract

Abstract

Supporting active rules has become an important characteristic of modern database systems. Active rules termination is an important problem of active database. To prove termination by using triggering and activation graphs has conservativeness. In order to refine the existing works, the formula constructed for an effective activation path is proposed in this paper and a novel approach about how to determine the termination of active rules set is presented. The analytical results prove that the proposed approach can detect more termination situations than any other existing works. Moveover, an algorithm for termination decision is provided, and its correctness and termination are proved.
- active database,
- rule analysis,
- activation path,
- conditional formula,
- termination

FullText(HTML)

References (0)

[1]	Wu Jianhui, Zhang Jing, Li Renfa, Liu Zhaohua. A Multi-Subpopulation PSO Immune Algorithm and Its Application on Function Optimization[J]. Journal of Computer Research and Development, 2012, 49(9): 1883-1898.
[2]	Wang Bin. A Discrete Particle Swarm Optimization-based Algorithm for Polygonal Approximation of Digital Curves[J]. Journal of Computer Research and Development, 2010, 47(11): 1886-1892.
[3]	Jie Jing, Zeng Jianchao, Han Chongzhao. Self-Organized Particle Swarm Optimization Based on Feedback Control of Diversity[J]. Journal of Computer Research and Development, 2008, 45(3): 464-471.
[4]	Hu Jianxiu and Zeng Jianchao. A Two-Order Particle Swarm Optimization Model[J]. Journal of Computer Research and Development, 2007, 44(11): 1825-1831.
[5]	Ma Ming, Zhou Chunguang, Zhang Libiao, Ma Jie. Fuzzy Neural Network Optimization by a Multi-Objective Particle Swarm Optimization Algorithm[J]. Journal of Computer Research and Development, 2006, 43(12): 2104-2109.
[6]	Cui Zhihua and Zeng Jianchao. Modified Particle Swarm Optimization Based on Differential Model[J]. Journal of Computer Research and Development, 2006, 43(4): 646-653.
[7]	Zeng Jianchao and Cui Zhihua. A New Unified Model of Particle Swarm Optimization and Its Theoretical Analysis[J]. Journal of Computer Research and Development, 2006, 43(1): 96-100.
[8]	Dou Quansheng, Zhou Chunguang, Xu Zhongyu, Pan Guanyu. Swarm-Core Evolutionary Particle Swarm Optimization in Dynamic Optimization Environments[J]. Journal of Computer Research and Development, 2006, 43(1): 89-95.
[9]	Liu Anfeng, Chen Zhigang, Long Guoping, and Zeng Zhiwen. A Resource Optimizing Scheduling Algorithm of Differentiated Service of Double Minimum Balance in Web Clusters[J]. Journal of Computer Research and Development, 2005, 42(11): 1969-1976.
[10]	Chen Hongzhou, Gu Guochang, and Kang Wangxing. A Sentient Particle Swarm Optimization[J]. Journal of Computer Research and Development, 2005, 42(8): 1299-1305.