数据库学术理论研究方法解析.pdf
本书是作者对《数据库理论研究方法解析》一书的深入和补充。 本书以确定命题、命题解析、方法解析而实现命题与证明方法的对接为主线，系统阐述了数据库学术理论研究方法，并以实例进行解析。 本书共8章。主要内容包括：确定命题的思维和方法、命题证明中的思维和推理解析、命题
郝忠孝
数据库数据组织无环性理论.pdf
本书系统论述和分析了数据库数据组织理论以及作者提出的若干新的概念、方法、算法。全书共分12章。主要内容包括：基于超图、浅图的无α环，无β环、无γ环的特性。特别提出了作为本书讨论的核心概念—归并依赖集。
主动数据库系统理论基础.pdf
本书共分二十章，主要内容包括：主动数据库管理系统的体系结构、主动规则的相关模型及说明语言、事件监测，深入地讨论了规则执行和监测、主动数据库完整性等。
时态数据库设计理论.pdf
本书共分七章，内容包括：时态数据库设计研究的概况、时态模块模式与时态模块、时态函数依赖和集细于关系、时态类型和它的封闭集处理、TFD的推导规则、时态类型处理中的细于关系矩阵、时态类型集的封闭集及其公共最大下界、有限导出时态类型集等。
移动对象数据库理论基础.pdf
本书内容包括：FT-四叉树及高维空间查询、移动点、romnoi图拓扑动态维护策略；移动对象历史转迹查询、组合的移动对象轨迹查询、TBA-树的移动对象轨迹查询；移动对象的反向和变体查询：基于TPRDNN树索引结构的限界区域查询动态反向最近邻、移动对象历史轨迹的连续最近邻查询、移动对
不完全信息下XML数据库基础.pdf
本书内容包括：XML概述、基于编码的XML数据库存储方法、不完全信息下XML强函数依赖推理规则、概率数据模型分析和数据的转换、概率XML树的结点概率查询算法等。
数据库理论研究方法解析.pdf
本书内容包括：哲学的方法论原理、课题选择方法、系统思维划分产生命题、演绎中增强(削弱)条件限制确定命题、具体到抽象的方法确定命题、类比推理方法确定命题、文献阅读产生命题、学术论文评价产生命题、专著产生项目和课题、各种命题正确性证明、算法性质和证明及实验、各种算法复杂性分析技术和设
时空数据库查询与推理.pdf
全书共分十四章，内容包括：空间数据库最近邻查询，基于Voronoi图的反向最近邻、组最近邻、多类型最近邻查询；线段最近邻、反向最近邻查询，基于线段索引树的平面线段集最近邻查询；基于空间填充曲线的高维空间最近邻、k-最近对、高维空间范围查询等。
空间数据库理论基础.pdf
本书论述和分析了空间数据库的查询设计优化、若干新的查询、空间数据推理等新的技术和理论。本书共13章，主要介绍空间数据库的基本索引结构、查询优化、方向方位和连接查询、最近邻查询、反向最近邻查询、核心变体查询、一般变体查询，线段的最近邻查询和反向最近邻查询、基于空间填充曲线的空间查询