陈战胜
- 作品数：5 被引量：5H指数：2
- 供职机构：北京联合大学信息学院更多>>
- 发文基金：黑龙江省自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 主动数据库的规则终止性分析被引量：2
- 2004年
- 提出一种基于进化图的规则终止性静态分析的方法,全面考虑了触发图、活化图和惰化图。这种基于进化图的分析方法比传统基于图的分析方法分析更为精确,之后提出了规则终止性分析算法并证明了其正确性。
- 陈战胜王瑞祥
- 移动对象索引方法研究被引量：3
- 2006年
- 传统空间索引结构因无法适应大量的更新操作而不能应用于移动对象的存储和检索。本文介绍了三种主要移动对象索引方法的基本思想,即R树及其变形树、四叉树及其变形树以及网格文件及其变形算法,并进行了分析对比,在此基础上提出了混合索引结构,比已知的索引结构效率更高。
- 丁晓丽陈战胜姜庆臣
- 关键词：移动对象数据库移动对象索引查询
- 空间连接的选择性估计
- 2005年
- 空间连接是空间数据库中非常重要和耗时的操作,而空间连接的选择性估计对于查询优化器能否选择一 个较好的执行计划至关重要。本文介绍了3种空间连接的选择性估计方法,并对其进行了比较分析。
- 金梅陈战胜丁晓丽
- 强函数依赖及其在XML范式中的应用
- 2005年
- 本文用一种“强满足”的方法,把函数依赖的定义扩展,使其符合不完全XML文档的情况,并把这种 函致依赖称作XFD。在此基础上,给出了XML文档的一种范式。
- 孙宝军张颖陈战胜
- 关键词：XML范式
- 一种改进的规则终止性分析方法的研究
- 2007年
- 提出一种新的规则终止性静态分析方法REG,它在全面考虑触发图、活化图和惰化图的基础上引入事务的思想。对于规则的终止性分析,采用REG方法比基于进化图的分析方法更具体、精确,接着给出了REG的算法并证明其正确性。
- 陈战胜滕永富
- 关键词：事务REG
