目录 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