数据库系统导论

✍ Scribed by 戴特

• Publisher: 机械工业出版社
• Year: 2007
• Tongue: Chinese
• Leaves: 641
• Series: 计算机科学丛书
• Category: Library

✦ Synopsis

书签已装载，
书签制作方法请找 [email protected]
完全免费

本书全面介绍了现在应用广泛的数据库系统，为数据库技术基础知识提供坚实的基础，并对数据库领域的将来发展方向给出看法，本书一直是数据库方面的权威著作。本书整体上可以划分成六个主要部分：基本概念、关系模型、数据库设计、事务管理、高级专题、对象，关系和XML。第8版已经对数据库系统目前的系统的最新发展内容进行了扩充；同时又注重于强调概念的理解，而不仅局限于公式的条陈。

本书可用作计算机展业本科生和研究生学习数据库的教科书，也可供从事数据库研究工作的相关人员作为参考书。

✦ Table of Contents

封面
书名
版权
前言
目录
第一部分 基础知识
第1章 数据库管理概述
1.1 引言
1.2 数据库系统的构成
1.3 数据库的内涵
1.4 使用数据库的优点
1.5 数据独立性
1.6 关系系统及其他数据库系统
1.7 小结
习题
参考文献
第2章 数据库系统体系结构
2.1 引言
2.2 三级体系结构
2.3 外部层
2.4 概念层
2.5 内部层
2.6 映像
2.7 数据库管理员
2.8 数据库管理系统
2.9 数据通信
2.10 客户/服务器体系结构
2.11 实用程序
2.12 分布式处理
2.13 小结
习题
参考文献
第3章 关系数据库简介
3.1 引言
3.2 关系模型概述
3.3 关系和关系变量
3.4 关系的含义
3.5 优化
3.6 数据字典
3.7 基本关系变量和视图
3.8 事务
3.9 供应商和零件数据库
3.10 小结
习题
参考文献
第4章 SQL简介
4.1 引言
4.2 SQL基本操作
4.3 目录
4.4 视图
4.5 事务
4.6 嵌入式SQL
4.7 动态SQL和SQL/CLI
4.8 SQL并不完美
4.9 小结
习题
参考文献
第二部分 关系模型
第5章 类型
5.1 引言
5.2 值与变量
5.3 类型与表示
5.4 类型定义
5.5 操作符
5.6 类型生成子
5.7 SQL支持
5.8 小结
习题
参考文献
第6章 关系
6.1 引言
6.2 元组
6.3 关系类型
6.4 关系的值
6.5 关系变量
6.6 SQL的支持
6.7 小结
习题
参考文献
第7章 关系代数
7.1 引言
7.2 关系封闭性
7.3 基本代数：语法
7.4 基本代数：语义
7.5 举例
7.6 关系代数的作用
7.7 深入讨论
7.8 附加的操作符
7.9 分组与解组
7.10 小结
习题
参考文献
第8章 关系演算
8.1 引言
8.2 元组演算
8.3 举例
8.4 关系演算与关系代数的比较
8.5 计算能力
8.6 SQL语言
8.7 域演算
8.8 QBE
8.9 小结
习题
参考文献
第9章 完整性
9.1 引言
9.2 进一步讨论
9.3 谓词和命题
9.4 关系变量谓词和数据库谓词
9.5 约束检查
9.6 内部谓词与外部谓词
9.7 正确性与一致性
9.8 完整性和视图
9.9 约束分类模式
9.10 码
9.11 触发器
9.12 SQL的支持
9.13 小结
习题
参考文献
第10章 视图
10.1 引言
10.2 视图的用途
10.3 视图检索
10.4 视图更新
10.5 快照
10.6 SQL对视图的支持
10.7 小结
习题
参考文献
第三部分 数据库设计
第11章 函数依赖
11.1 引言
11.2 基本概念
11.3 平凡的函数依赖和非平凡的函数依赖
11.4 依赖集的闭包
11.5 属性集的闭包
11.6 最小函数依赖集
11.7 小结
习题
参考文献
第12章 进一步规范化Ⅰ：1NF、2NF、3NF和BCNF
12.1 引言
12.2 无损分解和函数依赖
12.3 第一、第二和第三范式
12.4 保持函数依赖
12.5 BOYCE/CODD范式
12.6 具有关系值属性的关系变量
12.7 小结
习题
参考文献
第13章 进一步规范化Ⅱ：高级范式
13.1 引言
13.2 多值依赖与第四范式
13.3 连接依赖与第五范式
13.4 规范化过程小结
13.5 逆规范化
13.6 正交设计
13.7 其他的规范化形式
13.8 小结
习题
参考文献
第14章 语义建模
14.1 引言
14.2 总体方法
14.3 E/R模型
14.4 E/R图
14.5 基于E/R模型的数据库设计
14.6 简单分析
14.7 小结
习题
参考文献
第四部分 事务管理
第15章 恢复
15.1 引言
15.2 事务
15.3 事务恢复
15.4 系统恢复
15.5 介质恢复
15.6 两阶段提交
15.7 保存点
15.8 SQL对事务的支持
15.9 小结
习题
参考文献
第16章 并发
16.1 引言
16.2 三个并发问题
16.3 锁
16.4 重提三个并发问题
16.5 死锁
16.6 可串行性
16.7 重提恢复
16.8 隔离级别
16.9 意向锁
16.10 ACID的不足之处
16.11 SQL的支持
16.12 小结
习题
参考文献
第五部分 高级专题
第17章 安全性
17.1 引言
17.2 自主存取控制
17.3 强制存取控制
17.4 统计数据库
17.5 数据加密
17.6 SQL的支持
17.7 小结
习题
参考文献
第18章 优化
18.1 引言
18.2 一个启发性的示例
18.3 查询处理概述
18.4 表达式转换
18.5 数据库统计信息
18.6 分而治之的策略
18.7 关系操作的实现算法
18.8 小结
习题
参考文献
第19章 信息空缺
19.1 引言
19.23 VL方法概述
19.3 上述方案所造成的某些结果
19.4 空值和码
19.5 外连接
19.6 特殊值
19.7 SQL的支持
19.8 小结
习题
参考文献
第20章 类型继承
20.1 引言
20.2 类型的层次结构
20.3 多态性和可置换性
20.4 变量与赋值
20.5 约束特化
20.6 比较
20.7 操作、版本和签名
20.8 圆是椭圆吗
20.9 再论约束特化
20.10 SQL的支持
20.11 小结
习题
参考文献
第21章 分布式数据库
21.1 引言
21.2 预备知识
21.3 十二个目标
21.4 分布式系统面对的问题
21.5 客户/服务器系统
21.6 DBMS独立性
21.7 SQL的支持
21.8 小结
习题
参考文献
第22章 决策支持
22.1 引言
22.2 决策支持的特征
22.3 决策支持的数据库设计
22.4 数据准备
22.5 数据仓库和数据集市
22.6 联机分析处理
22.7 数据挖掘
22.8 SQL的支持
22.9 小结
习题
参考文献
第23章 时态数据库
23.1 引言
23.2 问题是什么
23.3 时间区间
23.4 归并和反归并关系
23.5 关系操作符推广
23.6 数据库设计
23.7 完整性约束
23.8 小结
习题
参考文献
第24章 基于逻辑的数据库
24.1 引言
24.2 综述
24.3 命题演算
24.4 谓词演算
24.5 数据库的证明理论观点
24.6 演绎数据库系统
24.7 递归查询过程
24.8 小结
习题
参考文献
第六部分 对象、关系和XML
第25章 对象数据库
25.1 引言
25.2 对象、类、方法和消息
25.3 进一步的分析
25.4 一个详实的示例
25.5 混合性问题
25.6 小结
习题
参考文献
第26章 对象/关系数据库
26.1 引言
26.2 第一个根本性错误
26.3 第二个根本性错误
26.4 实现上的问题
26.5 真正融合的好处
26.6 SQL工具
26.7 小结
习题
参考文献
第27章 互联网与XML
27.1 引言
27.2 万维网和因特网
27.3 XML综述
27.4 XML数据定义
27.5 XML数据操纵
27.6 XML和数据库
27.7 SQL的支持
27.8 小结
习题
参考文献
附录
附录 A TransRelational模型
附录 B SQL表达式
附录 C 缩略语和符号