《关系数据库》求取 ⇩

第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与PRTV144

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 QUEL149

8.3.1 概述149

8.3 QUEL与INGRES149

8.3.3 INGRES152

8.3.4 EQUEL152

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

附录：具有数据库选项的扩展PROLOG196

文献目录199

英中名词对照表207