《工程数据库原理》求取 ⇩

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

§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—80217

§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 LDL373

§11.1.2 LPS375

§11.1.3 COL375

§11.2扩展的逻辑程序系统HILOG376

§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