数据库逻辑导论PDF电子书下载

第一章 数据库基本概念 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微－PROLOG 262

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.1QBE 344

12.2INGRES 349

12.3 NOMAD2 354

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

12.5 Lotus 1-2-3 363

12.6其它数据库系统 369

12.7习题 373

译后记 375