Termination Analysis for Active Rules of Spatial Database Based on Labeled Events Graph

• 基于标注事件图的空间数据库主动规则终止性分析