数据库系统导论

译者序
译者简介
第8版前言
第一部分 基础知识
第1章 数据库管理概述 2
1.1 引言 2
· · · · · · (更多)

译者序
译者简介
第8版前言
第一部分 基础知识
第1章 数据库管理概述 2
1.1 引言 2
1.2 数据库系统的构成 4
1.3 数据库的内涵 6
1.4 使用数据库的优点 9
1.5 数据独立性 11
1.6 关系系统及其他数据库系统 14
1.7 小结 16
习题 16
参考文献 17
第2章 数据库系统体系结构 18
2.1 引言 18
2.2 三级体系结构 18
2.3 外部层 19
2.4 概念层 21
2.5 内部层 22
2.6 映像 22
2.7 数据库管理员 23
2.8 数据库管理系统 24
2.9 数据通信 26
2.10 客户/服务器体系结构 26
2.11 实用程序 27
2.12 分布式处理 27
2.13 小结 29
习题 29
参考文献 30
第3章 关系数据库简介 32
3.1 引言 32
3.2 关系模型概述 32
3.3 关系和关系变量 34
3.4 关系的含义 36
3.5 优化 37
3.6 数据字典 38
3.7 基本关系变量和视图 39
3.8 事务 41
3.9 供应商和零件数据库 42
3.10 小结 43
习题 44
参考文献 45
第4章 SQL简介 47
4.1 引言 47
4.2 SQL基本操作 47
4.3 目录 49
4.4 视图 50
4.5 事务 50
4.6 嵌入式SQL 51
4.7 动态SQL和SQL/CLI 55
4.8 SQL并不完美 57
4.9 小结 57
习题 58
参考文献 59
第二部分 关系模型
第5章 类型 64
5.1 引言 64
5.2 值与变量 64
5.3 类型与表示 66
5.4 类型定义 69
5.5 操作符 70
5.6 类型生成子 74
5.7 SQL支持 75
5.8 小结 80
习题 81
参考文献 82
第6章 关系 83
6.1 引言 83
6.2 元组 83
6.3 关系类型 86
6.4 关系的值 87
6.5 关系变量 92
6.6 SQL的支持 96
6.7 小结 100
习题 101
参考文献 102
第7章 关系代数 105
7.1 引言 105
7.2 关系封闭性 106
7.3 基本代数:语法 107
7.4 基本代数:语义 109
7.5 举例 115
7.6 关系代数的作用 117
7.7 深入讨论 118
7.8 附加的操作符 119
7.9 分组与解组 124
7.10 小结 126
习题 126
参考文献 128
第8章 关系演算 130
8.1 引言 130
8.2 元组演算 131
8.3 举例 136
8.4 关系演算与关系代数的比较 138
8.5 计算能力 141
8.6 SQL语言 142
8.7 域演算 149
8.8 QBE 151
8.9 小结 154
习题 155
参考文献 156
第9章 完整性 158
9.1 引言 158
9.2 进一步讨论 159
9.3 谓词和命题 161
9.4 关系变量谓词和数据库谓词 162
9.5 约束检查 162
9.6 内部谓词与外部谓词 163
9.7 正确性与一致性 164
9.8 完整性和视图 165
9.9 约束分类模式 166
9.10 码 167
9.11 触发器 172
9.12 SQL的支持 174
9.13 小结 177
习题 178
参考文献 180
第10章 视图 185
10.1 引言 185
10.2 视图的用途 187
10.3 视图检索 189
10.4 视图更新 189
10.5 快照 199
10.6 SQL对视图的支持 200
10.7 小结 202
习题 202
参考文献 203
第三部分 数据库设计
第11章 函数依赖 209
11.1 引言 209
11.2 基本概念 209
11.3 平凡的函数依赖和非平凡的函数依赖 211
11.4 依赖集的闭包 211
11.5 属性集的闭包 212
11.6 最小函数依赖集 214
11.7 小结 215
习题 216
参考文献 217
第12章 进一步规范化Ⅰ：1NF、2NF、3NF和BCNF 219
12.1 引言 219
12.2 无损分解和函数依赖 221
12.3 第一、第二和第三范式 223
12.4 保持函数依赖 228
12.5 BOYCE/CODD范式 229
12.6 具有关系值属性的关系变量 233
12.7 小结 234
习题 234
参考文献 236
第13章 进一步规范化Ⅱ：高级范式 238
13.1 引言 238
13.2 多值依赖与第四范式 238
13.3 连接依赖与第五范式 241
13.4 规范化过程小结 244
13.5 逆规范化 246
13.6 正交设计 247
13.7 其他的规范化形式 249
13.8 小结 250
习题 250
参考文献 251
第14章 语义建模 256
14.1 引言 256
14.2 总体方法 257
14.3 E/R模型 258
14.4 E/R图 261
14.5 基于E/R模型的数据库设计 262
14.6 简单分析 265
14.7 小结 267
习题 268
参考文献 269
第四部分 事务管理
第15章 恢复 280
15.1 引言 280
15.2 事务 280
15.3 事务恢复 283
15.4 系统恢复 284
15.5 介质恢复 286
15.6 两阶段提交 286
15.7 保存点 287
15.8 SQL对事务的支持 287
15.9 小结 288
习题 288
参考文献 289
第16章 并发 292
16.1 引言 292
16.2 三个并发问题 292
16.3 锁 294
16.4 重提三个并发问题 295
16.5 死锁 297
16.6 可串行性 298
16.7 重提恢复 299
16.8 隔离级别 300
16.9 意向锁 301
16.10 ACID的不足之处 303
16.11 SQL的支持 306
16.12 小结 306
习题 307
参考文献 308
第五部分 高级专题
第17章 安全性 314
17.1 引言 314
17.2 自主存取控制 315
17.3 强制存取控制 319
17.4 统计数据库 320
17.5 数据加密 324
17.6 SQL的支持 327
17.7 小结 329
习题 330
参考文献 330
第18章 优化 333
18.1 引言 333
18.2 一个启发性的示例 334
18.3 查询处理概述 334
18.4 表达式转换 337
18.5 数据库统计信息 340
18.6 分而治之的策略 341
18.7 关系操作的实现算法 343
18.8 小结 346
习题 347
参考文献 349
第19章 信息空缺 362
19.1 引言 362
19.23 VL方法概述 363
19.3 上述方案所造成的某些结果 367
19.4 空值和码 369
19.5 外连接 370
19.6 特殊值 372
19.7 SQL的支持 372
19.8 小结 376
习题 376
参考文献 378
第20章 类型继承 381
20.1 引言 381
20.2 类型的层次结构 383
20.3 多态性和可置换性 386
20.4 变量与赋值 388
20.5 约束特化 391
20.6 比较 392
20.7 操作、版本和签名 395
20.8 圆是椭圆吗 397
20.9 再论约束特化 400
20.10 SQL的支持 401
20.11 小结 404
习题 405
参考文献 406
第21章 分布式数据库 409
21.1 引言 409
21.2 预备知识 409
21.3 十二个目标 411
21.4 分布式系统面对的问题 416
21.5 客户/服务器系统 424
21.6 DBMS独立性 426
21.7 SQL的支持 429
21.8 小结 429
习题 430
参考文献 430
第22章 决策支持 436
22.1 引言 436
22.2 决策支持的特征 437
22.3 决策支持的数据库设计 438
22.4 数据准备 442
22.5 数据仓库和数据集市 443
22.6 联机分析处理 446
22.7 数据挖掘 451
22.8 SQL的支持 452
22.9 小结 453
习题 453
参考文献 454
第23章 时态数据库 457
23.1 引言 457
23.2 问题是什么 459
23.3 时间区间 463
23.4 归并和反归并关系 467
23.5 关系操作符推广 474
23.6 数据库设计 478
23.7 完整性约束 482
23.8 小结 486
习题 487
参考文献 488
第24章 基于逻辑的数据库 489
24.1 引言 489
24.2 综述 489
24.3 命题演算 491
24.4 谓词演算 494
24.5 数据库的证明理论观点 498
24.6 演绎数据库系统 501
24.7 递归查询过程 504
24.8 小结 509
习题 510
参考文献 511
第六部分 对象、关系和XML
第25章 对象数据库 516
25.1 引言 516
25.2 对象、类、方法和消息 518
25.3 进一步的分析 521
25.4 一个详实的示例 526
25.5 混合性问题 533
25.6 小结 538
习题 539
参考文献 540
第26章 对象/关系数据库 546
26.1 引言 546
26.2 第一个根本性错误 548
26.3 第二个根本性错误 552
26.4 实现上的问题 554
26.5 真正融合的好处 556
26.6 SQL工具 557
26.7 小结 561
习题 562
参考文献 562
第27章 互联网与XML 569
27.1 引言 569
27.2 万维网和因特网 569
27.3 XML综述 570
27.4 XML数据定义 577
27.5 XML数据操纵 583
27.6 XML和数据库 589
27.7 SQL的支持 590
27.8 小结 594
习题 595
参考文献 596
附录
附录A TransRelational模型 599
附录B SQL表达式 613
附录C 缩略语和符号 620
· · · · · · (收起)