第0章 数学概念的回顾 1
0.1 引言 1
0.2 集合论 1
0.2.1 基本概念 1
0.2.2 集合运算 1
0.3 函数与关系 2
0.3.1 函数 2
0.4.1 原子与公式 3
0.4 命题逻辑 3
0.3.2 关系 3
0.4.2 公式解释 4
0.4.3 公式间的等价性 4
0.4.4 范式 5
0.4.5 逻辑后项 5
0.5 一阶逻辑 5
0.5.1 谓词 5
0.5.2 量化 5
0.5.4 公式解释 6
0.5.3 公式 6
0.5.5 范范式 7
0.6 图论 7
0.6.1 无向图与有向图 7
0.6.2 超图 8
0.7 NP完全问题与NP困难问题 9
第一章 关系数据库模型 10
1.1 引言 10
1.2 属性和域 10
1.3 元组 12
1.4 关系数据库及模式 15
1.5 约束 17
1.6 数据库的关系模型 22
习题 22
第二章 关系代数 24
2.1 引言 24
2.2 代数运算 24
2.2.1 并可兼容性 24
2.2.2 换名 25
2.2.3 并 27
2.2.5 复积 28
2.2.4 差 28
2.2.6 投影 29
2.2.7 选择 31
2.3 附加的代数运算 32
2.3.1 交 32
2.3.2 联接 33
2.3.3 自然联接 34
2.3.4 商或除 35
2.4 关系代数 35
习题 36
第三章 关系谓词演算 38
3.1 引言 38
3.2 元组关系演算 38
3.2.1 公式 38
3.2.2 合法公式 41
3.2.3 元组演算表达式 44
3.2.4 安全元组演算表达式及其解释 45
3.3 化关系代数为元组演算 53
3.4 域关系演算 54
3.6 化域演算为关系代数 56
3.5 化元组演算为域演算 56
习题 60
第四章 函数依赖 63
4.1 引言 63
4.2 函数依赖 63
4.3 逻辑等价性 63
4.4 函数依赖的独立推理规则 65
4.5 函数依赖的其它推理规则 66
4.6 函数依赖集的闭包 68
4.7 推理规则的正确性与完备性 71
4.8 关键字与超关键字 72
4.9 函数依赖集的覆盖 73
4.10 函数依赖的图形表示 76
习题 89
第五章 多值依赖 91
5.1 引言 91
5.2 多值依赖 91
5.3 逻辑等价性 92
5.4 多值依赖的立推理规则 94
5.5 多值依赖的其它推理规则 96
5.6 函数依赖和多值依赖的推理规则 97
5.7 依赖基 99
5.8 嵌入多值依赖 100
5.9 无矛盾的虚关键字 101
5.10 关于逻辑等价性的最后评语 102
习题 102
第六章 联接依赖 104
6.1 引言 104
6.2 联接依赖 104
6.3 联接不丢失性的检验 107
6.4 存在定理 109
6.5 完全联接依赖的成员关系问题 110
6.6 联接依赖的推理规则 111
习题 113
第七章 规范化 114
7.1 引言 114
7.2 第一范式 114
7.3 第二范式 114
7.4 第三范式 118
7.5 基本关键字范式 122
7.6.2 求最小图覆盖的算法 124
7.6.1 求非冗余图覆盖的算法 124
7.6 基于函数依赖图的综合算法 124
7.6.3 求LR最小图覆盖的算法 127
7.6.4 寻找数据库模式 131
7.7 博依斯-科德范式 132
7.8 关系模式的3NF、EKNF和BcNF之间的关系 134
7.9 第四范式 135
7.10 投影联接范式 137
7.11 水平规范化 141
7.12 关于规范化的最后评语 141
习题 142
第八章 查询语言与数据库管理系统 144
8.1 引言 144
8.2 ISBL与PRTV 144
8.2.1 概述 144
8.2.2 个体、属性与有名变量 144
8.2.3 运算 145
8.2.4 用户扩展功能 146
8.2.5 PRTV的其它特征 147
8.2.6 查询处理 148
8.3.2 QUEL 149
8.3.1 概述 149
8.3 QUEL与INGRES 149
8.3.3 INGRES 152
8.3.4 EQUEL 152
8.3.5 建立或删除数据库 153
8.3.6 进入或离开INGRES环境 153
8.3.7 建立关系模式 153
8.3.8 建立或删除关系 154
8.3.9 显示与存储关系 156
8.3.10 打印查询缓冲器或查询缓冲器清零 156
8.3.11 存储结构 157
8.3.12 二级索引 158
8.3.13 系统关系 159
8.3.14 编辑工作空间 160
8.3.15 查询处理 161
8.4 Query by Example与QBE数据库管理系统 165
8.4.1 概述 165
8.4.2 进入QBE环境 166
8.4.3 定义数据表格 167
8.4.4 命令表框与条件表框 169
8.4.5 单表处理 170
8.4.6 多表处理 172
8.4.7 集聚 178
8.4.8 换名 178
8.4.9 删除关系模式 178
8.5 PROLOG逻辑程序设计与PROLOG数据库管理系统 179
8.5.1 概述 179
8.5.2 逻辑子句形式与霍恩子句 179
8.5.4 术语与符合的对应 180
8.5.5 拷贝会话期 180
8.5.3 UNIX与PROLOG环境 180
8.5.6 本文文件与索引文件 181
8.5.7 知识表达 181
8.5.8 系统关系的初始化与维护 182
8.5.9 建立关系 183
8.5.10 查询处理 184
8.5.11 修改与删除元组 192
习题 193
附录：具有数据库选项的扩展PROLOG 196
文献目录 199
英中名词对照表 207