1、分 布 式 数 据 库 设 计 导 论陈 建 荣 严 隽 永 叶 天 荣 编 著清 华 大 学 出 版 社内 容 简 介本 书 全 面 系 统 地 介 绍 分 布 式 数 据 库 ( DDB) 的 理 论 与 设 计 方 法 。 全 书 共 七 章 , 分 成 三 部 分 。 第 一 部 分 在 介 绍分 布 式 数 据 库 功 能 的 基 础 上, 论 述 了 分 布 式 数 据 库 必 须 解 决 的 诸 问 题 ; 第二 部 分 介 绍 解 决 第 一 部 分 提 出 的 各 种 技 术 问 题 的 方 法 , 包 括 DDB 的 体 系 结 构 , DDB 的 优 化 设 计 、 分
2、布 式 查 询 处理 、 分 布 式 并 发 控 制 、 DDB 的 可 靠 性 等 ; 第 三 部 分 剖 析 了 一 个 分 布 式 数 据 库 的 原 型 系 统 SDD-1。本 书 收 集 综 合 了 大 量 有 关 DDB 的 最 新 资 料 , 重 点 突出 “分 布 式 ”引 起 的 种 种技 术 问 题 , 给读 者 提 供 了 进 一 步 研 究 的 基 础 。本 书 要 求 读 者 对 数 据 库 的 基 本 原 理 和 计 算 机 网 络 的 基 本 概 念 有 初 步 的 了 解 , 适 合 作 为 计 算 机 专 业 高 年 级 或 研 究 生 的 有 关 教 材 ,
3、 也 可 作 为有 关 教 师 、 科技 工 作 者 的 参 考 书 。( 京 ) 新 登 字 158 号分 布 式 数 据 库 设 计 导 论 陈 建 荣 严 隽 永 叶 天 荣 编 著 责 任 编 辑 贾 仲 良清 华 大 学 出 版 社 出 版 北 京 清 华 园 印 刷 厂 印 刷 新 华 书 店 总 店 科 技 发 行 所 发 行开 本 : 7 8 7 1 09 2 1 / 1 6 印 张 : 1 3. 5 字 数 : 3 1 5 千 字1 9 92 年 8 月 第 1 版 19 9 2 年 8 月 第 1 次 印 刷印 数 : 0001- 0000ISBN 7-302-01006-
4、4/ T P 368定 价 : 0. 00 元序 言人 类 社 会 不 断 发 展 进 步 , 当 今 社 会 已 进 入 到 信 息 时 代 。 信 息 量 剧 增 , 使 得 信 息 和 数 据 处 理 处 于 越 来 越 重 要 的 地 位 , 也 成 为 人 们 越 来 越 繁 重 的 工 作 负 担 。 计 算 机 技 术 的 发 展 使 得 快 速 处 理 大 量 数 据 成 为 可 能 , 特 别 是 数 据 库 系 统 的 出 现 和 发 展 则 成 为 信 息 和 数 据 处 理 强有 力 的 工 具 。 20 世 纪 70 年 代 是 集 中 式 数 据 库 系 统 从 理
5、 论 到 实 践 全 面 取 得 辉 煌 成 就 的 年 代 , 而 分 布 式 数 据 处 理 及 其 核 心 分 布 式 数 据 库 技 术 则 成 为 80 年 代 计 算 机 科 学 技 术 的 主 要 新 研 究 领 域 之 一 。和 计 算 机 科 学 技 术 的 其 它 研 究 领 域 一 样 , 分 布 式 数 据 库 技 术 研 究 领 域 的 出 现 和 发 展有 着 深 刻 的 应 用 背 景 。 人 类 社 会 中 很 多 大 型 信 息 ( 数 据 ) 系 统 的 结 构 , 不 论 是 军 用 上 的 还 是 民 用 上 的 , 实 际 上 都 是 一 种 多 层
6、次 的 复 杂 分 布 式 系 统 。 事 实 上 , 除 了 因 为 逻 辑 和 地 理 上 的 原 因 之 外 , 很 多 信 息 ( 数 据 ) 系 统 为 了 提 高 本 身 的 生 存 能 力 ( 抗 破 坏 性 ) , 也 需 要 采 用 分 布 式 处 理 结 构 。 例 如 , 军 事 上 C3I 系 统 和 银 行 的 资 金 转 移 系 统 中 的 分 布 式 数 据 处 理 支 撑 环 境 都 是 典 型 的 例 子 。 对 于 分 布 处 理 的 这 种 迫 切 需 要 , 大 大 促 进 了 作 为 分 布 式 数 据 处 理 的 主 要 支 撑 工 具 分 布 式
7、数 据 库 技 术 的 发 展 。 国 际 上 一 些 高 级 数 据 库 研 究 机 构 都 将 分 布 式 结 构 作 为 新 一 代 数 据 库 系 统 所 必 须 具 备 的 基 本 特 征 之 一 , 即 便 是 将 来 与 知 识 库 的 结 合 或 是 发展 数 据 库 机 恐 怕 也 是 如 此 。 不 断 更 新 换 代 的 计 算 机 硬 件 和 通 信 设 备 以 及 计 算 机 网 络 技 术 , 为 分 布 式 数 据 库 技 术 的 发 展 提 供 了 良 好 的 环 境 , 预 期 分 布 式 数 据 库 技 术 在 90 年 代 会 有 更 快 的 发 展 ,
8、并 且 逐 渐 走 向 成 熟 , 逐 步 得 到 应 用 。尽 管 分 布 式 数 据 库 技 术 发 展 迅 速 , 日 趋 成 熟 , 但 由 于 其 环 境 比 集 中 式 数 据 库 系 统 要 复 杂 得 多 , 因 而 不 论 是 在 体 系 结 构 、 查 询 处 理 、 并 发 控 制 、 恢 复 机 制 、 安 全 保 障 、 优 化 技 术 , 还 是 在 其 应 用 环 境 研 究 方 面 , 都 还 有 很 多 理 论 和 实 际 问 题 有 待 深 入 研 究 。 特 别 是 像 分 布 式 异 构 数 据 库 集 成 、 新 型 扩 展 数 据 模 型 、 优 化
9、 理 论 、 数 据 可 靠 性 、 安 全 性 等 大 课 题 上 还 有 待 于 新 的 突 破 , 以 获 取 完 美 的 解 决 。就 “分 布 式 数 据 库 系 统 ”这 一 专 题 , 目 前 国 内 出 版 的 书 籍 尚 不 多 , 这 与 其 发 展 和 研 究 是 不 相 适 应 的 。 分 布 式 数 据 库 设 计 导 论 一 书 的 作 者 在 参 阅 了 大 量 有 关 书 籍 、 文 献 的 基 础 上 , 组 织 了 这 本 介 绍 本 领 域 中 基 础 知 识 的 教 材 。 全 书 内 容 比 较 全 面 , 比 较 系 统 , 可 以 作 为 专 业
10、课 教 材 , 使 初 学 者 掌 握 分 布 式 数 据 库 设 计 的 基 本 原 理 , 为 进 一 步 开 展 研 究 工 作 打 下 基础 。 希 望 本 书 的 出 版 对 我 国 分 布 式 数 据 库 技 术 的 教 学 和 研 究 起 到 推 动 作 用 。陈 火 旺 1991 年 写 于 国 防 科 技 大 学 前 言分 布 式 数 据 库 ( DDB) 是 数 据 库 技 术 与 计 算 机 网 络 技 术 相 结 合 的 产 物 。 数 据 库 是 一 种 抽 象 的 集 中 数 据 管 理 方 法 , 它 通 过 集 中 实 现 数 据 共 享 , 通 过 抽 象 实
11、 现 数 据 的 独 立 性 , 给 用 户 提 供 了 一 个 总 的 、 聚 合 的 、 唯 一 的 数 据 集 合 及 其 统 一 的 管 理 方 法 。 计 算 机 网 络 是 分 散 的 计 算 机 系 统 , 在 利 用 通 信 线 路 相 互 连 接 的 计 算 机 之 间 分 布 数 据 与 程 序 , 以 适 应 用 户 地 域 分 散 的 需 要 。 因 此 , 分 布 式 数 据 库 是 集 中 与 分 散 的 统 一 , 它 能 够 在 一 个 更 高 的 层 次 上 , 给 用 户 提 供 前 所 未 有 的 功 能 。正 因 为 上 述 原 因 及 应 用 要 求
12、的 不 断 提 高 , 随 着 计 算 机 应 用 从 单 机 网 络 分 布 处 理的 发 展 , 分 布 式 数 据 库 无 论 从 理 论 上 , 实 践 上 都 受 到 了 极 大 的 重 视 , 尤 其 是 一 些 地 域 上 分散 的 大 团 体 、 大 机 构 越 来 越 需 要 应 用 分 布 式 数 据 库 技 术 。 研 究 表 明 , 分 布 式 系 统 ( 特 别 是 以 分 布 式 数 据 库 为 核 心 的 分 布 式 系 统 ) 是 80 年 代 计 算 机 科 学 的 发 展 方 向 之 一 。分 布 式 数 据 库 从 理 论 上 提 出 了 不 同 于 集
13、中 式 数 据 库 的 新 问 题 , 本 书 试 图 叙 述 有 关 这些 问 题 的 性 质 及 其 现 行 的 解 决 方 法 。 重 点 突 出 “分 布 式 ”引 起 的 种 种 技 术 问 题 , 给 读 者 提 供 进 一 步 研 究 的 基 础 。 全 书 共 七 章 , 分 成 三 部 分 , 包 括 如 下 内 容 :第 一 部 分 ( 分 布 式 数 据 库 概 述 ) 包 含 第 一 章 , 介 绍 分 布 式 数 据 库 的 发 展 及 其 由 来 , 分 布 式 数 据 库 的 特 点 , DBM S 的 组 成 与 功 能 , 在 此 基 础 上 概 括 出 分
14、布 式 数 据 库 必 须 解 决 的 技术 问 题 。第 二 部 分 ( 分 布 式 数 据 库 原 理 、 设 计 与 实 现 ) 主 要 介 绍 各 种 解 决 由 第 一 部 分 所 提 出 的各 种 技 术 问 题 的 方 法 。 共 有 五 章 , 具 体 内 容 如 下 :第 二 章 ( 分 布 式 数 据 库 体 系 结 构 ) 给 出 分 布 式 数 据 库 体 系 结 构 的 一 个 框 架 。 首 先 , 在 总 结 现 有 分 布 式 数 据 库 的 基 础 上 , 给 DDB 分 类 ; 其 次 从 逻 辑 概 念 层 次 上 给 出 DDB 的 一 般 体 系 结
15、构 , 该 体 系 结 构 能 够 满 足 各 种 对 DDB 的 不 同 要 求 , 包 括 结 点 自 治 性 、 数 据 透 明 性 和 完 整 性 等 ; 最 后 在 此 体 系 结 构 的 框 架 中 , 讨 论 模 式 特 征 和 控 制 系 统 等 问 题 。第 三 章 ( 分 布 式 数 据 库 的 优 化 设 计 ) 介 绍 DDB 的 设 计 技 术 。 首 先 , 给 出 DDB 的 一 般 设 计 流 程 , 明 确 其 重 点 要 解 决 的 问 题 数 据 分 配 问 题 ; 然 后 介 绍 有 关 数 据 分 配 问 题 的 各 个 方 面 , 包 括 计 算 分
16、 配 费 用 的 模 型 、 分 配 单 位 的 确 定 、 及 数 据 分 配 的 优 化 等 ; 最 后 讨 论 DBA 管 理 数 据 分 配 的 问 题 。第 四 章 ( 分 布 式 查 询 处 理 ) 讨 论 用 户 与 DDB 的 接 口 即 分 布 式 查 询 处 理 。 在 该 章 中 首 先 论 述 分 布 式 查 询 处 理 的 研 究 历 史 , 给 出 分 布 式 查 询 处 理 的 一 般 模 式 ; 然 后 介 绍 分 布 式 并 发 查 询 处 理 的 模 型 ; 最 后 讨 论 了 两 类 分 布 式 查 询 的 处 理 方 法 。第 五 章 ( 分 布 式 并
17、 发 控 制 ) 讨 论 DDB 中 的 并 发 控 制 问 题 , 给 出 分 布 式 并 发 控 制 的 一 般 处 理 模 式 , 并 以 此 为 基 础 , 介 绍 一 系 列 并 发 控 制 技 术 和 方 法 。第 六 章 ( 分 布 式 数 据 库 可 靠 性 ) 讨 论 在 系 统 部 件 失 效 的 情 况 下 , 如 何 保 持 系 统 其 余 部分 继 续 正 常 运 行 , 并 有 效 地 恢 复 的 问 题 , 即 DDBM S 的 可 靠 性 问 题 。 在 该 章 中 介 绍 了 三 方 面 的 机 制 : 可 靠 网 络 机 制 、 可 靠 查 询 处 理 机
18、制 和 可 靠 并 发 控 制 机 制 。第 三 部 分 ( 实 例 研 究 ) 包 括 第 七 章 , 剖 析 一 个 分 布 式 数 据 库 的 原 型 系 统 SDD-1 ( Syst em For Distr ibut ed Dat abases) 、 该 系 统 的 一 些 设 计 思 想 和 原 则 。 它 的 某 些 基 本 算 法 , 具 有 很 强 的 代 表 性 。本 书 要 求 读 者 对 数 据 库 的 基 本 原 理 和 计 算 机 网 络 的 基 本 概 念 有 一 定 的 了 解 , 可 作 为计 算 机 软 件 专 业 高 年 级 或 研 究 生 的 有 关 教
19、 材 , 也 可 作 为 有 关 专 业 教 师 、 软 件 工 作 者 的 参 考 书 。本 书 第 一 、 四 、 五 章 由 陈 建 荣 编 写 , 第 六 、 七 章 由 严 隽 永 编 写 , 笫 三 章 由 陈 建 荣 和 严 隽 永 合 写 , 第 二 章 由 陈 建 荣 和 叶 天 荣 合 写 。 陈 建 荣 负 责 统 编 全 书 。在 本 书 的 形 成 中 , 受 到 了 国 防 科 技 大 学 陈 火 旺 教 授 、 海 军 工 程 学 院 刘 孟 仁 副 教 授 的 有 益 指 导 与 大 力 支 持 , 陈 火 旺 教 授 详 细 审 校 了 全 书 。 侯 艳 文
20、 同 志 负 责 了 本 书 图 稿 的 绘 制 与 整 理 , 海 军 工 程 学 院 计 算 机 机 房 的 同 志 在 本 书 的 录 入 中 做 了 大 量 工 作 。 在 此 谨 向 他 们 表 示 衷心 的 感 谢 。由 于 水 平 有 限 , 且 分 布 式 数 据 库 技 术 发 展 迅 速 。 书 中 错 误 之 处 在 所 难 免 , 敬 请 读 者 批 评 指 正 , 谢 谢 !目 录序 言 前 言 第 一 章 绪 论 11. 1 分 布 式 数 据 库 的 发 展 及 其 由 来 11. 2 分 布 式 数 据 库 系 统 的 组 成 与 功 能 21. 3 分 布 式
21、 数 据 库 系 统 的 特 点 71. 4 分 布 式 数 据 库 系 统 需 要 解 决 的 问 题 8第 二 章 分 布 式 数 据 库 的 体 系 结 构 102. 1 分 布 式 数 据 库 的 分 类 102. 2 体 系 结 构 层 次 112. 3 模 式 特 征 132. 4 控 制 系 统 152. 5 存 取 和 数 据 透 明 性 182. 6 结 点 间 的 完 整 性 202. 7 小 结 21第 三 章 分 布 式 数 据 库 的 优 化 设 计 223. 1 数 据 分 配 问 题 223. 2 数 据 分 配 的 单 位 、 表 示 与 费 用 253. 3
22、用 静 态 调 度 的 优 化 数 据 分 配 333. 4 用 静 态 调 度 的 启 发 式 数 据 分 配 373. 5 用 动 态 调 度 的 数 据 分 配 453. 6 分 配 管 理 问 题 473. 7 小 结 48第 四 章 分 布 式 查 询 处 理 504. 1 分 布 式 查 询 处 理 问 题 504. 2 分 布 式 查 询 处 理 模 型 534. 3 基 于 半 连 接 的 分 布 式 查 询 处 理 方 法 584. 4 带 有 碎 片 的 分 布 式 查 询 处 理 方 法 85第 五 章 分 布 式 并 发 控 制 995. 1 分 布 式 并 发 控 制
23、 问 题 1005. 2 事 务 处 理 模 型 1025. 3 分 布 式 并 发 控 制 理 论 1075. 4 分 布 式 并 发 控 制 技 术 111 5. 5 综 合 的 分 布 式 并 发 控 制 方 法 1295. 6 分 布 式 并 发 控 制 方 法 的 性 能 1395. 7 小 结 163第 六 章 分 布 式 数 据 库 可 靠 性 1666. 1 可 靠 网 络 机 制 1666. 2 可 靠 查 询 处 理 机 制 1726. 3 并 发 控 制 机 制 的 可 靠 操 作 173第 七 章 实 例 研 究 ( 分 布 式 数 据 库 SDD-1 设 计 ) 17
24、57. 1 引 言 1757. 2 系 统 组 织 1767. 3 并 发 控 制 1797. 4 分 布 式 查 询 处 理 1987. 5 可 靠 写 2007. 6 目 录 管 理 2017. 7 小 结 201参 考 文 献 2029第 一 章 绪 论本 章 首 先 介 绍 分 布 式 数 据 库 的 发 展 及 其 由 来 , 然 后 介 绍 分 布 式 数 据 库 系 统 的 组 成 及其 功 能 。 在 此 基 础 上 , 阐 明 分 布 式 数 据 库 的 优 点 和 特 点 , 根 据 这 些 特 点 , 提 出 分 布 式 数 据 库 系 统 需 要 解 决 的 问 题 。
25、 最 后 给 出 本 书 的 目 标 和 结 构 。1. 1 分 布 式 数 据 库 的 发 展 及 其 由 来分 布 式 数 据 库 ( DDB) 是 数 据 库 技 术 与 计 算 机 网 络 技 术 相 结 合 的 产 物 。 70 年 代 后 期 , 这 两 项 技 术 已 逐 渐 趋 于 成 熟 。 就 数 据 库 来 说 , 作 为 第 四 代 数 据 库 系 统 的 关 系 数 据 库 , 已 经 在 理 论 与 实 践 上 取 得 了 极 大 的 进 展 , 数 据 库 的 研 究 与 发 展 正 处 在 顶 盛 时 期 。 一 些 关 系 数 据 库 系 统 , 如 系 统
26、R 、 IN GR ES 等 的 研 制 已 经 取 得 了 成 功 , 并 逐 渐 商 品 化 。 另 一 方 面 , 数 据 通 信 领 域 的 进 展 , 促 进 了 计 算 机 网 络 技 术 的 迅 猛 发 展 。 一 些 通 信 媒 介 , 如 无 线 电 、 卫 星 及 光 纤 等 已 经 开 始 应 用 于 计 算 机 通 信 网 , 远 程 数 据 通 信 网 已 开 始 装 备 和 应 用 , 如 美 国 的 A R PAN E T , T E L E NE T , 法 国 的 T RA NSPAC, 加 拿 大 的 DAT A PAC 等 , 局 部 网 络 如E T H
27、 E RN E T 也 有 了 发 展 。 因 此 可 以 这 样 说 , 数 据 库 与 计 算 机 网 络 技 术 的 成 熟 与 广 泛 应用 , 是 分 布 式 数 据 库 产 生 与 发 展 的 前 提 , 给 分 布 式 数 据 库 的 发 展 提 供 了 技 术 的 可 能 性 , 积 累 了 应 用 的 经 验 并 提 出 了 进 一 步 应 用 的 问 题 。分 布 式 数 据 库 符 合 系 统 管 理 的 思 想 与 目 标 。 它 特 别 适 合 于 一 些 地 域 上 分 散 的 大 团 体 、 大 机 构 的 组 织 结 构 与 管 理 原 则 。 在 这 些 单
28、位 中 , 往 往 既 要 有 各 子 单 位 的 分 散 管 理 , 也 要 在 高 一 级 层 次 上 实 现 协 同 管 理 , 既 要 有 局 部 控 制 , 同 时 也 需 要 高 层 次 的 协 作 。 这 种 协 同 管 理 要 求 各 子 单 位 之 间 有 灵 活 的 信 息 流 动 过 程 和 信 息 的 统 一 管 理 。 因 此 以 往 的 集 中 式 数 据 库 越 来 越 不 能 满 足 它 们 日 益 增 长 的 应 用 需 要 。 人 们 在 考 虑 新 的 数 据 管 理 方 案 时 , 越 来 越 认 识 到 建 立 分 布 式 数 据 库 系 统 的 必
29、要 性 。另 一 方 面 , 在 数 据 管 理 发 展 的 以 往 十 年 中 , 集 中 式 数 据 库 作 为 一 种 主 要 的 工 具 , 已 经 广 泛 应 用 于 这 些 大 机 构 的 数 据 管 理 。 大 机 构 一 般 都 拥 有 数 量 不 等 的 集 中 式 数 据 库 , 构 成 各 部 门 或 子 单 位 的 信 息 系 统 , 随 着 应 用 要 求 的 不 断 提 高 , 人 们 越 来 越 认 识 到 集 中 式 数 据 库 的 局 限 性 , 迫 切 需 要 将 这 些 子 系 统 通 过 日 益 廉 价 的 通 信 媒 介 连 接 起 来 , 组 成 一
30、 个 统 一 的 分 布 式 数 据 库 。 当 然 , 也 有 可 能 另 起 炉 灶 , 重 新 建 立 一 个 适 合 于 全 范 围 的 分 布 式 数 据 库 系 统 。 与 其 它 计 算 机 技 术 一 样 , 硬 件 的 发 展 ( 特 别 是 电 子 元 器 件 集 成 度 的 不 断 提 高 ) 、 价 格 不断 下 降 是 分 布 式 数 据 库 产 生 与 发 展 的 最 根 本 的 动 力 。 只 有 通 信 线 路 的 价 格 继 续 不 断 下 降 、 可 靠 性 更 日 益 提 高 时 , 分 布 式 数 据 库 才 能 越 来 越 有 吸 引 力 。 此 外
31、, 功 能 强 大 的 小 型 、 微 型 机 的 发 展 , 也 对 分 布 式 数 据 库 的 产 生 与 发 展 起 了 重 要 的 推 动 作 用 。 作 为 一 种 与 大 型 机 的 发 展 相 互 补 的 更 为 廉 价 的 方 法 , 人 们 将 小 、 微 型 机 用 通 信 线 路 连 接 起 来 构 成 一 个 功 能 上 与 大 型 机 不 相 上 下 的 分 布 式 系 统 。2总 之 , 应 用 上 的 需 要 , 硬 件 特 别 是 通 信 网 络 与 小 型 、 微 型 机 的 发 展 , 数 据 库 的 成 熟 与 应 用 , 说 明 分 布 式 数 据 库
32、不 仅 十 分 必 要 , 而 且 在 技 术 上 可 行 。 因 此 , 自 70 年 代 后 期 以 来 , 分 布 式 数 据 库 一 直 是 发 展 得 比 较 迅 速 与 活 跃 的 领 域 。 在 国 际 范 围 内 , 各 国 在 DDB 领 域 的 研 究 上 都 投 入 了 大 量 的 人 力 和 物 力 。 美 国 、 西 欧 、 日 本 等 国 相 继 提 出 了 规 模 宏 大 的 DDB 研 制 计 划 。 如 西 德 的 POR E L 系 统 先 后 经 历 了 11 年 , 投 资 超 过 450 万 马 克 , 法 国 的 SIR IU S 更 是 一 个 全
33、 国 性 的 DDB 研 制 计 划 。 国 际 上 , 每 年 都 举 行 多 次 专 门 会 议 , 研 究 由 于 分 布 式 而 引 起 的 种 种 问 题 。 发 表 的 有 关 论 文 更 是 汗 牛 充 栋 。 英 国 国 家 计 算 中 心 ( Nat ional Comput ing Centr e ) 专 门 对 DDB 作 了 分 析 与 预 测 , 断 言 分 布 式 系 统 , 特 别 是 以 DDB 为 核 心 的 分 布 式系 统 是 80 年 代 计 算 机 科 学 发 展 的 方 向 之 一 。分 布 式 数 据 库 系 统 发 展 至 今 天 , 已 有 1
34、0 多 年 的 历 史 , 取 得 了 决 定 性 的 成 果 , 许 多 基 本 问 题 被 提 出 并 已 解 决 。 一 些 原 型 系 统 , 如 美 国 的 SDD-1、 R * 、 分 布 式 I NGR E S 和 M U L T IBASE , 西 德 的 POR E L 、 V DN , 法 国 的 SIR IU S- DE L T A 、 POL YPH E M E 等 等 的研 制 与 发 展 , 在 分 布 式 数 据 库 领 域 积 累 了 相 当 的 经 验 。 一 些 产 品 正 在 试 制 与 推 出 , 如 分 布 式 I NGR E S/ ST AR , O
35、 RA CL E 公 司 的 SQL * ST A R 等 。 总 之 , 分 布 式 数 据 库 的 技 术 已 经 成 熟 , 其 产 品 化 的 时 代 已 经 到 来 。我 国 自 80 年 代 初 期 以 来 , 也 对 分 布 式 数 据 库 系 统 作 了 大 量 的 研 究 。 先 后 研 究 设 计 了 一 些 分 布 式 数 据 库 系 统 , 如 中 科 院 数 学 所 设 计 并 由 该 所 与 上 海 科 技 大 学 、 华 东 师 范 大 学 合 作 实 现 的 C - POR EL , 合 肥 工 业 大 学 微 机 所 设 计 和 研 制 的 分 布 式 数 据
36、 库 H , 海 军 工 程 学院 的 N DBASE 等 。 然 而 , 目 前 有 关 分 布 式 数 据 库 的 书 见 到 的 却 很 少 。 本 书 正 是 根 据 这 种 需 要 , 在 多 年 的 教 学 与 研 究 的 基 础 上 编 写 成 的 。1. 2 分 布 式 数 据 库 系 统 的 组 成 与 功 能一 个 分 布 式 数 据 库 是 一 个 处 理 属 于 一 些 相 关 联 的 数 据 库 数 据 的 系 统 , 如 图 1. 1 所 示 。 这 些 相 联 的 数 据 库 称 作 结 点 。 一 般 来 说 , 它 们 地 域 上 分 布 在 一 些 由 数
37、据 通 信 网 络 相 联 的 不 同 物 理 场 所 。 结 点 也 可 以 在 同 一 机 器 上 , 这 里 关 键 是 可 以 处 理 一 些 数 据 库 的 机 制 , 而 不 必 考 虑 其 通 信 线 路 的 性 质 。分 布 式 数 据 库 系 统 有 如 下 两 种 设 计 方 法 , 如 图 1. 2 所 示 。( 1) 自 顶 向 下 ( t op -dow n) 方 法 : 从 总 体 上 完 成 设 计 , 一 般 都 是 从 全 局 做 起 。 用 这 种 方 法 系 统 设 计 员 能 够 控 制 整 个 系 统 , 包 括 数 据 库 全 局 视 图 和 局 部
38、 视 图 。 其 过 程 是 划 分 系 统 中 的 数 据 和 系 统 功 能 , 可 能 包 含 重 复 , 最 后 将 其 分 配 到 各 个 场 所 。 见 图 1. 2( a)( 2) 自 底 向 上 ( b ott om -up) 方 法 : 将 现 有 独 立 存 在 的 数 据 库 连 接 起 来 , 给 用 户 提 供 一 个 统 一 的 系 统 。 采 用 自 底 向 上 的 方 法 意 味 着 必 须 接 受 现 成 的 数 据 库 , 容 纳 由 此 而 来 的 结 点 之 间 的 差 异 。 因 此 设 计 更 加 困 难 。 自 底 向 上 的 设 计 过 程 见
39、图 1. 2( b ) 。采 用 不 同 的 设 计 方 法 , 分 布 式 数 据 库 的 组 织 结 构 会 有 很 大 的 不 同 。 前 者 在 各 结 点 所 建 立 的 机 制 是 同 质 的 , 因 此 所 得 的 分 布 式 数 据 库 系 统 称 作 同 质 的 分 布 式 数 据 库 系 统 ; 后 者 所 构 成 的 存 在 一 级 明 显 的 局 部 数 据 库 管 理 系 统 和 局 部 视 图 , 这 些 局 部 数 据 库 系 统 往 往 是 不相 同 的 , 因 此 这 种 由 不 同 的 数 据 库 的 联 接 所 构 造 的 称 作 异 质 的 分 布 式
40、数 据 库 系 统 。 有 关 分3图 1. 1 分 布 式 数 据 库 结 构图 1. 2 分 布 式 数 据 库 设 计 方 法4布 式 数 据 库 的 详 细 分 类 情 况 见 第 二 章 。然 而 , 不 管 采 用 哪 一 种 设 计 方 法 , 分 布 式 数 据 库 呈 何 种 结 构 , 在 系 统 中 都 存 在 两 种 类型 的 用 户 : 全 局 用 户 、 局 部 ( 或 结 点 ) 用 户 。 全 局 用 户 看 到 的 是 分 布 式 数 据 库 的 全 局 视 图 , 局部 用 户 看 到 的 是 某 一 个 结 点 数 据 库 的 局 部 视 图 。 全 局
41、用 户 在 分 布 式 数 据 库 管 理 系 统 DDBM S 的 控 制 下 , 处 理 整 个 分 布 式 数 据 库 中 的 数 据 ; 局 部 用 户 在 局 部 数 据 库 管 理 系 统 的 控 制 下 , 处 理 某 一 特 殊 结 点 的 数 据 , 其 理 想 情 况 应 与 分 布 式 数 据 库 的 存 在 无 关 。 一 般 用 全 局 级 模 式 描 述 DDB 中 数 据 的 逻 辑 结 构 , 即 全 局 视 图 。 相 应 地 , 用 局 部 级 模 式 表 示 对 结 点 数 据 的 描 述 , 即 局 部 视 图 。 分 布 式 数 据 库 必 须 提 供
42、 描 述 全 局 视 图 与 局 部 视 图 的 数 据 模 型 。分 布 式 数 据 库 的 一 个 常 见 例 子 是 银 行 的 电 子 转 移 系 统 。 假 定 这 样 的 一 个 系 统 由 三 个 结 点 组 成 , 分 别 分 布 在 北 京 、 上 海 、 天 津 , 其 中 北 京 地 区 的 帐 户 记 录 保 存 在 北 京 的 数 据 库 中 , 同 样 , 上 海 、 天 津 地 区 的 帐 户 记 录 分 别 保 存 在 上 海 、 天 津 的 数 据 库 中 , 这 些 数 据 库 通 过 通 信 线 路 相 联 , 构 成 一 个 统 一 的 分 布 式 数
43、据 库 ( 见 图 1. 3) 。 在 这 样 的 系 统 中 , 任 意 一 个 结 点 ( 比 如 说 北 京 ) , 可 以 存 取 该 结 点 的 帐 户 , 称 作 局 部 查 询 , 同 时 也 可 以 存 取 另 一 个 结 点 ( 比 如 说 上 海 ) 的 帐 户 , 称 作 远 程 查 询 。 当 然 , 北 京 的 用 户 一 般 在 北 京 存 取 其 帐 户 记 录 , 上 海 的 用 户 一 般 在 上 海 存 取 其 帐 户 记 录 。 然 而 , 也 可 有 这 样 的 存 取 用 户 : 他 在 多 个 结 点 有 帐 户 记 录 。 对 这 样 的 用 户
44、来 说 远 程 查 询 是 必 不 可 少 的 。 有 时 甚 至 需 要 既 包 含 局 部 查 询 , 也 包 含 远 程 查 询 的 复 杂 查 询 ( 如 将 用 户 的 一 个 帐 户 记 录 中 的 资 金 转 移 到 另 一 个 帐 户 记 录 ) 。 分 布 式 数 据 库 的 一 个 主 要 功 能 就 是 给 用 户 提 供 进 行 复 杂 查 询 的 能 力 , 使 用 户 就 好 象 在 一 个 单 一的 数 据 库 上 操 作 一 样 。 也 就 是 说 , 给 用 户 提 供 一 个 统 一 的 数 据 视 图 和 操 作 接 口 , 通 过 这 个 接 口 , 用
45、 户 可 使 用 整 个 系 统 中 的 信 息 , 而 且 可 以 不 管 数 据 的 具 体 位 置 , 与 使 用 一 个 单 一 的集 中 数 据 库 一 样 。图 1. 3 银 行 电 子 资 金 转 移 系 统分 布 式 数 据 库 管 理 系 统 的 组 成 及 处 理 查 询 的 过 程 如 图 1. 4 所 示 。 全 局 用 户 给 出 一 个5查 询 ( 或 一 般 地 称 用 户 请 求 , 包 括 查 询 和 更 新 , 这 里 以 查 询 为 例 说 明 ) , 因 为 查 询 是 根据 全 局 视 图 而 作 的 , 所 以 称 作 全 局 查 询 ( 全 局 请
46、 求 ) 。 当 DDBM S 接 收 到 一 个 全 局 查 询 时 , DDBM S 中 的 转 换 模 块 访 问 系 统 目 录 , 根 据 查 询 得 到 所 访 问 的 数 据 的 位 置 。 将 总 体 查 询 分 割 成 用 局 部 功 能 表 达 的 查 询 , 送 到 DDBM S 的 分 布 式 执 行 模 块 ( DE ) , DE根 据 所 得 到 的 查 询 ( 可 能 是 一 小 块 由 子 查询 组 成 的 程 序 ) 给 出 处 理 调 度 并 组 织 实 施 , 如 果 子 查 询 涉 及 本 地 的 数 据 , 则 将 子 查 询 送 到 本 地 的 局
47、部 DBM S, 否 则 通 过 通 信 线路 送 到 远 程 的 局 部 DBM S, 各 局 部 DBM S 处 理 子 查 询 并 将 结 果 送 给 DE , 由 DE 将 其 中 一 些 子 结 果 送 到 转 换 模 块 , 由 它 对 这 些 图 1. 4 分 布 式 数 据 库 组 成 及 功 能子 结 果 作 适 当 的 计 算 组 合 , 给 用 户 提 供 总 的 结 果 。 这 里 转 换 模 块 的 作 用 是 分 割 、 计 算 和 重 新 组 合 。 分 布 执 行 模 块 的 作 用 是 给 出 查 询 的 处 理 调 度 过 程 、 保 证 其 同 步 各 子
48、 查 询 的 执 行 正 确 地 实 施 、 并 作 为 DDBM S 与 网 络 通 信 的 接 口 。DDBM S 必 须 给 用 户 提 供 基 于 数 据 模 型 的 数 据 描 述 语 言 , 由 全 局 数 据 库 管 理 员( GDBA ) 使 用 这 个 语 言 定 义 全 局 模 式 。DDBM S 也 必 须 提 供 数 据 操 纵 语 言 , 使 用 户 不 必 关 心 数 据 的 分 布 而 达 其 全 局 查 询 。 在 上 面 银 行 系 统 的 例 子 中 , 将 数 据 存 放 在 银 行 系 统 使 用 频 率 最 高 的 地 方 。 这 样 就 提 高了 处 理 的 频 率 与 数 据 的 可 用 性 , 也 因 而 经 常 按 需 要 将 数 据 划 分 成 不 同 的 碎 片 , 分 布 到 不 同 的 场 所 。 将 同 一 个 用 户 不 同 性 质 的 帐 目 存 放 到 不 同 的 场 所 , 就 是 一 个 数 据 分 割 与 分 布 的 例 子 。 分 布 式 数 据 必 须 具 有 适 合 于 这 种 分 割 与 分 布 的 体 系 结 构 。在 分 布 式 数 据 库 中 , 由 于 下 面 两 个 原 因 , 经 常 需 要 将 相 同 数 据 冗 余 地 存 放 在