您的位置： 专家智库 > >

王瑞祥

作品数：2 被引量：2H指数：1
供职机构：齐齐哈尔大学信息学院更多>>
发文基金：黑龙江省自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 2篇中文期刊文章

领域

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

主题

  • 2篇数据库
  • 2篇主动数据库
  • 1篇进化
  • 1篇活化
  • 1篇公理
  • 1篇公理系统
  • 1篇变式

机构

  • 2篇齐齐哈尔大学

作者

  • 2篇王瑞祥
  • 1篇郝忠孝
  • 1篇陈战胜

传媒

  • 2篇齐齐哈尔大学...

年份

  • 2篇2004
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
主动数据库的规则终止性分析被引量：2
2004年
提出一种基于进化图的规则终止性静态分析的方法,全面考虑了触发图、活化图和惰化图。这种基于进化图的分析方法比传统基于图的分析方法分析更为精确,之后提出了规则终止性分析算法并证明了其正确性。
陈战胜王瑞祥
关于主动数据库属性依赖及公理系统的研究
2004年
在主动数据库的理论与应用研究中,更新传播算法的应用,保证了系统在属性依赖方面的相容性。本文基于不变式方式和PATH路径公理系统,给出了一种更新传播算法,对该算法的正确性、可终止性进行了论证,并进行了时间复杂度分析。
王瑞祥郝忠孝
关键词：主动数据库公理系统
全选 清除 导出
共1页<1>
聚类工具0