关系数据库PDF电子书下载
- 电子书积分:10 积分如何计算积分?
- 作 者:(美)杨超植著;刘动天等译
- 出 版 社:北京:电子工业出版社
- 出版年份:1990
- ISBN:7505306685
- 页数:217 页
第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
- 《SQL与关系数据库理论》(美)戴特(C.J.Date) 2019
- 《数据库技术与应用 Access 2010 微课版 第2版》刘卫国主编 2020
- 《大数据Hadoop 3.X分布式处理实战》吴章勇,杨强 2020
- 《Power BI数据清洗与可视化交互式分析》陈剑 2020
- 《公共关系》胡杏菁,罗永全,连伟文主编 2018
- 《数据失控》(美)约翰·切尼-利波尔德(John Cheney-Lippold)著 2019
- 《中国生态系统定位观测与研究数据集 森林生态系统卷 云南西双版纳》邓晓保·唐建维 2010
- 《穿越数据的迷宫 数据管理执行指南》Laura Sebastian-Coleman 2020
- 《大数据环境下的信息管理方法技术与服务创新丛书 俄罗斯档案事业改革与发展研究》徐胡乡责编;肖秋会 2019
- 《人际关系应用心理学》贾海泉 2018
- 《SQL与关系数据库理论》(美)戴特(C.J.Date) 2019
- 《魔法销售台词》(美)埃尔默·惠勒著 2019
- 《看漫画学钢琴 技巧 3》高宁译;(日)川崎美雪 2019
- 《优势谈判 15周年经典版》(美)罗杰·道森 2018
- 《社会学与人类生活 社会问题解析 第11版》(美)James M. Henslin(詹姆斯·M. 汉斯林) 2019
- 《海明威书信集:1917-1961 下》(美)海明威(Ernest Hemingway)著;潘小松译 2019
- 《羊脂球 莫泊桑短篇小说选》(法)莫泊桑著;张英伦译 2010
- 《迁徙 默温自选诗集 上》(美)W.S.默温著;伽禾译 2020
- 《上帝的孤独者 下 托马斯·沃尔夫短篇小说集》(美)托马斯·沃尔夫著;刘积源译 2017
- 《巴黎永远没个完》(美)海明威著 2017
- 《电子测量与仪器》人力资源和社会保障部教材办公室组织编写 2009
- 《少儿电子琴入门教程 双色图解版》灌木文化 2019
- 《指向核心素养 北京十一学校名师教学设计 英语 七年级 上 配人教版》周志英总主编 2019
- 《北京生态环境保护》《北京环境保护丛书》编委会编著 2018
- 《指向核心素养 北京十一学校名师教学设计 英语 九年级 上 配人教版》周志英总主编 2019
- 《通信电子电路原理及仿真设计》叶建芳 2019
- 《高等院校旅游专业系列教材 旅游企业岗位培训系列教材 新编北京导游英语》杨昆,鄢莉,谭明华 2019
- 《电子应用技术项目教程 第3版》王彰云 2019
- 《中国十大出版家》王震,贺越明著 1991
- 《近代民营出版机构的英语函授教育 以“商务、中华、开明”函授学校为个案 1915年-1946年版》丁伟 2017