数据库系统概念 (本科教学版·原书第7版)

改编者序
译者简介
前言
作者简介
第1章　引言1
11　数据库系统应用1
12　数据库系统的目标3
13　数据视图6
131　数据模型6
132　关系数据模型6
133　数据抽象7
134　实例和模式8
14　数据库语言9
141　数据定义语言9
142　SQL数据定义语言10
143　数据操纵语言10
144　SQL数据操纵语言11
145　从应用程序访问数据库11
15　数据库设计12
16　数据库引擎12
161　存储管理器13
162　查询处理器14
163　事务管理14
17　数据库和应用体系结构15
18　数据库用户和管理员16
181　数据库用户和用户界面16
182　数据库管理员17
19　数据库系统的历史17
110　总结20
术语回顾21
实践习题22
习题22
工具22
延伸阅读23
参考文献23
**部分　关系语言
第2章　关系模型介绍26
21　关系数据库的结构26
22　数据库模式28
23　码29
24　模式图32
25　关系查询语言32
26　总结33
术语回顾33
实践习题34
习题34
延伸阅读35
参考文献35
第3章　SQL介绍36
31　SQL查询语言概览36
32　SQL数据定义37
321　基本类型37
322　基本模式定义38
33　SQL查询的基本结构40
331　单关系查询40
332　多关系查询42
34　附加的基本运算46
341　更名运算46
342　字符串运算47
343　select子句中的属性说明48
344　排列元组的显示次序48
345　where子句谓词49
35　集合运算49
351　并运算50
352　交运算51
353　差运算51
36　空值52
37　聚集函数53
371　基本聚集53
372　分组聚集54
373　having子句56
374　对空值和布尔值的聚集57
38　嵌套子查询58
381　集合成员资格58
382　集合比较59
383　空关系测试60
384　重复元组存在性测试61
385　from子句中的子查询62
386　with子句63
387　标量子查询64
388　不带from子句的标量64
39　数据库的修改65
391　删除66
392　插入67
393　更新68
310　总结69
术语回顾70
实践习题70
习题72
工具74
延伸阅读75
参考文献75
第4章　中级SQL76
41　连接表达式76
411　自然连接76
412　连接条件79
413　外连接80
414　连接类型和条件83
42　视图83
421　视图定义84
422　在SQL查询中使用视图85
423　物化视图86
424　视图更新86
43　事务88
44　完整性约束89
441　单个关系上的约束90
442　非空约束90
443　唯一性约束91
444　check子句91
445　引用完整性91
446　给约束赋名93
447　事务中对完整性约束的违反94
448　复杂check条件与断言94
45　SQL的数据类型与模式96
451　SQL中的日期和时间类型96
452　类型转换和格式化函数96
453　缺省值97
454　大对象类型98
455　用户自定义类型99
456　生成唯一码值101
457　create table的扩展102
458　模式、目录与环境102
46　SQL中的索引定义103
47　授权104
471　权限的授予与收回105
472　角色106
473　视图的授权107
474　模式的授权108
475　权限的转移108
476　权限的收回109
477　行级授权110
48　总结110
术语回顾111
实践习题112
习题113
延伸阅读114
参考文献114
第5章　高级SQL116
51　使用程序设计语言访问SQL116
511　JDBC117
512　从Python访问数据库123
513　ODBC123
514　嵌入式SQL125
52　函数和过程127
521　声明及调用SQL函数和过程127
522　用于过程和函数的语言结构128
523　外部语言例程131
53　触发器132
531　对触发器的需求132
532　SQL中的触发器132
533　何时不用触发器135
54　递归查询137
541　使用迭代的传递闭包137
542　SQL中的递归139
55　高级聚集特性140
551　排名141
552　分窗144
553　旋转145
554　上卷和立方体146
56　总结149
术语回顾149
实践习题149
习题151
工具153
延伸阅读153
第6章　形式化关系查询语言154
61　关系代数154
611　选择运算154
612　投影运算155
613　关系运算的复合155
614　笛卡儿积运算156
615　连接运算157
616　集合运算158
617　赋值运算159
618　更名运算160
619　等价查询161
62　元组关系演算161
621　查询示例161
622　形式化定义164
623　表达式的安全