Termination Analysis for Active Rules of Spatial DatabaseBased on Labeled Events Graph
DOI:
CSTR:
Author:
Affiliation:
Clc Number:
Fund Project:
Article
|
Figures
|
Metrics
|
Reference
|
Related
|
Cited by
|
Materials
|
Comments
Abstract:
Termination analysis for active rules improves the design of rule set. Active rule meta-model is proposed as a basis for termination analysis and comparison. The refined triggering graph was extended to construct labeled events graph(LEG). Termination analysis algorithm of LEG was presented, whose efficiency was illustrated by an example. It can be easily seen that LEG is a general abstract model for termination analysis in comparison with other methods.
Reference
Related
Cited by
Get Citation
XIONG Wei, LIAO Wei, JING Ning, CHEN Hongsheng. Termination Analysis for Active Rules of Spatial DatabaseBased on Labeled Events Graph[J]. Journal of National University of Defense Technology,2006,28(2):59-63.