郝忠孝著2013 年出版407 页ISBN:9787030372581
本书共分十二章。主要内容包括:空间数据库的基本索引结构、查询优化、方向方位和连接查询、最近邻查询、反向最近邻查询、核心变体查询、一般变体查询、线段的最近邻查询和反向最近邻查询、空间填充曲线的空...
郝忠孝,王富营主编2008 年出版580 页ISBN:9787534829536
本书汇集了国家和洛阳市关于安全生产的一系列法律法规,从新的视角阐述了安全文化对于安全生产的重要性。
郝忠孝著2009 年出版368 页ISBN:9787030233646
本书共主要内容包括:主动数据库管理系统的体系结构、主动规则的相关模型及说明语言、事件监测、特别重点讨论了基于触发图、活化图、惰化图、事务、规则优先级、活化路径、代数等方法对主动规则集终止性、汇...
郝忠孝著2016 年出版256 页ISBN:9787030488435
本书共分8章。主要内容包括:本书是作者在数据库理论研究方法解析一书的后继、深入和补充。是以命题理论为核心,在进一步深入研究的基础上形成了以确定命题、命题解析、方法解析实现命题与证明方法对接为主线...
郝忠孝著2011 年出版195 页ISBN:9787030315649
本书重点以语义型不完全信息XML、逻辑型不完全信息-概率XML数据为主线,讨论了不完全信息下XML的强函数依赖推理规则、不完全信息下XML数据依赖规范化、存在XSFD的XMLSchema规范化等是目前国内外除作者及团队...