哈工大 数据库系统概论一一系统篇.ppt

第七章 数据库恢复技术　 7.1 事务的基本概念 SQL中定义事务的语句 关于事务定义的几点说明 事务的ACID特性 原子性和一致性 隔离性和持续性 关于事务的几点说明 7.2 数据库恢复概述 7.3 故障的种类 事务内部的故障 BEGIN TRANSACTION 读账户甲的余额BALANCE; BALANCE= BALANCE-AMOUNT (AMOUNT为转账金额) IF(BALANCE0) THEN {打印“金额不足，不能转帐”； ROLLBACK; (撤销该事务) ELSE 写回BALANCE; {读账户乙的余额BALANCE1; BALANCE1= BALANCE1+AMOUNT; 写回BALANCE1; COMMIT;} 事务内部的故障（续） 系统故障 介质故障与计算机病毒故障 各种故障小结 7.4 恢复的实现技术 7.4.1 数据转储 静态转储 动态转储 数据转储（续） 7.4.2 登记日志文件 以记录为单位的日志文件的内容 以数据块为单位的日志文件 日志文件的作用 登记日志文件 7.5.1 事务故障的恢复 7.5.2 系统故障的恢复 7.5.3 介质故障的恢复 7.6 具有检查点的恢复技术 7.7 数据库的镜像 7.8 小结 Chapter 07 is over 第八章 并发控制 章节前言 章节前言（续） 8.1 并发控制概述 并发操作实例 常见的三类数据不一致性 丢失修改（Lost Update） 不可重复读（Non-Repeatable Read） 不可重复读举例 读“脏”数据（Dirty Read） 对数据不一致性的几点补充说明 8.2 封锁（Locking） 排它锁（Exclusive Locks） 共享锁（Share Locks） 8.3 封锁协议 一级封锁协议 二级封锁协议 三级封锁协议 三级封锁协议小结 8.4 活锁 死锁 死锁的预防 一次封锁法 顺序封锁法 死锁的两种诊断方法 死锁的解除方法 SQL Server2000中的死锁检测 SQL Server2000中的死锁检测-续 SQL Server2000中的死锁检测-续 8.5 并发调度的可串行性 可串行化调度 可串行化的例子 DBMS保证调度正确的策略 8.6 两段锁协议 对两段锁协议的理解 可串行调度与两段锁协议的联系 两段锁协议与一次封锁法的异同 8.7 封锁的粒度 多粒度封锁 多粒度树、多粒度封锁协议、意向锁 8.8 本章小结 本章小结（续） 本章小结（续） Chapter 08 is over 第九章 数据库安全性 9.1 计算机安全性概论 9.1.1 计算机系统的三类安全性问题 三类计算机安全问题 9.1.2 可信计算机系统评测标准 9.2 数据库安全性控制 9.2.1 用户标签与识别 9.2.2 存取控制 9.2.3 、 9.2.4 （略） 9.2.5 视图机制 9.2.6 审核（Audit） 9.2.7 数据加密 9.3 、9.4 （略） Chapter 09 is over 第十章 数据库完整性 前言 10.1 完整性约束条件 静态约束和动态约束 静态的列级、元组、关系约束 动态的列级、元组、关系约束 10.2 完整性控制 实现参照完整性需要考虑的几个问题 10.3 Oracle的完整性 10.4 小结 Chapter 10 is over 第十一章 数据库管理系统 Course is over 静态的列级约束是对一个列的取值域的说明，包括以下几个方面： 对数据类型的约束、对数据格式的约束、对取值范围或取值集合的约束、对空值的约束及其他约束等。 静态元组约束是规定元组的各个列之间的约束关系。 静态关系约束反映了在一个关系的各个元组之间或者若干关系之间存在的各种联系或约束等。常见的静态关系约束有： 实体完整性约束、参照完整性约束、函数依赖约束、统计约束。 动态列级约束是修改列定义或列值时应满足的约束条件。主要包括： 修改列定义时的约束、修改列值时的约束。 动态元组约束是指修改元组的值时元组中各个字段间需要满足的某种约束条件。 动态关系约束是加在关系变化前后状态上的限制条件，如事务一致性、原子性等约束条件。 DBMS的完整性控制机制应具有三个方面的功能： 定义功能：提供定义完整性约束条件的机制； 检查功能：检查用户发出的操作请求是否违背了完整性约束条件。 如果发现用户的操