第一节 数据库发展历程 1
一、 手工数据处理 1
二、 文件方式的数据处理 1
三、 数据库方式的数据处理 1
第一章 绪论 1
第二节 数据库系统的构成 2
一、 数据库 2
二、 数据库管理系统 2
三、 数据库应用系统 4
四、 数据库管理员 4
第三节 数据库系统中的数据存取过程 5
一、 数据库的三层模式 5
二、 数据独立性 6
三、 查询处理的一般流程 6
二、 多媒体数据库 7
第四节 数据库分类 7
一、 传统数据库 7
三、 集中式数据库 8
四、 分布式数据库 8
习题一 9
第二章 数据模型 10
第一节 E-R模型 10
一、 E-R模型的基本概念 10
二、 E-R模型的构成 10
三、 E-R模型图 12
四、 E-R模型举例 13
第二节 面向对象模型及ODL语言 13
一、 面向对象模型的基本思想 13
二、 面向对象模型概念及结构 14
三、 联系及逆联系 15
五、 ODL模型举例 17
四、 子类和继承性 17
第三节 关系数据模型 18
一、 关系数据模型的概念 18
二、 关系数据库 19
三、 关系模式 20
四、 关系数据模型的操作 20
第四节 E-R模型向关系数据模型和面向对象模型转化 21
一、 实体、属性向关系模式、属性转化 21
二、 实体集转化为相应的关系 21
三、 联系图向关系模式的转化 22
四、 联系值向关系的转化 22
五、 E-R模型向面向对象模型转化 22
第五节 面向对象模型向关系模型的转化 24
一、 类属性的转化 24
二、 类联系的转化 24
三、 子类的转化 25
第六节 早期的数据模型 26
一、 层次数据模型 26
二、 物理数据库 27
三、 层次序列 27
四、 层次数据模型的存储结构 28
五、 树型E-R模型象层次数据模型的转化 29
六、 网状数据模型 29
七、 系 30
八、 系的存储结构 32
习题二 33
第三章 关系运算 35
第一节 关系代数 35
一、 关系 35
二、 传统集合运算 38
三、 投影 39
五、 笛卡尔积 40
四、 选择 40
六、 θ连接 41
七、 自然连接 42
八、 除法 42
九、 复合运算与运算树 43
十一、 改名 44
十一、 应用举例 44
第二节 元组谓词演算 44
一、 谓词演算的基本概念 44
二、 元组变量和元组分量 45
三、 合式公式 45
四、 关系代数到谓词演算的转换 46
五、 安全表达式与安全限制 47
六、 ALPHA的查询功能 47
第三节 域关系谓词演算 49
一、 谓词和原子 50
第四节 数据库逻辑查询语言Datalog 50
二、 算术谓词 51
三、 Datalog查询规则 51
四、 关系代数向Datalog的转换 52
五、 Datalog的递归查询 56
习题三 59
第四章 SQL语言 62
第一节 SQL简介 62
一、 SQL语言产生的历史 62
二、 SQL功能 62
三、 SQL使用方式 63
第二节 关系模式和索引的建立 64
一、 属性的基本类型 64
二、 建立模式 65
四、 修改表结构 66
三、 删除表 66
五、 建立与删除索引 67
第三节 SQL简单查询 68
一、 简单查询的基本格式 68
二、 简单查询举例 68
第四节 多关系连接查询 70
一、 多关系连接查询的一般格式 71
二、 连接查询举例 71
第五节 嵌套查询 73
一、 子查询的基本概念 73
二、 带IN，NOT IN的子查询 73
三、 带ALL，ANY的子查询 74
四、 带EXISTS，NOT EXISTS的子查询 75
五、 全称量词向NOT EXISTS的转化 76
一、 SQL统计函数 77
第六节 分组统计查询 77
二、 分组统计的基本概念 79
三、 分组统计语句 80
四、 分组统计过程 81
五、 输出控制条件 82
二、 修改 83
三、 插入 83
一、 更新的定义 83
第七节 数据更新 83
四、 删除 84
第八节 SQL中的集合运算 85
一、 查询的差集 85
二、 查询的交集 86
三、 查询的并集 87
第九节 视图 88
一、 视图的基本概念 88
三、 由多关系生成的视图 89
四、 视图查询 89
二、 单关系生成的视图 89
五、 视图的更新 90
六、 视图清除 91
第十节 递归查询 91
一、 递归查询 91
二、 递归查询定义语句 93
三、 递归查询的执行过程 94
四、 间接递归查询 94
习题四 95
第五章 关系数据库理论 98
第一节 关系模式 98
一、 关系 98
二、 关系中允许的基本类型 99
三、 关系模式 99
一、 函数依赖的定义 101
第二节 函数依赖 101
四、 元组及分量的表示方法 101
二、 关于函数依赖的说明 102
三、 完全函数依赖 102
四、 部分函数依赖 102
五、 传递函数依赖 103
六、 平凡函数依赖 103
七、 码、超码、主码 103
八、 高级关系模式 104
第三节 函数依赖的公理系统 105
一、 Armstrong公理 105
二、 公理的有效性 107
二、 由Armstrong公理导出的三条推理规则 107
第四节 多值依赖 108
一、 问题的提出 108
二、 多值依赖的定义 109
四、 多值依赖的公理系统 110
三、 多值依赖的基本性质 110
习题五 112
第六章 关系模式分解理论 113
第一节 关系范式 113
一、 关系规范化 113
二、 第一范式 114
三、 第二范式 115
四、 第三范式 115
五、 BCNF范式 117
六、 第四范式 118
七、 范式之间的关系 119
第二节 传递闭包 119
一、 闭包的基本概念 119
二、 求XF+的算法 120
三、 最小函数依赖集 121
四、 Armstrong公理是完备的 124
第三节 模式分解的基本概念 125
一、 函数依赖集的投影 125
二、 模式分解 125
三、 保持函数依赖的分解 126
四、 无损连接分解 127
五、 关于分解的一些性质 128
六、 无损连接分解的判别算法 129
第四节 第三范式分解算法及其证明 134
一、 第三范式保持函数依赖的分解算法 134
二、 分解算法正确性证明 135
三、 保持函数依赖和无损连接的3NF分解算法 136
四、 保持函数依赖且无损连接第三范式分解算法的正确性证明 137
第五节 BCNF范式分解算法及其证明 138
第六节 第四范式分解算法 140
一、 多值依赖的二项分解定理 141
二、 第四范式分解算法 142
习题六 143
第七章 SQL程序设计 146
第一节 嵌入式SQL概述 146
一、 SQL语言的独立执行方式 146
二、 SQL语言的宿主执行方式 147
三、 宿主SQL语句的嵌入方式 148
第二节 用SQL*C程序建立表 149
一、 共享变量及其描述 149
二、 利用SQL*C建立股票交易表 150
第三节 用SQL*C程序进行关系查询处理 151
一、 游标 151
二、 利用游标进行程序设计的基本步骤 153
第四节 用SQL*C进行关系更新操作 155
一、 简单的数据更新 156
二、 利用游标对查询结果逐行进行修改 157
习题七 158
第八章 数据保护 159
第一节 数据安全 159
一、 安全性控制的一般方法 159
二、 SQL授权语句 162
三、 ORACLE数据库的安全性措施 164
第二节 数据完整性 167
一、 数据完整性定义 167
二、 实体完整性 169
三、 参照完整性 169
四、 域完整性 172
第三节 SQL实现数据完整性的方法 172
一、 实体完整性定义 172
二、 参照完整性定义 173
三、 域完整性定义 174
四、 其他约束 175
第四节 触发器 176
一、 触发器基本概念 177
二、 触发器的定义方法 178
三、 触发器在数据保护中的作用 179
第五节 并行事务的一致性 181
一、 并行事务的基本特征 181
二、 并行事务的控制 182
三、 死锁的发生、预防和解除 186
四、 可串行调度及二段锁协议 188
习题八 191
第九章 数据库设计基础 192
第一节 数据库设计概述 192
一、 数据库设计概念 192
二、 数据库设计步骤 194
三、 需求分析 195
一、 概述 200
第二节 概念数据模型设计 200
二、 局部E-R图设计 201
三、 局部E-R模型的集成 205
第三节 数据库逻辑设计及物理设计和实现 208
一、 概念模型向关系模型的转换 208
二、 关系规范化设计与优化 209
三、 数据库实现与维护 210
第四节 数据安全设计 212
一、 用户权限 213
二、 口令 214
三、 数据加密设计 215
第五节 数据恢复设计 215
一、 数据恢复的概念 216
二、 定期转储法及设计 217
三、 日志法 217
习题九 219
参考文献 220