【作者】 杨波； 王海洋； 董继润；

【Author】 Yang Bo~1,Wang Haiyang~(1,2) Dong Jirun~1 (1.Computer Science Department,Shandong University,Jinan,250100; 2.Institute of Computing Technology,Academic Sinoca)

【机构】 山东大学计算机科学系； 中科院计算技术研究所；

【摘要】 支持复合事件的规则机制是当前主动数据库所采取的主要模式,而要准确预测规则集的执行情况是相当困难的.本文提出了一种利用确定型多带图灵机对主动数据库进行动态分析的模型,归结出主动规则可终止的充分必要条件.该模型还可以用于对主动规则的辅助设计和验证.更多还原

【Abstract】 The rule mechanism which supports composite events is the main mode of contemporary active databases,while it’s quite difficult to forecast the executing condition of a rule set accurately.In this article,we present a model which uses a determined multi-belt Turing Machine to analyze active databases dynamically.We also put forward a sufficient and necessary condition for the terminating of rule sets.At the same time,we produce an algorithm using Turing Machine to determine the terminating of rule sets.This model can also be used to aid rule designing as well as verify correctness of rule sets.更多还原