[00293134]主动规则的终止性分析(登记)
交易价格:
面议
类型:
非专利
技术成熟度:
正在研发
交易方式:
完全转让
技术入股
许可转让
联系人:
林念文
所在地:宁夏回族自治区
- 服务承诺
- 产权明晰
-
资料保密
对所交付的所有资料进行保密
- 如实描述
技术详细介绍
(1)基于图的主动规则终止性分析,给出基于触发图、激活图、惰化图的规则终止性分析方法,并给出相应算法。(2)基于事务的规则终止性分析,给出一种规则终止性分析的新方法,此方法检测规则之间的三种关系包括触发关系、激活关系和惰化关系,主要研究用户事务的信息和结构如何影响规则终止性。这种方法简单易懂并可灵活地应用在目前各种主动数据库语言中。(3)带有规则优先级的规则终止性分析,给出生成规则优先级的算法,并用使用算法来进行规则终止性分析。