• 中国精品科技期刊
  • CCF推荐A类中文期刊
  • 计算领域高质量科技期刊T1类
Advanced Search
Hao Zhongxiao, Xiong Zhongmin. An Efficient Algorithm for Computing an Irreducible Rule Set in Active Database[J]. Journal of Computer Research and Development, 2006, 43(2): 281-287.
Citation: Hao Zhongxiao, Xiong Zhongmin. An Efficient Algorithm for Computing an Irreducible Rule Set in Active Database[J]. Journal of Computer Research and Development, 2006, 43(2): 281-287.

An Efficient Algorithm for Computing an Irreducible Rule Set in Active Database

More Information
  • Published Date: February 14, 2006
  • Termination decision in active database is an important problem and becomes a focus for many researchers. Several works suggest proving termination by using triggering and activation graphs at compile-time, and computing an irreducible rule set is the key technique. But due to the various conservativeness of the existing approaches, the irreducible rule set computed by them can be reduced again. This defect impairs not only the correctness of termination decision at compile-time but also the efficiency of run-time rule analysis. In this paper, the characteristic of nontermination for an activation rule is analyzed in detail and such concepts as activation path, inhibited activation cycle and inhibited activation rule are proposed. Based on these concepts, an efficient algorithm for computing an irreducible rule set is presented, which can make the irreducible rule set, computed by the existing approaches, to be reduced again.
  • Related Articles

    [1]Li Xiaoping, Zhou Zhixing, Chen Long, Zhu Jie. Task Offloading and Cooperative Scheduling for Heterogeneous Edge Resources[J]. Journal of Computer Research and Development, 2023, 60(6): 1296-1307. DOI: 10.7544/issn1000-1239.202110936
    [2]Tang Xuhao, Liu Fagui, Wang Bin, Li Chao, Jiang Jun, Tang Quan, Chen Weiming, He Fengwen. Survey on Task Scheduling in Inter-Cloud Environment[J]. Journal of Computer Research and Development, 2023, 60(6): 1262-1275. DOI: 10.7544/issn1000-1239.202220021
    [3]Wang Yawen, Guo Yunfei, Liu Wenyan, Hu Hongchao, Huo Shumin, Cheng Guozhen. A Task Scheduling Method for Cloud Workflow Security[J]. Journal of Computer Research and Development, 2018, 55(6): 1180-1189. DOI: 10.7544/issn1000-1239.2018.20170425
    [4]Hu Haiyang, Liu Runhua, Hu Hua. Multi-Objective Optimization for Task Scheduling in Mobile Cloud Computing[J]. Journal of Computer Research and Development, 2017, 54(9): 1909-1919. DOI: 10.7544/issn1000-1239.2017.20160757
    [5]Li Xuejun, Xu Jia, Zhu Erzhou, Zhang Yiwen. A Novel Computation Method for Adaptive Inertia Weight of Task Scheduling Algorithm[J]. Journal of Computer Research and Development, 2016, 53(9): 1990-1999. DOI: 10.7544/issn1000-1239.2016.20151175
    [6]Wang Qiang, Li Xiongfei, Wang Jing. A Data Placement and Task Scheduling Algorithm in Cloud Computing[J]. Journal of Computer Research and Development, 2014, 51(11): 2416-2426. DOI: 10.7544/issn1000-1239.2014.20130749
    [7]Yu Guoliang, Wu Weiguo, Yang Zhihua, Qian Depei. A Boundary-Table-Based Algorithm for Reconfigurable Resource Management and Hardware Task Scheduling[J]. Journal of Computer Research and Development, 2011, 48(4): 699-708.
    [8]Wu Lei and Du Zhihui. A Dynamic Knowledge-Based Task Scheduling Algorithm in Simulation Grid Environment[J]. Journal of Computer Research and Development, 2008, 45(2): 261-268.
    [9]Chen Tingwei, Zhang Bin, and Hao Xianwen. Dependent Task Scheduling in Grid Based on T-RAG Optimization Selection[J]. Journal of Computer Research and Development, 2007, 44(10): 1741-1750.
    [10]Li Qinghua, Han Jianjun, Abbas A. Essa. A Fast and Effective Static Task Scheduling Algorithm in Homogeneous Computing Environments[J]. Journal of Computer Research and Development, 2005, 42(1): 118-125.

Catalog

    Article views (759) PDF downloads (643) Cited by()

    /

    DownLoad:  Full-Size Img  PowerPoint
    Return
    Return