咨询与建议

限定检索结果

文献类型

  • 1 篇 期刊文献

馆藏范围

  • 1 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 1 篇 工学
    • 1 篇 控制科学与工程
    • 1 篇 计算机科学与技术...
    • 1 篇 软件工程
  • 1 篇 管理学
    • 1 篇 管理科学与工程(可...

主题

  • 1 篇 关联图
  • 1 篇 主动数据库
  • 1 篇 惰化图
  • 1 篇 eac-规则
  • 1 篇 终止性
  • 1 篇 静态分析

机构

  • 1 篇 吉林大学

作者

  • 1 篇 左万利
  • 1 篇 刘淑芬
  • 1 篇 刘居红

语言

  • 1 篇 中文
检索条件"主题词=EAC-规则"
1 条 记 录,以下是1-10 订阅
排序:
关联图与主动规则集的终止性分析
收藏 引用
软件学报 2001年 第2期12卷 276-282页
作者: 左万利 刘居红 刘淑芬 吉林大学计算机科学系 吉林长春130023
终止性反映了主动数据库系统良好的行为特性 .目前有关主动规则集终止性分析的主要依据是触发图和活化图 ,其分析结果是保守的 .为表达一个规则的动作可能使另一规则的条件为假的事实 ,引入了惰化图 ( deacti-vation graph) ,并与触发... 详细信息
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论