科学研究方法是发现、确定研究问题和解决问题的有力工具，是指导正确进行研究工作的保证。数据库学术理论研究方法是科学研究中的一个组成部分，为数据库理论研究提供方法、原则、手段、途径。数据库科学理论作为一种高级复杂的知识形态和认识形式，是在已有知识的基础上，利用正确的思维方式、推理形式、研究方法和相关的实践活动而获得的。数据库理论研究和发现是通过学术理论研究方法对课题中理论命题形成命题逻辑链、证明逻辑链而完成的。只有对课题系统分析才能形成命题逻辑链，只有对命题解析、证明方法解析实现命题与证明方法的对接，才能形成证明逻辑链。在学术理论研究过程中，是否拥有正确的思维方式、推理形式、研究方法和相关的实践活动，是能否对数据库学术理论研究做出贡献的关键。正确的思维方式、推理形式和科学方法不仅可以使研究者根据数据库理论科学研究发展的客观规律，确定正确的研究方向，还可以为研究者提供命题的选择及确定、证明方法的解析、证明前命题解析等实现命题和证明方法的对接，即命题证明中选择恰当的推理证明研究的具体方法，因此可以为计算机数据库理论的新发现及发展提供支撑。
　　哲学的方法论原理是指导人类科学研究的重要指南，因此数据库学术理论研究方法也离不开哲学方法论原理的指导，其实质是哲学方法论原理在数据库理论中的具体应用。数据库理论研究方法是解决数据库理论问题的一把钥匙。
　　众所周知，计算机的出现是数学计算的产物。数据库理论的发展与数学的发展密不可分，数学理论研究是演绎性质的科学。因此，在数据库理论中命题结论的正确性，一般情况下必须遵循数学逻辑证明，相当大一部分也是通过演绎得到的。此外，数据库还和数学计算有很大不同，大多数理论研究属于应用理论研究范畴，因此和数学中的有些研究方法也不相同。
　　对于任何自然科学，正确的思维方式和推理形式是产生正确的研究方法的源泉。本书是作者三十九年来对数据库理论研究过程中使用方法的经验总结。本书的出版可能为致力于数据库学术理论深入研究的科研人员提供一些可借鉴的思维方式、推理形式、研究方法，这也是作者撰写本书的目的。

　　《数据库应用理论系列图书：数据库学术理论研究方法解析》是作者对《数据库理论研究方法解析》一书的深入和补充。
　　《数据库应用理论系列图书：数据库学术理论研究方法解析》以确定命题、命题解析、方法解析而实现命题与证明方法的对接为主线，系统阐述了数据库学术理论研究方法，并以实例进行解析。
　　《数据库应用理论系列图书：数据库学术理论研究方法解析》共8章。主要内容包括：确定命题的思维和方法、命题证明中的思维和推理解析、命题证明方法解析、证明前命题解析、图和有向图与数据库理论间的关系、Voronoi图和数据库理论研究、曲面和数据库查询的关系、如何培养研究生等。
　　《数据库应用理论系列图书：数据库学术理论研究方法解析》可供从事计算机数据库、网络安全理论和计算机领域其他分支理论学习、研究的本科生、研究生、教师及科研人员使用，也可供从事其他自然科学理论的研究人员参考。

　　郝忠孝，教授，山东蓬莱人，1940年12月生，中共党员。曾任原东北重型机械学院副校长，齐齐哈尔大学副校长，哈尔滨理工大学学术委员会主席。现任哈尔滨工业大学博士生导师（兼）、哈尔滨理工大学博士生导师。原机械电子工业部有突出贡献专家、国务院政府特殊津贴获得者、全国教师、黑龙江省共享人才专家、省级学科带头人、省计算机学会副理事长。
　　主要研究领域：①空值数据库理论研究。在国内外首次提出了空值数据库数据模型，完成了一系列相关研究，形成了比较完整的理论体系，著有国内外该方面的第1部论著《空值环境下数据库导论》。②数据库NP-完全问题的求解问题。首次基本解决了求全部候选关键字、主属性，基数为M的候选关键字，*小候选关键字等问题，著有《关系数据库数据理论新进展》。③数据库数据组织的无环性理论研究。对无α环、无β环、无γ环的分解条件与规范化理论研究方面有了突破性进展，著有《数据库数据组织的无环性理论》。④时态数据库理论研究。系统提出并完成了时态数据库中基于全序、偏序、多粒度环境下的各种时态理论问题研究，著有《时态数据库设计理论》。⑤主动数据库理论研究。著有国内外该方面的第1部论著《主动数据库系统理论基础》。⑥不完全信息下XML、概率xⅣn.。数据库理论研究。首次解决了不完全信息下XML数据库部分理论研究问题，著有《不完全信息下XML数据库基础》。⑦空间、时空数据库理论研究。首次提出了空间数据库线段*近邻查询，系统研究了变体查询，提出了FNR*树网络中移动对象轨迹查询，提出了主方向关系并解决了一致性检验问题以及TBA树的查询问题和其他一些未解决的类型查询等问题，著有《时空数据库查询与推理》、《时空数据库新理论》、《移动对象数据库理论基础》、《空间数据库理论基础》、《数据库理论研究方法解析》、《数据库学术理论研究方法解析》等。
　　作为负责人完成了国家、省部级项目10项；获省部级科技进步奖一、二、三等奖共7项。发表学术论文280余篇，其中国家一级论文160余篇，在《计算机研究与发展》正刊上发表个人学术论文专辑两部，被SCI、EI等检索140余篇；1991年发表学术论文数量居中国科技界第五位（并列）。出版学术著作12部。

前言

第1章 确定命题的思维和方法
1．1 基础知识
1．1．1 想象和科学假设
1．1．2 思维
1．1．3 抽象和科学抽象
1．1．4 运用思维产生及确定命题的过程
1．2 客观世界需求产生及确定命题
1．3 产生及确定命题的基本方式
1．4 创新思维方式产生及确定命题
1．5 阅读文献方式产生及确定命题
1．5．1 批判阅读和吸收中产生及确定命题
1．5．2 比较阅读中产生及确定命题
1．5．3 阅文评价中产生及确定命题
1．5．4 阅读专著中产生及确定命题
1．6 本章小结

第2章 命题证明中的思维和推理解析
2．1 命题证明的三个阶段
2．2 命题证明中的逻辑思维
2．3 命题证明中的形式逻辑
2．4 命题证明中的创新性思维
2．5 命题证明中的演绎推理
2．5．1 三段论演绎推理的一般模式
2．5．2 推理逻辑性和推理结论正确的必备条件
2．5．3 命题证明中演绎推理的作用
2．6 命题证明中的条件关系推理和归纳推理
2．6．1 命题证明中的条件命题推理
2．6．2 命题证明中的完全归纳推理
2．6．3 命题证明和不完全归纳推理的关系
2．7 命题证明中的类比推理
2．7．1 命题证明和类比推理的关系
2．7．2 命题证明和数学相似类比推理的关系
2．7．3 命题证明和简化类比推理的关系
2．7．4 命题证明和模型类比推理的关系
2．8 命题证明中的因果关系推理
2．8．1 因果关系及性质
2．8．2 逻辑推理与因果关系的区别
2．9 命题证明中的数理逻辑
2．9．1 命题逻辑
2．9．2 命题公式及文字命题的符号化
2．10 本章小结

第3章 命题证明方法解析
3．1 分析与综合在命题证明中的作用
3．2 命题证明的结构解析
3．3 证明方法模式及其适用范围解析
3．3．1 逻辑演绎证明模式和对命题证明的适用范围
3．3．2 综合证明模式和对命题证明的适用范围
3．3．3 分析证明模式和对命题证明的适用范围
3．3．4 数学归纳证明模式和对命题证明的适用范围
3．3．5 不完全数学归纳证明模式和对命题证明的适用范围
3．3．6 条件关系证明模式和对命题证明的适用范围
3．3．7 反证法证明模式和对命题证明的适用范围
3．3．8 同一法证明模式和对命题证明的适用范围
3．3．9 构造法证明模式和对命题证明的适用范围
3．3．1 0存在性证明模式和对命题证明的适用范围
3．4 理论命题推理证明法选择的层次
3．5 算法证明前证明方法和复杂度分析法的解析
3．5．1 总算法和子算法的关系
3．5．2 算法理论证明前解析
3．5．3 算法模拟实验检验法
3．6 本章小结

第4章 证明前命题解析
4．1 创新型命题的类型
4．1．1 原始创新型理论及命题
4．1．2 继承型创新命题
4．2 构成命题的结构
……

第5章 图和有向图与数据库理论间的关系
第6章 Voronoi图和数据库理论研究
第7章 曲面和数据库查询的关系
第8章 如何培养研究生

参考文献