数据库系统概论（第五版）复习笔记.pdf

1、数 据 库 系 统 概 论 （ 第 五 版 ） 复 习 笔 记 第 一 章 1 . 数 据 库 的 四 个 基 本 概 念 ： 数 据 、 数 据 库 、 数 据 库 管 理 系 统 、 数 据 库 系 统 。 数 据 ： 是 数 据 库 中 存 储 的 基 本 对 象 。 描 述 事 物 的 符 号 称 为 数 据 。 数 据 库 ： 是 长 期 存 储 在 计 算 机 内 、 有 组 织 的 、 可 共 享 的 大 量 数 据 的 集 合 。 数 据 库 数 据 具 有 永 久 存 储 、 有 组 织 和 可 共 享 三 个 基 本 特 点 。 数 据 库 管 理 系 统 ： 是 计 算

2、机 的 基 础 软 件 。 数 据 库 系 统 ： 是 由 数 据 库 、 数 据 库 管 理 系 统 、 应 用 程 序 和 人 组 成 的 存 储 、 管 理 、 处 理 和 维 护 数 据 的 系 统 。 2 . 数 据 处 理 和 数 据 管 理 。 数 据 处 理 ： 指 对 各 种 数 据 进 行 手 机 、 存 储 、 加 工 和 传 播 的 一 系 列 活 动 的 总 和 。 数 据 管 理 ： 指 对 数 据 进 行 分 类 、 组 织 、 编 码 、 存 储 、 检 索 和 维 护 。 3 . 数 据 独 立 性 。 物 理 独 立 性 ： 指 用 户 的 应 用 程 序

3、与 数 据 库 中 数 据 的 物 理 存 储 是 相 互 独 立 的 。 逻 辑 独 立 性 ： 指 用 户 的 应 用 程 序 与 数 据 库 的 逻 辑 结 构 是 相 互 独 立 的 。 4 . 数 据 模 型 - - - - - - 是 对 现 实 世 界 数 据 特 征 的 抽 象 （ 现 实 世 界 的 模 拟 ） 。 数 据 模 型 是 数 据 库 系 统 的 核 心 和 基 础 。 概 念 模 型 ： 信 息 模 型 ， 按 照 用 户 的 观 点 来 对 数 据 和 信 息 建 模 ， 主 要 用 于 数 据 库 设 计 。 逻 辑 模 型 ： 按 照 计 算 机 系 统

4、的 观 点 对 数 据 建 模 。 物 理 模 型 ： 描 述 数 据 在 计 算 机 内 部 的 表 示 方 式 和 存 取 方 法 。 数 据 模 型 组 成 要 素 ： 数 据 结 构 、 数 据 操 作 、 数 据 的 完 整 性 约 束 条 件 。 5 . 信 息 世 界 中 的 基 本 概 念 。 实 体 ： 客 观 存 在 并 可 相 互 区 别 的 事 物 。 属 性 ： 实 体 所 具 有 的 某 一 特 征 。 码 ： 唯 一 标 识 实 体 的 属 性 集 。 联 系 ： 失 误 内 部 以 及 事 物 之 间 是 有 联 系 的 。 实 体 内 部 的 联 系 通 常

5、是 指 组 成 实 体 的 个 属 性 之 间 的 联 系 ， 实 体 之 间 的 联 系 通 常 是 指 不 同 实 体 集 之 间 的 联 系 。 实 体 之 间 的 联 系 有 一 对 一 、 一 对 多 和 多 对 多 等 各 种 类 型 。 6 . 数 据 完 整 性 约 束 条 件实 体 完 整 性 ： 检 查 主 码 值 是 否 唯 一 ， 检 查 主 码 的 各 个 属 性 是 否 为 空 。 实 体 完 整 性 在 创 建 表 时 用 p r i m a r y k e y 主 键 来 定 义 。 参 照 完 整 性 ： 检 查 增 删 改 时 检 查 外 码 约 束 。 在

6、 创 建 表 时 用 外 码 f o r e i g n k e y 短 语 定 义 。 用 户 定 义 完 整 性 ： 创 建 表 中 定 义 属 性 的 同 时 ， 可 以 根 据 应 用 要 求 定 义 属 性 上 的 约 束 条 件 ， 即 属 性 值 限 制 。 列 值 非 空 （ n o t n u l l ） 、 列 值 唯 一 （ u n i q u e ） 、 检 查 列 值 是 否 满 足 一 个 条 件 表 达 式 （ c h e c k 短 语 ） 7 . 数 据 库 系 统 的 模 式 。 型 ： 是 指 对 某 一 类 数 据 的 结 构 和 属 性 的 说 明 ，

7、 对 结 构 的 描 述 和 说 明 。 值 ： 是 型 的 一 个 具 体 赋 值 。 模 式 ： 是 数 据 库 中 全 体 数 据 的 逻 辑 结 构 和 特 征 的 描 述 ， 对 结 构 进 行 描 述 ， 仅 仅 涉 及 型 。 模 式 的 一 个 具 体 值 称 为 模 式 的 一 个 实 例 。 模 式 反 应 的 事 数 据 的 结 构 及 其 联 系 ， 而 实 例 反 应 的 是 数 据 库 某 一 时 刻 的 状 态 。 8 . 数 据 库 的 三 级 模 式 结 构 。 模 式 （ 逻 辑 模 式 ） ： 是 数 据 库 中 全 体 数 据 的 逻 辑 结 构 和 特

8、 征 的 描 述 ， 需 要 定 义 数 据 想 的 名 字 ， 类 型 ， 取 值 范 围 和 数 据 之 间 的 联 系 ， 安 全 性 完 整 性 要 求 等 。 外 模 式 （ 子 模 式 ） ： 数 据 库 中 数 据 的 局 部 逻 辑 结 构 。 内 模 式 （ 存 储 模 式 ） ： 是 数 据 物 理 结 构 和 存 储 方 式 的 描 述 ， 是 数 据 在 数 据 库 内 部 的 组 织 方 式 。 第 二 章 1 . 关 系 模 型 - - - - - - 关 系 数 据 结 构 、 关 系 操 作 集 合 、 关 系 完 整 性 约 束 三 部 分 组 成 。 2 .

9、 关 系 ： 域 ： 一 组 具 有 相 同 数 据 类 型 的 值 的 集 合 。 关 系 ： 笛 卡 尔 积 的 有 限 子 集 。 候 选 码 ： 关 系 中 某 一 属 性 组 的 值 能 唯 一 地 标 识 一 个 元 组 。 候 选 码 的 诸 属 性 称 为 主 属 性 。 不 包 含 在 任 何 候 选 码 中 的 属 性 称 为 非 主 属 性 。 3 . 表 ： 基 本 表 （ 基 本 关 系 、 基 表 ） ： 实 际 存 在 的 表 ， 是 实 际 存 储 数 据 的 逻 辑 表 示 。 查 询 表 ： 是 查 询 结 果 对 应 的 表 。视 图 表 ： 是 由 基

10、本 表 或 其 他 视 图 表 导 出 的 表 ， 虚 表 ， 不 对 应 实 际 存 储 的 数 据 。 4 . 关 系 代 数 ： 用 对 关 系 的 运 算 来 表 达 查 询 。 关 系 代 数 运 算 的 三 个 要 素 ： 1 . 运 算 对 象 ： 关 系 ； 2 . 运 算 结 果 ： 关 系 ； 3 ： 运 算 符 ： 四 类 选 择 运 算 是 从 行 的 角 度 进 行 的 运 算 查 询 信 息 系 （ I S 系 ） 全 体 学 生 S d e p t = I S ( S t u d e n t ) 投 影 操 作 主 要 是 从 列 的 角 度 进 行 运 算 。

11、投 影 之 后 不 仅 取 消 了 原 关 系 中 的 某 些 列 ， 而 且 还 可 能 取 消 某 些 元 组 （ 避 免 重 复 行 ） 查 询 学 生 的 姓 名 和 所 在 系 ， 即 求 S t u d e n t 关 系 上 学 生 姓 名 和 所 在 系 两 个 属 性 上 的 投 影 S n a m e ， S d e p t ( S t u d e n t ) 连 接 也 称 连 接 ： 连 接 运 算 从 R 和 S 的 广 义 笛 卡 尔 积 R S 中 选 取 （ R 关 系 ） 在 A 属 性 组 上 的 值 与 （ S 关 系 ） 在 B 属 性 组 上 值 满

12、足 比 较 关 系 的 元 组 除第 三 章1 . 数 据 库 安 全 性 控 制 。 用 户 身 份 鉴 别 ： 静 态 口 令 鉴 别 ， 动 态 口 令 鉴 别 、 生 物 特 征 鉴 别 、 智 能 卡 鉴 别 。 存 取 控 制 ： 定 义 用 户 权 限 。 合 法 权 限 检 查 。 自 主 存 取 控 制 ： 授 予 不 同 对 象 不 同 权 限 。 强 制 存 取 控 制 ： 数 据 库 中 的 内 容 带 有 密 级 标 记 ， 只 有 具 有 相 应 标 记 的 用 户 才 能 够 访 问 。 2 . 授 权 。 授 权 ： - - - - 对 属 性 列 授 权 必

13、须 指 出 相 应 的 属 性 列 名 。 g r a n t s e l e c t , i n s e r t , d e l e t e , u p d a t e o n t a b l e S t u d e n t , S c t o 用 户 1 , 用 户 2 收 回 权 限 ： r e v o k e s e l e c t o n t a b l e S t u d e n t , S cf r o m 用 户 1 , 用 户 2 3 . 角 色 。 数 据 库 角 色 是 被 命 名 的 一 组 与 数 据 库 操 作 相 关 的 权 限 ， 角 色 是 权 限 的 集 合

14、 。 创 建 角 色 、 对 角 色 进 行 授 权 、 将 角 色 授 权 给 其 他 的 角 色 或 者 用 户 、 角 色 权 限 的 收 回 。 创 建 角 色 ： c r e a t e r o l e 角 色 1 , 角 色 2 给 角 色 授 权 ： g r a n t s e l e c t , i n s e r t o n t a b l e S t u d e n t t o 角 色 1 , 角 色 2 将 角 色 授 权 给 其 他 用 户 ： g r a n t 角 色 1 t o 用 户 1 , 用 户 2 收 回 角 色 权 限 ： R e v o k e s e

15、 l e c t O n t a b l e S t u d e n t F r o m 角 色 1 4 . 视 图 。 创 建 视 图 ： C r e a t e v i e w 视 图 1 A s S e l e c t * F r o m S t u d e n t W h e r e S d e p t = C S 第 四 章 1 . 数 据 库 完 整 性 。 数 据 库 的 完 整 性 是 指 数 据 的 正 确 性 和 相 容 性 。 数 据 的 正 确 性 是 指 额 数 据 是 符 合 现 实 世 界 语 义 、 反 应 当 前 实 际 状 况 的 。 数 据 的 相 容 性

16、 是 指 数 据 库 同 一 对 象 在 不 同 的 关 系 表 中 的 数 据 是 符 合 逻 辑 的 。 2 . 保 障 数 据 库 的 完 整 性 。提 供 定 义 完 整 性 约 束 条 件 的 机 制 。 提 供 完 整 性 检 查 的 方 法 。 进 行 违 约 处 理 。 数 据 完 整 性 约 束 条 件 前 文 中 已 经 讲 述 ， 此 处 不 再 赘 述 。 第 五 章 1 函 数 依 赖 。 若 对 于 R ( U ) 的 任 意 一 个 可 能 的 关 系 r ， r 中 不 可 能 存 在 两 个 元 组 在 X 上 的 属 性 值 相 等 ， 而 在 Y 上 的

17、属 性 值 不 等 ， 则 称 “ X 函 数 确 定 Y ” 或 “ Y 函 数 依 赖 于 X ” ， 记 作 X Y 一 个 低 一 级 范 式 的 关 系 模 式 ， 通 过 模 式 分 解 可 以 转 换 为 若 干 个 高 一 级 范 式 的 关 系 模 式 的 集 合 ， 这 种 过 程 叫 做 规 范 化 。 1 N F （ 第 一 范 式 ） 如 果 一 个 关 系 模 式 R 的 所 有 属 性 都 是 不 可 分 的 基 本 数 据 项 ， 则 R 1 N F 第 一 范 式 是 对 关 系 模 式 的 最 起 码 的 要 求 。 不 满 足 第 一 范 式 的 数 据

18、库 模 式 不 能 称 为 关 系 数 据 库 。 2 N F ： 如 果 R 1 N F ， 且 每 一 个 非 主 属 性 完 全 依 赖 于 码 ， 则 R 2 N F 采 用 投 影 分 解 法 将 一 个 1 N F 的 关 系 分 解 为 多 个 2 N F 的 关 系3 N F ： 如 果 R 是 2 N F ， 且 每 个 非 主 属 性 都 不 传 递 依 赖 于 R 的 候 选 码 ， 则 R 属 于 3 N F 。 2 N F 消 除 非 主 属 性 的 部 分 依 赖 ， 3 N F 消 除 非 主 属 性 的 传 递 依 赖 B C N F 的 定 义 ： B C N

19、 F 不 仅 对 非 主 属 性 有 要 求 ， 而 且 也 对 主 属 性 有 要 求 如 果 一 个 关 系 模 式 只 有 两 个 属 性 构 成 ， 则 该 关 系 模 式 一 定 属 于 B C N F第 六 章 1 . 数 据 库 设 计 ， 数 据 库 设 计 分 6 个 阶 段 。 需 求 分 析 。 概 念 结 构 设 计 。 逻 辑 结 构 设 计 。 物 理 结 构 设 计 。 数 据 库 实 施 。 数 据 库 运 行 和 维 护 。 2 . 数 据 项 是 不 可 再 分 的 数 据 单 位 数 据 结 构 反 映 了 数 据 之 间 的 组 合 关 系 。 数 据

20、流 是 数 据 结 构 在 系 统 内 传 输 的 路 径 。 数 据 存 储 是 数 据 结 构 停 留 或 保 存 的 地 方 ， 也 就 是 流 的 来 源 和 去 向 之 一 。 具 体 处 理 逻 辑 一 般 用 判 定 表 或 判 定 树 来 描 述 。 数 据 字 典 是 关 于 数 据 库 中 数 据 的 描 述 ， 是 元 数 据 ， 而 不 是 数 据 本 身 。 数 据 字 典 在 需 求 分 析 阶 段 建 立 ， 在 数 据 库 设 计 过 程 中 不 断 修 改 、 充 实 、 完 善 。 概 念 结 构 是 各 种 数 据 模 型 的 共 同 基 础 ， 它 比

21、数 据 模 型 更 独 立 于 机 器 、 更 抽 象 ， 从 而 更 加 稳 定 。 自 顶 向 下 的 进 行 需 求 分 析 ， 自 低 向 上 的 设 计 概 念 结 构 。 定 义 数 据 库 模 式 主 要 是 从 系 统 的 时 间 效 率 、 空 间 效 率 、 易 维 护 等 角 度 出 发 。 物 理 设 计 的 第 一 任 务 就 是 要 确 定 选 择 那 些 存 取 方 法 ， 即 建 立 哪 些 存 取 路 径 。 3 . E R 图 实 体 型 ： 用 矩 形 表 示 ， 矩 形 框 内 写 明 实 体 名属 性 ： 用 椭 圆 形 表 示 ， 并 用 无 向 边

22、 将 其 与 相 应 的 实 体 型 连 接 起 来 联 系 ： 用 菱 形 表 示 ， 菱 形 框 内 写 明 联 系 名 ， 并 用 无 向 边 分 别 与 有 关 实 体 连 接 起 来 ， 同 时 在 无 向 边 旁 标 上 联 系 的 类 型 （ 1 : 1 、 1 : n 或 m : n ） 联 系 的 属 性 ： 联 系 本 身 也 是 一 种 实 体 型 ， 也 可 以 有 属 性 。 如 果 一 个 联 系 具 有 属 性 ， 则 这 些 属 性 也 要 用 无 向 边 与 该 联 系 连 接 起 来 在 关 系 总 数 尽 量 少 的 情 况 下 ， 该 E - R 图 转

23、 换 后 关 系 模 式 包 括 ： 学 生 （ 学 号 ， 姓 名 ， 性 别 ， 专 业 ， 出 生 日 期 ， 学 院 编 号 ） 课 程 （ 课 程 编 号 ， 课 程 名 称 ， 课 程 类 别 ， 学 分 ） 学 院 （ 学 院 编 号 ， 学 院 名 称 ， 办 公 室 电 话 ， 院 长 教 职 工 编 号 ） 教 职 工 （ 教 职 工 编 号 ， 姓 名 ， 参 加 工 作 时 间 ， 职 称 ， 学 院 编 号 ） 选 课 （ 学 号 ， 课 程 号 ， 成 绩 ） 第 七 章 1 . 游 标 。 使 用 ： 声 明 游 标 、 打 开 游 标 、 从 一 个 游 标 中

24、 提 取 信 息 、 关 闭 释 放 游 标 。 声 明 游 标 ： D e c l a r e X X X c u r s o r F o r s e l e c t * * * * * * 打 开 游 标 ： o p e n X X X 关 闭 游 标 ： c l o s e X X X 释 放 游 标 ： d e a l l o c a t e X X X声 明 一 个 名 为 c u r A l l C o u r s e 的 游 标 ， 完 成 统 计 有 多 少 学 生 选 修 了 全 部 课 程 ， 输 出 学 生 学 号 和 姓 名 。 d e c l a r e c u r

25、A l l C o u r s e c u r s o r / / 声 明 游 标 f o r S E L E C T S N O ， s n a m e f r o m s t u d e n t w h e r e s n o i n ( s e l e c t s n o f r o m s c g r o u p b y s n o h a v i n g C O U N T ( * ) = ( s e l e c t C O U N T ( * ) f r o m c o u r s e ) ) f o r r e a d o n l y o p e n c u r A l l C

26、o u r s e / / 打 开 游 标 d e c l a r e s n o c h a r ( 1 0 ) , s n a m e c h a r ( 1 0 ) / / 声 明 变 量 s e t s n o = 0 f e t c h n e x t f r o m c u r A l l C o u r s e i n t o s n o , s n a m e / / 从 游 标 中 取 数 据 w h i l e F E T C H _ S T A T U S = 0 b e g i n i f s n a m e i s n u l l s e t s n o = s n

27、o + 1 s e l e c t s n o 学 号 , s n a m e 姓 名 f e t c h n e x t f r o m c u r A l l C o u r s e i n t o s n o , s n a m e e n d C L O S E c u r A l l C o u r s e / / 关 闭 游 标D E A L L O C A T E c u r A l l C o u r s e / / 释 放 游 标 2 . 存 储 过 程 。 类 似 与 C 语 言 中 的 函 数 。 编 写 一 个 存 储 过 程 ， 在 s c 表 统 计 每 个 学 生

28、 的 平 均 分 . c r e a t e p r o c a v e r g r a d e / / 创 建 存 储 过 程 a s b e g i n s e l e c t s n o , a v g ( g r a d e ) 平 均 分 f r o m s c g r o u p b y s n o e n d e x e c a v e r g r a d e / / 执 行 存 储 过 程 d r o p p r o c e d u r e a v e r g r a d e / / 删 除 存 储 过 程 对 练 习 1 的 存 储 过 程 进 行 改 进 ， 添 加 一 个

29、 输 入 参 数 学 号 ， 使 存 储 过 程 能 根 据 输 入 的 学 号 计 算 该 学 生 的 平 均 分 c r e a t e p r o c a v e r g r a d e s n o c h a r ( 1 0 ) a sb e g i n s e l e c t s n o , a v g ( g r a d e ) 平 均 分 f r o m s c w h e r e s n o = s n o g r o u p b y s n o e n d e x e c a v e r g r a d e 0 4 d r o p p r o c e d u r e a v

30、e r g r a d e 在 练 习 2 的 基 础 上 添 加 一 个 输 出 参 数 平 均 分 ， 计 算 指 定 学 号 的 平 均 分 ， 然 后 将 平 均 分 输 出 。 c r e a t e p r o c a v e r g r a d e s n o c h a r ( 1 0 ) , s a v i n g i n t o u t a s b e g i n s e l e c t s a v i n g = a v g ( g r a d e ) f r o m s c w h e r e s n o = s n o g r o u p b y s n o e n

31、d d e c l a r e a v g i n t s e t a v g = 0 e x e c a v e r g r a d e 0 2 , a v g o u t s e l e c t a v g 平 均 分 d r o p p r o c e d u r e a v e r g r a d e 3 . 函 数 。函 数 必 须 返 回 指 定 类 型 ， 可 以 返 回 表 ， 有 输 入 参 数 。 创 建 成 绩 转 换 函 数 ， 实 现 百 分 制 成 绩 与 优 、 良 、 中 、 及 格 、 不 及 格 五 个 等 级 的 换 算 . C R E A T E F U

32、 N C T I O N g r a d e _ t r a n s ( g r a d e F L O A T ) R E T U R N S C H A R ( 1 6 ) A S B E G I N D E C L A R E c l a s s C H A R ( 1 6 ) S E L E C T c l a s s = C A S E W H E N g r a d e I S N U L L T H E N 还 没 参 加 考 试 W H E N g r a d e = 6 0 a n d g r a d e = 7 0 a n d g r a d e = 8 0 a n d g

33、 r a d e 9 0 T H E N 良 好 E L S E 优 秀 ! E N D R E T U R N ( c l a s s ) E N D s e l e c t d b o . g r a d e _ t r a n s ( 8 8 ) 查 询 某 个 院 系 所 有 学 生 所 选 的 每 门 课 的 平 均 成 绩 。 c r e a t e f u n c t i o n a v e r ( p c h a r ( 1 0 ) ) r e t u r n s t a b l e a s r e t u r n ( s e l e c t c n o 课 程 号 , a v

34、 g ( g r a d e ) 平 均 成 绩 f r o m s t u d e n t , s c w h e r e s t u d e n t . s n o = s c . s n o a n d s d e p t = p g r o u p b y c n o ) s e l e c t * f r o m d b o . a v e r ( c s )d r o p f u n c t i o n a v e r 求 某 个 院 系 选 修 了 某 门 课 的 学 生 人 数 。 c r e a t e f u n c t i o n p e o p l e ( p 0 c

35、h a r ( 1 0 ) , p 1 c h a r ( 4 ) ) r e t u r n s i n t a s b e g i n d e c l a r e r e n s h u i n t s e l e c t r e n s h u = ( s e l e c t C O U N T ( * ) 选 课 人 数 f r o m s t u d e n t , s c w h e r e s t u d e n t . s n o = s c . s n o a n d c n o = p 1 a n d s d e p t = p 0 ) r e t u r n r e n

36、s h u e n d s e l e c t d b o . p e o p l e ( c s , 2 ) d r o p f u n c t i o n p e o p l e 4 . 触 发 器 。 C r e a t e t r i g g e r X X X O n t a b l e f o r / a f t e r / i n s t e a d o f I n s e r t , d e l e t e , u p d a t e A s 触 发 器 实 际 需 要 触 发 内 容 F o r ： 用 法 同 a f t e r A f t e r ： 执 行 完 s q

37、l 语 句 之 后 进 行 检 查 ， 检 查 不 符 合 条 件 的 话 回 滚 r o l l b a c k 。 a f t e r 触 发 器 只 能 在 表 上 指 定 。 I n s t e a d o f ： 指 定 触 发 器 时 代 替 S Q L 语 句 执 行 的 ， 其 优 先 级 高 于 触 发 语 句 的 操 作 。 例 ：为 s t u d e n t 表 建 立 触 发 器 T 1 ， 当 插 入 或 更 新 表 中 的 数 据 时 ， 保 证 所 操 作 的 记 录 的 s a g e 值 大 于 0 。 c r e a t e t r i g g e r T

38、 1 o n s t u d e n t a f t e r i n s e r t , u p d a t e a s b e g i n d e c l a r e s a g e i n t s e l e c t s a g e = i n s e r t e d . s a g e f r o m i n s e r t e d i f ( s a g e 0 ) b e g i n p r i n t 年 龄 错 误 r o l l b a c k t r a n s a c t i o n e n d e n d u p d a t e s t u d e n t s e t s

39、 a g e = 3 8 w h e r e s n o = 0 1 i n s e r t i n t o s t u d e n t ( s n o , s n a m e , s s e x , s a g e , s d e p t ) v a l u e s ( 2 0 0 7 0 1 1 , 张 三 , 男 , 5 5 , m a ) 为 s t u d e n t 表 建 立 触 发 器 T 2 ， 禁 止 删 除 编 号 为 “ 0 0 0 1 ” 的 学 生 。 i n s e r t i n t o s t u d e n t ( s n o , s n a m e , s

40、 s e x , s a g e , s d e p t ) v a l u e s ( 0 0 0 1 , 傻 大 个 , 男 , 1 9 , i s ) c r e a t e t r i g g e r T 2 o n s t u d e n t a f t e r d e l e t ea s b e g i n d e c l a r e s n o c h a r ( 1 0 ) s e l e c t s n o = d e l e t e d . s n o f r o m d e l e t e d i f ( s n o = 0 0 0 1 ) b e g i n p r

41、i n t 禁 止 删 除 学 号 0 0 0 1 信 息 r o l l b a c k t r a n s a c t i o n e n d e n d d e l e t e s t u d e n t w h e r e s n o = 0 0 0 1 d r o p t r i g g e r T 2 第 八 章 1 事 务 ： 是 一 系 列 的 数 据 库 操 作 ， 是 数 据 库 应 用 程 序 的 基 本 逻 辑 单 元 。 是 用 户 定 义 的 一 个 数 据 库 操 作 序 列 ， 这 些 操 作 要 么 全 做 ， 要 么 全 不 做 ， 是 一 个 不 可 分

42、割 的 工 作 单 元 。 2 事 务 的 四 个 特 性 ： 原 子 性 ： 事 务 是 数 据 库 的 逻 辑 工 作 单 位 ， 事 务 总 包 括 的 诸 操 作 要 么 全 做 ， 要 么 全 不 做 。 一 致 性 ： 数 据 库 只 包 含 成 功 事 务 提 交 的 结 果 ， 就 说 数 据 库 处 于 一 致 性 状 态 。 隔 离 性 ： 一 个 事 务 的 执 行 不 能 被 其 他 事 务 干 扰 。 即 一 个 事 务 的 内 部 操 作 及 使 用 的 数 据 对 其 他 并 发 事 务 是 隔 离 的 ， 并 发 执 行 的 各 个 事 务 之 间 不 能 互

43、相 干 扰 。 持 续 性 ： 指 一 个 事 务 一 旦 提 交 ， 他 对 数 据 库 中 数 据 的 改 变 就 应 该 是 永 久 性 的 。 事 务 是 恢 复 和 并 发 控 制 的 基 本 单 位 。 3 数 据 库 恢 复 ：把 数 据 库 从 错 误 状 态 恢 复 到 某 一 已 知 的 正 确 状 态 的 功 能 。 （ 1 ） 运 行 事 务 非 正 常 中 断 。 （ 2 ） 数 据 丢 失 。 4 故 障 种 类 ： 运 行 事 务 非 正 常 中 断 - - - - - - - - - - 恢 复 - 事 务 撤 销 。 系 统 故 障 、 介 质 故 障 、 计

44、 算 机 病 毒 。 5 恢 复 实 现 技 术 ： 数 据 恢 复 的 基 本 原 理 ： 冗 余 。 建 立 冗 余 数 据 最 常 用 的 技 术 是 数 据 转 储 和 登 记 日 志 文 件 。 6 数 据 转 储 ： 静 态 转 储 ： 是 在 系 统 中 无 运 行 事 务 时 进 行 的 转 储 操 作 。 动 态 转 储 ： 是 指 转 储 期 间 允 许 对 数 据 库 进 行 存 取 或 修 改 。 即 转 储 和 用 户 事 务 可 以 并 发 执 行 。 海 量 转 储 ： 每 次 转 储 全 部 数 据 库 。 增 量 转 储 ： 指 每 次 只 转 储 上 一 次

45、 转 储 后 更 新 过 的 数 据 。 7 . 日 志 文 件 ： 是 用 来 记 录 事 务 对 数 据 库 的 更 新 操 作 的 文 件 。 在 事 务 故 障 恢 复 和 系 统 故 障 恢 复 必 须 用 日 志 文 件 。 在 动 态 转 储 方 式 中 必 须 建 立 日 志 文 件 ， 后 备 副 本 和 日 志 文 件 结 合 起 来 才 能 有 效 地 恢 复 数 据 库 。 在 静 态 转 储 中 也 建 立 日 志 文 件 8 登 记 日 志 文 件 （ 对 数 据 库 的 操 作 记 录 ） 。 登 记 的 次 序 严 格 按 并 发 事 务 执 行 的 时 间 次

46、 序 。 必 须 先 写 日 志 文 件 ， 后 写 数 据 库 。 9 事 务 故 障 的 恢 复 ： 恢 复 子 系 统 应 利 用 日 志 文 件 撤 销 此 事 务 已 对 数 据 库 进 行 的 修 改 ， 系 统 自 动 进 行 。 1 0 系 统 故 障 恢 复 ： 导 致 故 障 原 因 可 能 有 两 个 ： （ 1 ） 未 完 成 事 务 对 数 据 库 的 更 新 可 能 已 写 入 数 据 库 。 （ 2 ） 已 提 交 事 务 对 数 据 库 的 更 新 可 能 还 留 在 缓 冲 区 没 来 得 及 写 入 数 据 库 。恢 复 策 略 是 撤 销 故 障 发 生

47、时 未 完 成 的 事 物 ， 重 做 已 完 成 的 事 物 。 1 1 介 质 故 障 的 恢 复 。 数 据 库 副 本 。 第 九 章 1 并 发 操 作 带 来 的 数 据 不 一 致 性 。 并 发 操 作 破 坏 了 事 务 的 隔 离 性 。 丢 失 修 改 ： 两 个 事 务 同 时 读 入 同 一 数 据 并 修 改 ， T 2 提 交 的 结 构 破 坏 了 T 1 提 交 的 结 果 ， 导 致 T 1 的 修 改 被 丢 失 。 不 可 重 复 读 ： 事 务 1 读 取 数 据 后 ， 事 务 2 执 行 更 新 操 作 ， 使 T 1 无 法 再 现 前 一 次

48、读 取 结 果 。 读 脏 数 据 ： 事 务 1 修 改 某 一 数 据 并 将 其 写 回 磁 盘 ， 事 务 2 读 取 同 一 数 据 后 ， T 1 由 于 某 种 原 因 被 撤 销 ， 这 时 被 T 1 修 改 过 的 数 据 恢 复 原 值 ， T 2 读 到 的 数 据 就 与 数 据 库 中 的 数 据 不 一 致 ， 则 T 2 读 到 的 数 据 就 为 脏 数 据 ， 即 不 正 确 的 数 据 。 2 . 并 发 控 制 的 主 要 技 术 。 封 锁 、 时 间 戳 、 乐 观 控 制 法 、 多 版 本 并 发 控 制 等 。 3 . 封 锁 。 封 锁 就

49、是 事 务 T 对 某 个 数 据 对 象 操 作 之 前 ， 先 向 系 统 发 出 请 求 ， 对 该 数 据 对 象 进 行 加 锁 。 加 锁 后 事 务 T 就 对 该 数 据 对 象 有 了 一 定 的 控 制 ， 在 事 务 T 释 放 它 的 锁 之 前 ， 其 他 事 务 不 能 更 新 此 数 据 对 象 。 4 . 封 锁 类 型 。 排 他 锁 （ 写 锁 ） ： 若 事 务 T 对 数 据 对 象 A 加 上 X 锁 ， 则 只 允 许 T 读 取 和 修 改 A ， 其 他 任 何 事 务 都 不 能 再 对 A 加 任 何 类 型 的 锁 ， 直 到 T 释 放 A 上 的 锁 为 止 。 保 证 了 其 他 事 务 在 T 释 放 A 上 的 锁 之 前 不