《数据库逻辑导论》求取 ⇩

第一章 数据库基本概念1

1.1引言1

目 录1

1.2三级结构5

1.3三种主要的数据库模型10

1.4数据库系统的通讯14

1.5数据库系统的发展17

1.6几个重要的数据库问题20

1.7习题23

2.1 Codasyl系（set）概念26

第二章 网状数据库模型26

2.2数据定义语言32

2.3数据库导航40

2.4数据库更新和程序43

2.5习题50

第三章 层次数据库模型56

3.1层次表示56

3.2层次数据结构和IMS概念61

3.3层次数据库的检索68

3.4层次数据库更新72

3.5习题76

第四章 关系数据库模型80

4.1基本定义80

4.2关系代数84

4.3 SQL概述92

4.4 SQL中复杂的查询100

4.5 SQL其它特点108

4.6习题113

第五章 数据库设计123

5.1函数依赖123

5.2数据库规范化128

5.3其它类型的依赖和范式133

5.4用于数据库设计的实体－联系（ER）模型139

5.5 ER模型的数据操纵语言145

5.6习题149

第六章 数据库组成155

6.1数据库的安全性155

6.2数据字典159

6.3事务及恢复162

6.4并发处理165

6.5面向用户的辅助功能174

6.6习题178

第七章 数据库实现181

7.1物理表示181

7.2查询优化190

7.3分布式数据库197

7.4数据库机和第五代计算机201

7.5数据库管理206

7.6习题208

第八章 关系数据库逻辑211

8.1一阶逻辑211

8.2关系演算215

8.3关系演算和关系代数223

8.4定理的机器证明227

8.5以一阶逻辑表示的约束234

8.6习题239

第九章 智能数据库243

9.1演绎数据库243

9.2Prolog介绍248

9.3对Prolog更深入的说明254

9.4微－PROLOG262

9.5自然语言接口267

9.6习题270

第十章 数据库逻辑及变换273

10.1 用数据库逻辑表示的视图273

10.2数据库逻辑语言281

10.3 外视图结构289

10.4数据库转换296

10.5 习题307

第十一章 数据库的各类专题311

11.1 空值及不完全信息311

11.2 数据库中的时间319

11.3 专业化数据库系统和专家数据库系统326

11.4 数据库单一化332

11.5 习题339

第十二章 具体的数据库系统344

12.1QBE344

12.2INGRES349

12.3 NOMAD2354

12.4 dBASEⅢPLUS（增强型dBASEⅢ）360

12.5 Lotus 1-2-3363

12.6其它数据库系统369

12.7习题373

译后记375