黑龙江省教育厅资助项目(11541291)
- 作品数：2 被引量：0H指数：0
- 相关作者：杨泽雪胡心怡安波吕滨邢传军更多>>
- 相关机构：黑龙江工程学院哈尔滨工业大学哈尔滨师范大学更多>>
- 发文基金：黑龙江省教育厅资助项目更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于V^+图的移动K近邻查询研究
- 2010年
- 移动K近邻查询(MkNN)找到一个移动查询点的K个连续最近邻。目前解决此类查询的方法有两种:利用采样的方法和基于安全区域的方法。在传统的安全区域方法基础上提出一种基于安全区域的技术来计算MkNN,称为V+图。此方法除了数据对象外还利用查询点和查询空间的信息,给出基于V+图的MkNN查询算法和相应定理及其证明。
- 杨泽雪安波吕滨郑晓霞邢传军
- 关键词：最近邻空间查询
- 带有规则优先级的主动规则终止性分析
- 2010年
- 主动规则的终止性指规则集的规则之间的相互触发不会无限循环下去,即规则是可终止的。对主动规则的终止性分析方法包括图方法和代数分析方法。针对已有分析方法的局限性,介绍一种主动数据库规则终止性分析的一种新方法,将主动规则翻译成逻辑语句,考虑到系统的执行语义,转换为演绎规则中已知终止性的主动过程,利用该规则终止性分析方法对更多规则进行终止性分析,给出相应定理及其证明,最后给出规则优先级算法。
- 杨泽雪周屹胡心怡赵庆双
- 关键词：主动数据库终止性演绎数据库
