

工程数据库原理PDF格式文档图书下载
- 购买点数:11 点
- 作 者:陈其明编著
- 出 版 社:北京:测绘出版社
- 出版年份:1991
- ISBN:7503004320 7503004320
- 标注页数:432 页
- PDF页数:441 页
目录 1
绪论 1
第一章结构层次的数据模型 14
§1.1 层次数据模型 19
§1.1.1 层次数据库的内涵 20
§1.1.2 层次数据库的外延 24
§1.1.3 层次数据库的视图 26
§1.1.4 层次数据库的存取途径 29
§1.1.5 层次数据库的系统结构 32
§1.1.6 层次数据库的操作 33
§1.2 网状数据模型 36
§1.2.1 网状数据库的内涵 36
§1.2.2 网状数据库的外延 47
§1.2.3 网状数据库的视图 47
§1.2.4 网状数据库的存取途径 49
§1.2.5 网状数据库的系统结构 52
§1.2.6 网状数据库的操作 54
§1.3 关系数据模型 60
§1.3.1 关系数据库的内涵 61
§1.3.2 关系数据库的外延 66
§1.3.3 关系数据库的视图 67
§1.3.4 关系数据库的存取途径 70
§1.3.5 关系数据库的系统结构 71
§1.3.6 关系数据库的操作 73
§1.3.7 规范关系数据库理论 91
§1.4 本章小结 102
第二章语义层次的数据模型 105
§2.1 实体—联系数据模型 106
§2.1.1 基于实体—联系的数据模拟 106
§2.1.2 数据完整性 112
§2.1.3 数据操作的特点 112
§2.1.4 实体—联系方法的扩充 113
§2.2 函数数据模型 116
§2.2.1 对象与函数 118
§2.2.2 泛函数 122
§2.2.3 数据操作语言 123
§2.2.4 与关系数据模型的联系 124
§2.2.5 与抽象数据型的联系 126
§2.2.6 在工程数据库中的应用前景 127
§2.3 语义网络数据模型 128
§2.3.1 语义的网络表达 128
§2.3.2 语义约束 134
§2.3.3 数据操作的特点 135
§2.4 超图数据模型 138
§2.4.1 超图数据结构 138
§2.4.2 基于超图的数据模拟 139
§2.4.3 数据操作的特点 147
§2.5 本章小结 147
第三章演绎数据库 149
§3.1 一阶逻辑 153
§3.1.1命题逻辑 154
§3.1.2 一阶谓词逻辑 159
§3.2 逻辑程序 165
§3.2.1 Horn子句逻辑 165
§3.2.2 Herbrand解释与模型 170
§3.2.3 合一与归结 174
§3.2.4 极小不动点 178
§3.3 数据库与逻辑 182
§3.3.1 数据库的逻辑模型论 182
§3.3.2 数据库的逻辑证明论 184
§3.4演绎数据库系统 188
§3.5 基于逻辑的数据库语言 192
§3.5.1 PROLOG——不适当的选择 192
§3.5.2 DATALOG 193
§3.5.3 函数项的引入 194
§3.5.4 对否定的处理 195
§3.6 本章小结 198
第四章面向对象数据库 200
§4.1 问题的提出 200
§4.2 面向对象程序系统 209
§4.2.1 主要概念 212
§4.2.2 smalltalk—80 217
§4.2.3 C++ 220
8 4.3 面向对象数据库系统 225
§4.3.1 对象标识 226
§4.3.2 封闭 229
§4.3.3 类型层次与继承 235
§4.3.4 算子重叠与后结合 245
§4.3.5 面向对象数据库的可扩充性 247
§4.4 本章小结 248
第五章对象结构的数据模型 250
§5.1 复杂对象 250
§5.2 对象的半序格模型 253
§5.3 部分对象 266
§5.4 对象的图示 268
§5.5 本章小结 269
第六章对象的标识 271
§6.1 对象标识的表达和时间 271
§6.2 对象标识方法的评价 273
第七章符号对象模型 279
§7.1 符号对象 281
§7.2.1 对象的相等比较 286
§7.2 符号对象的操作 286
§7.2.2 对象的构造 288
§7.2.3 对象的复制 290
§7.3 逻辑数据结构 292
§7.4 本章小结 294
第八章 类型的结构和符号模型 295
§8.1 型的结构模型 296
§8.2 型的结构交换 301
§8.2.1 型的重构 301
§8.2.2 保息重构 308
§8.3 类的符号对象模型 311
§8.4 封闭与继承 313
§8.5 符号类模型的逻辑数据结构 318
§8.6 统一的符号对象模型 319
§8.7 本章小结 323
第九章元类 324
§9.1 元类的基本概念 325
§9.2.1 元实例化 328
§9.2 元类的性质 328
§9.2.2 类复盖 329
§9.2.3 元类的部分实例化 330
§9.3 元类与面向对象系统 331
§9.4 本章小结 332
第十章广义对象操作 334
§10.1 对象代数 334
§10.1.1 子对象和部分对象在操作上的区别 335
§10.1.2 广义并与交 336
§10.1.3 广义投影 341
§10.1.4 广义选择 348
§10.1.5 广义联接 349
§10.2 对象演算 361
§10.2.1 虚型 361
§10.2.2 重构表达式作为对象演算法则 363
§10.2.3 附加限制条件的相容重构 364
§10.2.4 对象演算的优点和限制 365
§10.3 关于类的操作 366
§10.4 本章小结 370
第十一章复杂对象推理 372
§11.1 以函数项表达复杂对象的逻辑程序系统 373
§11.1.1 LDL 373
§11.1.2 LPS 375
§11.1.3 COL 375
§11.2扩展的逻辑程序系统HILOG 376
§11.2.1 HILOG的语法 378
§11.2.2 HILOG的语义 380
§11.2.3 HILOG的应用 394
§11.3复杂对象推理的符号过渡法 396
§11.3.1 L-PT系统 397
§11.3.2 由HILOG 到 LPT的映射 403
§11.3.3 关于映射的进一步讨论 410
§11.4 HILOG与一阶逻辑程序模型理论的关联 415
§11.5本章小结 417
附录1 拆卸σ的定义 419
附录2 证明概要 420
参考文献 422
- 《《数据结构》算法实现及解析 配合严蔚敏、吴伟民编著的 《数据结构》 C语言版》高一凡编著 2002
- 《工程数据库原理》陈其明编著 1991
- 《数据库原理及应用》方辉云,何苗,宋洁主编 2016
- 《普通高等教育“十三五”规划教材 软件工程专业 数据库原理及应用 MySQL版》高亮,韩玉民主编;赵冬,郭丽副主编 2019
- 《普通高等教育“十三五”规划教材 软件工程专业 数据库原理及应用 SQL Server 2012》赖玲,李祥琴,胡秀,王娅纷,沈成涛著 2017
- 《数据仓库与数据挖掘的原理及应用》李志刚,马刚 2008
- 《建设工程监理操作指南 按新规范编著》李明安编著 2013
- 《黑白磁带录像机原理与维修 西德 西门子公司编著》昆明720情报室编 1997
- 《现代软件工程专业系列教材 数据库系统设计与开发》朱扬勇编著 2007
- 《数据库原理与应用》蔡延光主编;黄永慧,邢延,张钢参编 2016
- 《西方的中国影像 1793-1949 奥斯瓦尔德·喜仁龙卷》卞修跃主编 2015
- 《老北京地图的记忆》宗绪盛著 2014
- 《中华人民共和国测绘法 最新修订本》全国人大常委会办公厅 2017
- 《中国古代的地图测绘》葛剑雄编著 1998
- 《北大建筑 5 古崖居考》北京大学建筑学研究中心聚落研究小组编著 2011
- 《北京的城墙与城门》(瑞典)喜仁龙著;刘莹译 2018
- 《城市记忆 北京四合院普查成果与保护 第2卷》韩扬主编 2014
- 《THE GOVERNMENT/PRESS CONNECTION PRESS OFFICERS AND THEIR OFFICES》STEPHEN HESS 1984
- 《地球科学与测绘技术进展》曹代勇,唐跃刚主编;赵峰华,崔希民,鲍玲副主编 2010
- 《PRESS》POLITICS & PUBLIC OPINION IN BIHAR 1912-1947 2010