主动规则的终止性分析

摘要：

终止性反映了主动数据库系统良好的行为特性.针对主动规则终止性分析方法的局限性,介绍了一种主动数据库规则终止性分析的新方法.此方法将主动规则翻译成逻辑语句,考虑到系统的执行语义,转换为演绎规则中已知终止性的主动过程.

关键词：主动数据库、终止性、演绎数据库

所属期刊栏目：11

分类号：TP311(计算技术、计算机技术)

在线出版日期：2007-03-28（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：13-15