数据库与事务处理

封面\n书名\n版权\n前言\n目录\n第一部分 绪论\n第1章 数据库和事务概述\n	1.1 什么是数据库和事务\n	1.2 现代数据库和事务处理系统的特点\n	1.3 实现和支持数据库与事务处理系统的主要成员\n	1.4 决策支持系统——OLAP和OLTP\n	1.5 练习\n第2章 进阶\n	2.1 案例研究：学生注册系统\n	2.2 关系数据库概述\n	2.3 怎样使程序成为事务\n	2.4 参考书目\n	2.5 练习\n第3章 案例研究：开发学生注册系统\n	3.1 软件工程方法学\n	3.2 需求文档\n	3.3 需求分析——新问题\n	3.4 应用程序生成器\n	3.5 图形用户界面和对象\n	3.6 事件和过程\n	3.7 访问数据库和执行事务\n	3.8 详细说明学生注册系统\n	3.9 规格说明文档\n	3.10 参考书目\n	3.11 练习\n第二部分 数据库管理\n第4章 关系数据模型\n	4.1 什么是数据模型\n	4.2 关系模型\n		4.2.1 基本概念\n		4.2.2 完整性约束\n	4.3 SQL——数据定义子语言\n		4.3.1 指定关系类型\n		4.3.2 系统目录\n		4.3.3 键约束\n		4.3.4 处理空缺信息\n		4.3.5 语义约束\n		4.3.6 用户自定义域\n		4.3.7 外键约束\n		4.3.8 反应性约束\n		4.3.9 数据库视图\n		4.3.10 修改已有的定义\n		4.3.11 SQL-模式\n		4.3.12 访问控制\n	4.4 参考书目\n	4.5 练习\n第5章 数据库设计Ⅰ：实体-联系模型\n	5.1 E-R方法的概念建模\n	5.2 实体和实体类型\n	5.3 联系和联系类型\n	5.4 E-R方法的高级特性\n		5.4.1 实体类型层次结构\n		5.4.2 参与约束\n	5.5 一个经纪公司的例子\n	5.6 E-R方法的局限性\n	5.7 案例研究：学生注册系统的设计\n	5.8 参考书目\n	5.9 练习\n第6章 查询语言Ⅰ：关系代数和SQL\n	6.1 关系代数：在SQL的覆盖之下\n		6.1.1 基本运算符\n		6.1.2 导出运算符\n	6.2 SQL的查询子语言\n		6.2.1 简单的SQL查询\n		6.2.2 集合运算\n		6.2.3 嵌套查询\n		6.2.4 数据的聚合\n		6.2.5 简单查询计算算法\n		6.2.6 再论SQL中的视图\n		6.2.7 空值的窘境\n	6.3 在SQL中修改关系实例\n	6.4 参考书目\n	6.5 练习\n第7章 查询语言Ⅱ：关系演算和可视化查询语言\n	7.1 元组关系演算\n	7.2 通过元组关系演算理解SQL\n	7.3 域关系演算和可视化查询语言\n	7.4 可视化查询语言：QBE和PC数据库\n	7.5 关系代数和关系演算之间的联系\n	7.6 SQL：1999中的递归查询\n	7.7 参考书目\n	7.8 练习\n第8章 数据库设计Ⅱ：关系规范化理论\n	8.1 冗余所带来的问题\n	8.2 分解\n	8.3 函数依赖\n	8.4 函数依赖的性质\n	8.5 范式\n	8.6 分解的性质\n		8.6.1 无损分解与有损分解\n		8.6.2 依赖保持分解\n	8.7 分解BCNF的一个算法\n	8.83 NF模式的合成\n		8.8.1 最小覆盖\n		8.8.2 通过模式合成的3NF分解\n		8.8.3 通过3NF合成的BCNF分解\n	8.9 第四范式\n	8.10 高级4NF设计＊\n		8.10.1 MVD和它们的性质\n		8.10.2 设计4NF的困难性\n		8.10.3 如何进行4NF分解\n	8.11 范式分解的总结\n	8.12 案例研究：学生注册系统的模式精化\n	8.13 性能调整问题：是否进行分解\n	8.14 参考书目\n	8.15 练习\n第9章 触发器和动态数据库\n	9.1 触发器处理的语义\n	9.2 SQL：1999中的触发器\n	9.3 避免链式反应\n	9.4 参考书目\n	9.5 练习\n第10章 真实世界中的SQL\n	10.1 在应用程序中执行SQL语句\n	10.2 嵌入式SQL\n		10.2.1 状态处理\n		10.2.2 会话、连接和事务\n		10.2.3 执行事务\n		10.2.4 游标\n		10.2.5 服务器存储过程\n	10.3 再论完整性约束\n	10.4 动态SQL\n		10.4.1 动态SQL的语句预备\n		10.4.2 预备语句和描述符区\n		10.4.3 游标\n		10.4.4 服务器端的存储过程\n	10.5 JDBC和SQLJ\n		10.5.1 JDBC的基本概念\n		10.5.2 预处理语句\n		10.5.3 结果集和游标\n		10.5.4 获取结果集的信息\n		10.5.5 状态处理\n		10.5.6 执行事务\n		10.5.7 服务器端的存储过程\n		10.5.8 示例\n		10.5.9 SQLJ：Java的语句级接口\n	10.6 ODBC＊\n		10.6.1 预处理语句\n		10.6.2 游标\n		10.6.3 状态处理\n		10.6.4 执行事务\n		10.6.5 服务器端的存储过程\n		10.6.6 示例\n	10.7 比较\n	10.8 参考书目\n	10.9 练习\n第11章 数据的物理组织和索引\n	11.1 磁盘组织\n	11.2 堆文件\n	11.3 排序文件\n	11.4 索引\n		11.4.1 聚簇索引与非聚簇索引\n		11.4.2 稀疏索引和稠密索引\n		11.4.3 包含多个属性的查找键\n	11.5 多级索引\n		11.5.1 索引顺序访问\n		11.5.2 B＋树\n	11.6 散列索引\n		11.6.1 静态散列\n		11.6.2 动态散列算法\n	11.7 特殊用途的索引\n		11.7.1 位图索引\n		11.7.2 联结索引\n	11.8 调整问题：为一个应用选择索引\n	11.9 参考书目\n	11.10 练习\n第12章 案例研究：实现学生注册系统\n	12.1 设计文档\n		12.1.1 文档结构\n		12.1.2 设计评审\n	12.2 测试计划\n	12.3 项目计划\n	12.4 编程\n	12.5 渐进式开发\n	12.6 学生注册系统的设计和编程\n		12.6.1 完成数据库设计：完整性约束\n		12.6.2 设计注册事务\n		12.6.3 部分注册事务程序\n	12.7 参考书目\n	12.8 练习\n第13章 查询处理基础\n	13.1 外部排序\n	13.2 计算投影、并和差\n	13.3 计算选择\n		13.3.1 具有简单条件的选择\n		13.3.2 存取路径\n		13.3.3 具有复杂条件的选择\n	13.4 计算联结\n		13.4.1 用嵌套循环来计算联结\n		13.4.2 排序-合并联结\n		13.4.3 散列联结\n	13.5 多关系联结\n	13.6 计算聚合函数\n	13.7 调优问题：对物理数据库设计的影响\n	13.8 参考书目\n	13.9 练习\n第14章 查询优化概述\n	14.1 查询处理概述\n	14.2 基于代数等价的启发式优化\n	14.3 估计查询执行计划的代价\n	14.4 估计输出的大小\n	14.5 选择计划\n	14.6 调整问题：对查询设计的影响\n	14.7 参考书目\n	14.8 练习\n第15章 事务处理概述\n	15.1 隔离性\n		15.1.1 可串行化\n		15.1.2 两段锁\n		15.1.3 死锁\n		15.1.4 关系数据库中的锁\n		15.1.5 隔离级别\n		15.1.6 锁粒度和意向锁\n		15.1.7 用意向锁的可串行化封锁策略\n		15.1.8 总结\n	15.2 原子性和持久性\n		15.2.1 先写日志\n		15.2.2 从大规模存储器失效中恢复\n	15.3 实现分布式事务\n		15.3.1 原子性和持久性——两阶段提交协议\n		15.3.2 全局可串行性和死锁\n		15.3.3 复制\n		15.3.4 总结\n	15.4 参考书目\n	15.5 练习\n第三部分 数据库的高级主题\n第16章 对象数据库\n	16.1 关系数据模型的缺点\n	16.2 发展历史\n	16.3 概念上的对象数据模型\n		16.3.1 对象和值\n		16.3.2 类\n		16.3.3 类型\n		16.3.4 对象-关系数据库\n	16.4 ODMG标准\n		16.4.1 ODL：ODMG对象定义语言\n		16.4.2 OQL：ODMG对象查询语言\n		16.4.3 ODMG中的事务\n		16.4.4 ODMG中的对象操纵\n		16.4.5 语言绑定\n	16.5 SQL：1999中的对象\n		16.5.1 行类型\n		16.5.2 用户定义类型\n		16.5.3 对象\n		16.5.4 查询用户定义类型\n		16.5.5 更新用户定义类型\n		16.5.6 引用类型\n		16.5.7 集合类型\n	16.6 公共对象请求代理体系结构\n		16.6.1 CORBA基础\n		16.6.2 CORBA和数据库\n	16.7 小结\n	16.8 参考书目\n	16.9 练习\n第17章 XML和Web数据\n	17.1 半结构化数据\n	17.2 XML概述\n		17.2.1 XML元素和数据库对象\n		17.2.2 XML属性\n		17.2.3 命名空间\n		17.2.4 文档类型定义\n		17.2.5 DTD作为数据定义语言的不足\n	17.3 XMLSchema\n		17.3.1 XMLSchema和命名空间\n		17.3.2 简单类型\n		17.3.3 复杂类型\n		17.3.4 一个完整的Schema文档\n		17.3.5 完整性约束\n	17.4 XML查询语言\n		17.4.1 XPath：一种轻量的XML查询语言\n		17.4.2 XSLT：XML的一种转换语言\n		17.4.3 XQuery：XML的一个功能完善的查询语言\n		17.4.4 小结\n	17.5 参考书目\n	17.6 练习\n第18章 分布式数据库\n	18.1 应用设计者对数据库的观点\n	18.2 在不同数据库中分布数据\n		18.2.1 分段\n		18.2.2 更新和分段\n		18.2.3 复制\n	18.3 查询策略\n		18.3.1 全局查询优化\n		18.3.2 多数据库系统的策略\n		18.3.3 调整问题：分布式环境下的数据库设计和查询计划\n	18.4 参考书目\n	18.5 练习\n第19章 OLAP和数据挖掘\n	19.1 OLAP和数据仓库\n	19.2 OLAP应用的多维模型\n	19.3 聚合\n		19.3.1 下钻、上卷、切片和切块\n		19.3.2 CUBE操作符\n	19.4 ROLAP和MOLAP\n	19.5 实现中的一些问题\n	19.6 数据挖掘\n	19.7 数据仓库的数据载入\n	19.8 参考书目\n	19.9 练习\n第四部分 事务处理\n第20章 事务的ACID性质\n	20.1 一致性\n	20.2 原子性\n	20.3 持久性\n	20.4 隔离性\n	20.5 事务的ACID性质\n	20.6 参考书目\n	20.7 练习\n第21章 事务模型\n	21.1 平坦事务\n	21.2 提供事务的结构\n		21.2.1 存储点\n		21.2.2 分布式事务\n		21.2.3 嵌套事务\n		21.2.4 多级事务\n	21.3 把应用分解成多个事务\n		21.3.1 链式事务\n		21.3.2 用可恢复队列调度事务\n		21.3.3 扩展事务\n		21.3.4 工作流和工作流管理系统\n	21.4 参考书目\n	21.5 练习\n第22章 事务处理系统的体系结构\n	22.1 集中式系统中的事务处理\n		22.1.1 单用户系统的组织\n		22.1.2 集中式多用户系统的组织\n	22.2 分布式系统上的事务处理\n		22.2.1 分布式系统的组织\n		22.2.2 会话和上下文信息\n		22.2.3 队列事务处理\n	22.3 异构系统和TP监控器\n		22.3.1 事务管理器\n		22.3.2 TP监控器\n	22.4 TP监控器：通信和全局原子性\n		22.4.1 远程过程调用\n		22.4.2 对等通信\n		22.4.3 事务中异常情况的处理\n	22.5 因特网上的事务处理\n		22.5.1 一般的体系结构\n		22.5.2 因特网上事务系统的组织\n	22.6 参考书目\n	22.7 练习\n第23章 隔离性的实现\n	23.1 调度和等价调度\n		23.1.1 串行化\n		23.1.2 冲突等价与观察等价\n		23.1.3 串行图\n	23.2 可恢复性、级联异常中止和严格性\n	23.3 并发控制的模型\n	23.4 立即更新的悲观并发控制策略\n		23.4.1 避免冲突\n		23.4.2 死锁\n	23.5 立即更新的悲观并发控制的设计\n		23.5.1 锁集和等待集的实现\n		23.5.2 两段锁\n		23.5.3 锁的粒度\n	23.6 对象和语义交换＊\n	23.7 结构化事务模型中的隔离\n		23.7.1 存储点\n		23.7.2 链式事务\n		23.7.3 可恢复队列\n		23.7.4 嵌套事务\n		23.7.5 多级事务＊\n	23.8 其他的并发控制\n		23.8.1 时间戳顺序的并发控制\n		23.8.2 乐观的并发控制\n	23.9 参考书目\n	23.10 练习\n第24章 关系数据库中的隔离性\n	24.1 加锁\n		24.1.1 幻影\n		24.1.2 谓词加锁\n	24.2 加锁与SQL隔离级别\n		24.2.1 更新丢失、游标稳定性和更新锁\n		24.2.2 案例研究：正确性和非可串行级调度——学生注册系统\n		24.2.3 可串行化、SERIALIZABLE和正态的\n	24.3 粒度加锁：概念锁和索引锁\n		24.3.1 索引锁：无幻影的粒度加锁\n		24.3.2 对象数据库里的粒度加锁＊\n	24.4 系统性能的改进\n	24.5 多版本并发控制\n		24.5.1 只读型的多版本并发控制\n		24.5.2 读取一致性的多版本并发控制\n		24.5.3 SNAPSHOT隔离级别\n	24.6 参考书目\n	24.7 练习\n第25章 原子性和持久性\n	25.1 崩溃、异常中止和介质故障\n	25.2 直接型更新系统和先写型日志\n		25.2.1 性能和先写型登录\n		25.2.2 检测点和恢复\n		25.2.3 逻辑型登录和物理逻辑型登录＊\n	25.3 延迟更新系统的恢复\n	25.4 介质故障的恢复\n	25.5 参考书目\n	25.6 练习\n第26章 分布式事务的实现\n	26.1 ACID特性的实现\n	26.2 原子终止\n		26.2.1 两阶段提交协议\n		26.2.2 两阶段提交协议中故障的处理\n		26.2.3 格式和协议：X/Open标准\n		26.2.4 对等原子提交协议\n	26.3 协调的传递\n		26.3.1 线性提交协议\n		26.3.2 无准备状态的两阶段提交协议\n	26.4 分布式死锁\n	26.5 全局可串行化\n	26.6 不能保证全局原子性的场合\n	26.7 复制数据库\n		26.7.1 同步更新复制系统\n		26.7.2 异步更新复制系统\n	26.8 现实世界里的分布式事务\n	26.9 参考书目\n	26.10 练习\n第27章 安全性与因特网商务\n	27.1 认证、授权与加密\n	27.2 加密\n	27.3 数字签名\n	27.4 密钥发布与认证\n		27.4.1 Kerberos协议：票据\n		27.4.2 临时串\n	27.5 授权\n	27.6 已认证的远程过程调用\n	27.7 因特网商务\n		27.7.1 SSL协议：证书\n		27.7.2 SET协议：对偶签名\n		27.7.3 货物原子性、托管与已认证交付\n		27.7.4 电子现金：盲签名\n	27.8 参考书目\n	27.9 练习\n附录\n附录 A 关于系统的问题\n附录 B 参考文献