数据库系统应用教程

序
前言
第1章 数据库系统概述1
1.1 数据管理技术1
1.1.1 数据管理技术的产生和发展1
1.1.2 数据库系统的基本概念4
1.1.3 数据库技术的发展及研究领域6
1.2 数据模型7
1.2.1 数据模型的组成要素8
1.2.2 数据模型的分类8
1.2.3 概念模型及表示方法9
1.2.4 主要的逻辑模型12
1.3 数据库系统结构17
1.3.1 数据库系统模式的概念17
1.3.2 数据库系统的三级模式结构17
1.3.3 数据库的二级映像功能与数据独立性19
1.3.4 数据库系统的体系结构20
1.4 数据库新技术22
1.4.1 数据模型的发展22
1.4.2 数据库技术与其他相关技术结合23
1.4.3 面向应用领域的数据库新技术23
1.5 小结24
习题24
第2章 关系数据库26
2.1 关系模型概述26
2.1.1 关系模型的数据结构26
2.1.2 关系操作26
2.1.3 完整性约束27
2.2 关系数据结构27
2.2.1 关系27
2.2.2 关系模式30
2.2.3 关系数据库31
2.3 关系的完整性31
2.3.1 实体完整性32
2.3.2 参照完整性32
2.3.3 用户定义的完整性33
2.4 关系代数34
2.4.1 传统集合运算34
2.4.2 专门的关系运算37
2.5 小结42
习题42
第3章 关系数据库标准语言——SQL45
3.1 SQL概述45
3.2 数据定义48
3.2.1 基本表的定义、修改与删除48
3.2.2 索引的建立与删除51
3.3 数据查询52
3.3.1 单表查询52
3.3.2 连接查询60
3.3.3 嵌套查询64
3.3.4 集合查询72
3.4 数据更新73
3.4.1 插入数据73
3.4.2 修改数据74
3.4.3 删除数据75
3.5 视图75
3.5.1 定义视图76
3.5.2 查询视图78
3.5.3 更新视图79
3.5.4 视图的作用80
3.6 数据控制81
3.6.1 授权82
3.6.2 收回权限83
3.7 小结84
习题84
第4章 关系数据库规范化理论87
4.1 数据依赖87
4.1.1 函数依赖87
4.1.2 函数依赖对关系模式的影响91
4.2 范式与关系模式规范化92
4.2.1 第一范式93
4.2.2 第二范式95
4.2.3 第三范式96
4.2.4 Boyce-Codd范式98
4.2.5 多值依赖与第四范式98
4.3 关系模式规范化101
4.3.1 关系模式分解的步骤101
4.3.2 关系模式分解的等价标准102
4.4 函数依赖公理105
4.5 小结108
习题108
第5章 数据库设计110
5.1 数据库设计概述110
5.1.1 数据库设计的原则110
5.1.2 数据库设计方法111
5.2 数据库设计步骤113
5.2.1 需求分析阶段114
5.2.2 概念结构设计阶段120
5.2.3 逻辑结构设计阶段127
5.2.4 物理结构设计阶段132
5.2.5 数据库实施阶段135
5.2.6 运行和维护阶段137
5.3 PowerDesigner数据建模138
5.3.1 PowerDesigner概述138
5.3.2 PowerDesigner的功能139
5.3.3 PowerDesigner的模型文件139
5.3.4 PowerDesigner数据建模实例140
5.4 小结148
习题148
第6章 数据保护150
6.1 安全性150
6.1.1 数据库安全性概述150
6.1.2 数据库安全控制的一般方法150
6.2 完整性152
6.2.1 完整性约束条件153
6.2.2 完整性控制155
6.3 并发控制158
6.3.1 并发控制概述158
6.3.2 并发操作的调度160
6.3.3 封锁161
6.4 数据恢复163
6.4.1 故障的种类及恢复163
6.4.2 恢复的实现技术164
6.5 数据库复制与数据库镜像165
6.5.1 数据库复制165
6.5.2 数据库镜像167
6.6 小结168
习题168
第7章 数据库实验170
7.1 创建数据库170
7.2 数据更新173
7.3 简单查询175
7.4 复杂查询177
7.5 视图操作178
7.6 Transact-SQL程序设计179
7.7 存储过程与触发器181
7.8 数据库备份与恢复182
7.9 数据转换183
7.10 数据库安全性与授权185
7.11 SQL Server管理185
7.12 数据库设计186
习题参考答案及部分实验内容188
参考文献217