We found a match
Your institution may have rights to this item. Sign in to continue.
- Title
基于增强条件公式的主动规则集可终止性判定.
- Authors
XIONG Zhong-min; ZHAO Meng-lu; HUANG Dong-mei
- Abstract
Termination decision in active database becomes a focus for many researchers. Existing methods based on triggering and activation graphs do not consider whether all rules in a triggering cycle can be executed at the same execution sequence. Existing methods based on logical formula, where only those non-updatable or finitely updatable variables can be represented, cannot conclude termination if a rule set contains only those cycles that can be executed in a finite number of times. To solve this problem, the concept of the execution sequence of a triggering cycle and the method to construct an enhanced formula including updatable variables are proposed. Many termination cases that cannot be determined by previous methods can be detected by the proposed solution, whose correctness and termination are proved.
- Publication
Computer Engineering & Science / Jisuanji Gongcheng yu Kexue, 2014, Vol 36, Issue 1, p163
- ISSN
1007-130X
- Publication type
Article
- DOI
10.3969/j.issn.1007-130X.2014.01.028