数据库学术理论研究方法解析 特价商品

数据库学术理论研究方法解析
    分享到:
  • 商品编号:2414641
  • ISBN:9787030488435
  • 上架时间:2016-07-22
  • 图书质量:三星(馆配新书)
  •   出版社:科学出版社
  • 作者:郝忠孝
  • 出版日期:2016-06-01
  • 开本:32开
  • 图书印张:0
  • 装帧:平装
  • 馆配分类:TP:自动化技术、计算机技术
  • 页数:268
  • 原  价:¥88
  • 发货地:北京
  • 批发价:批量购买价更低 ???
  • 零售价:¥35.13 (40折)
促销信息:无
 我要买:
-+
本 (库存16本)  已售出14

内容简介

《数据库学术理论研究方法解析》内容简介:
本书共分8章。主要内容包括:本书是作者在数据库理论研究方法解析一书的后继、深入和补充。是以命题理论为核心,在进一步深入研究的基础上形成了以确定命题、命题解析、方法解析实现命题与证明方法对接为主线的学术研究方法解析。

作者简介

《数据库学术理论研究方法解析》作者简介:
郝忠孝,教授,山东蓬莱人,1940年12月生,曾任原东北重型机械学院副校长,齐齐哈尔大学副校长,哈尔滨理工大学学术委员会。现任哈尔滨工业大学博士生导师(兼)、哈尔滨理工大学博士生导师。原机械电子工业部有突出贡献专家,享受国务院政府特殊津贴,全国很好教师,黑龙江省共享人才专家,黑龙江省级学科带头人,黑龙江省计算机学会副理事长。主要研究领域:①空值数据库理论。在靠前外抢先发售提出了空值数据库数据模型,完成一系列相关研究,形成了比较完整的理论体系,著有靠前外靠前部该方面的论著《空值环境下数据库导论》。②数据库NP-接近问题的求解问题。抢先发售基本解决了求全部候选关键字、主属性,基数为M的候选关键字,很小候选关键字等问题,著有《关系数据库数据理论新进展》。③数据库数据组织的无环性理论研究。在无α环、无β环、无γ环的分解条件与规范化理论研究方面取得突破性进展,著有《数据库数据组织的无环性理论》。④时态数据库理论研究。系统提出并完成了时态数据库中基于全序、偏序、多粒度环境下的各种时态理论问题研究,著有《时态数据库设计理论》。⑤主动数据库理论研究。著有靠前外靠前部该方面的论著《主动数据库系统理论基础》。⑥不接近信息下XML、概率XML数据库理论研究。抢先发售解决了不接近信息下XML数据库部分理论研究问题,著有《不接近信息下XML数据库基础》。⑦空间、时空数据库理论研究。抢先发售解决了空间数据库线段很近邻查询和其他多个问题,著有《时空数据库查询与推理》、《时空数据库新理论》、《移动对象数据库理论基础》、《空间数据库理论基础》等著作。作为负责人完成了国家、省部级项目10项,获省、部级科技进步奖一、二、三等奖7项。发表学术论文230余篇,其中,国家一级论文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.10存在性证明模式和对命题证明的适用范围
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构成命题的结构
4.3命题解析内容及过程
4.3.1命题解析的几个方面
4.3.2证明前命题解析过程
4.4证明前对不同方式产生的命题解析
4.4.1确定命题产生方式
4.4.2证明前对不同方式确定的命题解析
4.4.3原始创新问题中的命题解析
4.5证明前间接确定命题浅析
4.6空值数据库理论相关概念和命题解析
4.7本章小结
第5章图和有向图与数据库理论间的关系
5.1数学理论和数据库理论间的关系
5.2图与解决实际问题的关系
5.2.1图与解决实际问题的关联}生
5.2.2图和有向图的计算机表示
5.3广度优先搜索和深度优先搜索
5.3.1广度优先搜索
5.3.2深度优先搜索
5.3.3两点之间的最短路径
5.4本章小结
第6章Voronoi图和数据库理论研究
6.1Voronoi图
6.1.1凸壳的基本概念
6.1.2Voronoi图结构
6.1.3最邻近点一阶Voronoi图性质命题及证明
6.1.4最邻近点后阶Voronoi图性质命题及证明
6.1.5最远点的Voronoi图
6.2Voronoi图特性和数据库理论研究的关系
6.3Delaunay三角网
6.3.1Delaunay三角网性质命题及证明
6.3.2Delaunay三角网的增量生成算法
6.4Voronoi图和空间数据库查询的关系
6.4.1最近邻查询
6.4.2基于Voronoi图的kNN查询算法
6.4.3基于Voronoi图的连续近邻查询
6.4.4基于Voronoi图的kCNN查询
6.4.5基于Delatmay三角网的反向最近邻查询
6.4.6基于Voronoi图的线段反向最近邻查询
6.5移动对象Voronoi图的维护机制与策略
6.5.1移动对象Voronoi图随时间的变化过程
6.5.2移动对象Voronoi图的维护机制
6.5.3移动对象Voronoi图维护的具体策略
6.5.4插入和删除对象时移动对象Voronoi图的维护
6.5.5基于移动对象Voronoi图近邻查询的数据库实现模型
6.6本章小结
第7章曲面和数据库查询的关系
7.1柱面及锥面上点的最近邻查询
7.2球面上点的最近邻查询
7.2.1利用球面Voronoi图计算最近邻
7.2.2欧氏空间内的空间数据索引结构
7.2.3降维方法
7.2.4曲面投影于平面
7.3反向最远邻的过滤与查询
7.3.1查询点的RFN过滤判断
7.3.2过滤后给定点的RFN查询
7.3.3RFF查询及动态更新
7.4本章小结
第8章如何培养研究生
8.1导师应具有的道德品质
8.1.1导师应具有的基本道德品质
8.1.2导师应严守道德规范
8.1.3导师应克服浮躁之风
8.2导师应具有的能力
8.3研究生的培养和学习
8.3.1学术研究的相关问题
8.3.2学术创新问题
8.3.3硕士生导师的“导”的作用
8.3.4博士生导师的“导”的作用
参考文献

书摘与插图

《数据库学术理论研究方法解析》书摘与插图暂缺