您的位置： 专家智库 > >

国家科技部专项基金(200805016)

作品数：1 被引量：3H指数：1
相关作者：熊中敏郝忠孝更多>>
相关机构：哈尔滨理工大学哈尔滨工业大学上海海洋大学更多>>
发文基金：上海市科委重大科技攻关项目国家科技部专项基金黑龙江省自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

文献类型

  • 1篇中文期刊文章

领域

  • 1篇自动化与计算...

主题

  • 1篇数据库
  • 1篇终止性
  • 1篇主动数据库
  • 1篇可终止性
  • 1篇规则集

机构

  • 1篇哈尔滨工业大...
  • 1篇哈尔滨理工大...
  • 1篇上海海洋大学

作者

  • 1篇郝忠孝
  • 1篇熊中敏

传媒

  • 1篇哈尔滨工业大...

年份

  • 1篇2009
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
基于条件公式的主动规则集可终止性判定被引量：3
2009年
针对利用触发图和活化图的方法来判定主动规则集的可终止性存在一定的局限性,从而影响了运行阶段规则系统的执行效率并限制了主动规则在众多领域中的灵活应用的问题.提出了利用基于活化路径建立的条件公式进行判定的方法,结果表明该方法可以比现有方法发现更多的可终止性情形.对主动规则集的设计和应用具有一定的意义.
熊中敏郝忠孝
关键词：主动数据库可终止性
全选 清除 导出
共1页<1>
聚类工具0