主动规则可终止性分析的规则缩减算法
An Algorithm of the Refined Rules for Active Rule Termination Analysis作者机构：北京理工大学计算机科学与工程系北京100081
出 版 物：《北京理工大学学报》 (Transactions of Beijing Institute of Technology)
年 卷 期：2001年第21卷第4期
页 面：485-489页
核心收录：
学科分类：12[管理学] 1201[管理学-管理科学与工程(可授管理学、工学学位)]
基 金：部级基金资助项目
主 题：主动规则 规则终止 触发图 激活图 规则缩减算法 主动数据库 可终止性
摘 要：研究主动数据库系统中规则终止特性的静态分析技术 .通过对基本触发图分析方法的研究 ,根据主动规则的可终止性给出了将触发图和激活图相结合的一种规则终止分析方法 ,并将其运用于主动面向对象数据库系统 AO2 DB的规则终止分析中 .
维普期刊数据库
同方期刊数据库