X为了获得更好的用户体验,请使用火狐、谷歌、360浏览器极速模式或IE8及以上版本的浏览器
欢迎来到宁夏技术市场,请 登录 | 注册
尊敬的 , 欢迎光临!  [会员中心]  [退出登录]
 常见问题  关于我们
成果
成果 专家 院校 需求
微信公众号
当前位置: 首页 >  科技成果  > 详细页

[00293134]主动规则的终止性分析(登记)

交易价格: 面议

类型: 非专利

技术成熟度: 正在研发

交易方式: 完全转让 技术入股 许可转让

联系人: 林念文

所在地:宁夏回族自治区

服务承诺
产权明晰
资料保密
对所交付的所有资料进行保密
如实描述
分享
|
收藏
|

技术详细介绍

(1)基于图的主动规则终止性分析,给出基于触发图、激活图、惰化图的规则终止性分析方法,并给出相应算法。(2)基于事务的规则终止性分析,给出一种规则终止性分析的新方法,此方法检测规则之间的三种关系包括触发关系、激活关系和惰化关系,主要研究用户事务的信息和结构如何影响规则终止性。这种方法简单易懂并可灵活地应用在目前各种主动数据库语言中。(3)带有规则优先级的规则终止性分析,给出生成规则优先级的算法,并用使用算法来进行规则终止性分析。

Copyright © 2018    宁夏回族自治区生产力促进中心    版权所有    宁ICP备11000235号-3    宁公网安备 64010402000776号

网站访问量:               网站在线人数:0              技术支持:科易网