国家科技成果网
热门搜索:  激光   高分子   石油   并网   纳米   太阳能光伏
扫描二维码关注国科网

国家科技成果网 首页 成果 查看内容

主动规则的终止性分析

2013年 应用技术  成熟应用阶段
  • 成果简介
针对已有图分析方法的局限性,介绍一种主动数据库规则终止性分析的一种新方法,此方法借助于演化图分析事务与触发器之间的关系。为了研究规则终止性和模拟规则执行又考虑到触发器信息和事务更新。提出算法来检验规则终止性。采用演化图来模拟规则静态处理过程并考虑到激活图和惰化图,演化图比传统的分析图提供了更细化的分析方法。给出相应算法并证明其正确性,并证明该方法对各种规则语言都是实用的因此可用于几种数据库...
相关成果

标签云

相关机构

Copyright 2001-2020 All Rights Reserved© 国科网 版权所有
国家科技成果信息服务平台 主管单位:科学技术部火炬高技术产业开发中心
京ICP备09035943号-33 京公网安备110401400097
在线客服系统