《数据库系统原理》课件.ppt

数 据 库 系 统 原 理 河 南 科 技 大 学 课 程 说 明 数 据 库 系 统 原 理 课 程 学 习 目 标 : 数 据 库 是 计 算 机 科 学 的 一 个 重 要 研 究 领 域 ， 是 专 门 研 究 数 据 处 理 、数 据 管 理 和 数 据 分 析 的 技 术 ， 从 20世 纪 60年 代 末 开 始 ， 经 过 40多 年 的发 展 ， 已 成 为 计 算 机 软 件 学 科 的 一 个 重 要 分 支 。 数 据 库 系 统 原 理 课 程 的 主 要 目 的 ： 使 同 学 们 了 解 数 据 库 的 基本 原 理 ， 掌 握 数 据 库 技 术 的 基 本 方 法 和 应 用 技 术 ， 能 够 有 效 的 使 用 现有 的 数 据 库 管 理 系 统 ， 掌 握 数 据 库 结 构 的 设 计 和 数 据 库 应 用 系 统 的 开发 方 式 ， 同 时 能 够 利 用 前 端 开 发 工 具 完 成 企 业 管 理 信 息 系 统 的 开 发 。 数 据 库 系 统 原 理 课 程 地 位 图 示B/S结 构 C/S结 构浏 览 器 端 ： HTML/ CSS/ JavaScript/VBScript服 务 器 端 ：ASP(.NET)/PHP/JSP C/S结 构 ：VB/VC/VC#/Delphi/Java/.NET系列数 据 库 支 持 ： SQL Server /Oracle/Sybase/MySQL/Informix/Access 两 大 语 法 体 系 ：Basic系 ： VB/VBScript/VBAC系 ： Java/JavaScript/C+/C# 参 考 教 材 介 绍 自 学 教 材 数 据 库 系 统 原 理 ， 全 国 高 等 教 育 自 学 考 试 指 导 委 员会 组 编 ， 丁 宝 康 主 编 ， 经 济 科 学 出 版 社 2007年 版 。 本 教 材 共 分 为 9章 ， 详 细 介 绍 了 数 据 库 系 统 的 基 本 原 理 、 方 法 和应 用 技 术 。 内 容 包 括 ： 数 据 库 系 统 基 本 概 念 （ 第 一 章 ） 、 数 据 库 的 设计 和 ER模 型 （ 第 二 章 ） 、 关 系 模 式 设 计 理 论 （ 第 三 章 ） 、 关 系 运 算（ 第 四 章 ） 、 SQL语 言 （ 第 五 章 ） 、 数 据 库 管 理 （ 第 六 章 ） 、 SQL Server2000简 介 及 应 用 （ 第 七 章 ） 、 PowerBuilder9.0简 介 及 应 用（ 第 八 章 ） 、 数 据 库 的 技 术 的 发 展 （ 第 九 章 ） 。 1-5章 为 学 习 重 点 ， 6-7章 各 学 校 根 据 各 自 情 况 可 选 择 教 学 。 第 一 章 数 据 库 基 础 知 识 学 习 目 的 与 要 求 ： 本 章 属 于 基 础 知 识 ， 主 要 是 对 一 些 概 念 的 理 解 和 记 忆 。 没 有 难 点 ，相 对 的 重 点 是 数 据 模 型 的 四 个 层 次 ， 数 据 库 管 理 系 统 的 功 能 ， 数 据 库系 统 的 全 局 结 构 。 考 核 知 识 点 与 考 核 要 求1.1数 据 管 理 技 术 的 发 展 阶 段 （ 识 记 ）1.2数 据 描 述 的 术 语 （ 领 会 ）1.3数 据 抽 象 的 级 别 （ 领 会 ）1.4数 据 库 管 理 系 统 (DBMS) (领 会 )1.5数 据 库 系 统 （ DBS） （ 领 会 ） 1.1 数 据 管 理 技 术 的 发 展 几 个 数 据 库 的 基 本 术 语 ： 数 据 ： 描 述 事 物 的 符 号 记 录 数 据 处 理 :是 指 从 某 些 已 知 的 数 据 出 发 ， 推 导 加 工 出 一 些 新 的 数据 ， 这 些 新 的 数 据 又 表 示 了 新 的 信 息 。 数 据 管 理 :是 指 数 据 的 收 集 、 整 理 、 组 织 、 存 储 、 维 护 、 检 索 、传 送 等 操 作 ， 这 部 分 操 作 是 数 据 处 理 业 务 的 基 本 环 节 ， 而 且 是 任 何 数据 处 理 业 务 中 必 不 可 少 的 共 有 部 分 。 数 据 管 理 技 术 ： 对 数 据 的 收 集 、 整 理 、 组 织 、 存 储 、 维 护 、 检 索 、传 送 等 操 作 ， 基 本 目 的 就 是 从 大 量 的 ， 杂 乱 无 章 的 ， 难 以 理 解 的 数 据 中 筛 选 出 有 意 义 的 数 据 。 数 据 处 理 是 与 数 据 管 理 相 联 系 的 ， 数 据 管 理 技 术 的 优 劣 ， 将 直 接影 响 数 据 处 理 的 效 率 。 1.1 数 据 管 理 技 术 的 发 展1.人 工 管 理 阶 段 （ 20世 纪 50年 代 中 期 以 前 ） ） 数 据 不 保 存 在 机 器 中 ； ） 没 有 专 用 软 件 对 数 据 进 行 管 理 ； ） 只 有 程 序 的 概 念 ， 没 有 文 件 的 概 念 ； ） 数 据 面 向 程 序 。 2. 文 件 系 统 阶 段 特 点 与 缺 陷 （ 20世 纪 50年 代 后 期 至 60年 代 中 期 ） ） 数 据 可 长 期 保 存 在 磁 盘 上 ； ） 数 据 的 逻 辑 结 构 与 物 理 结 构 有 了 区 别 ； ） 文 件 组 织 呈 现 多 样 化 ； ） 数 据 不 再 属 于 某 个 特 定 程 序 ， 可 以 重 复 使 用 ； ） 对 数 据 的 操 作 以 记 录 为 单 位 。 文 件 系 统 三 个 缺 陷 ： ） 数 据 冗 余 性 ） 数 据 不 一 致 性 ） 数 据 联 系 弱 3.数 据 库 阶 段 （ 20世 纪 60年 代 后 至 今 ） 数 据 管 理 技 术 进 入 数 据 库 阶 段 的 标 志 是 20世 纪 60年 代 末 三 件 大 事 ： ） 1968年 美 国 IBM公 司 推 出 层 次 模 型 的 IMS系 统 ； ） 1969年 美 国 CODASYL组 织 发 布 了 DBTG报 告 。 总 结 了 当 时 各 式各 样 的 数 据 库 ， 提 出 网 状 模 型 ， 尔 后 于 1971年 4月 正 式 通 过 。 ） 1970年 美 国 IBM公 司 的 E.F.Codd连 续 发 表 论 文 ， 提 出 关 系 模型 ， 奠 定 了 关 系 数 据 库 的 理 论 基 础 。 数 据 库 管 理 阶 段 特 点 ： 1)采 用 数 据 模 型 表 示 复 杂 的 数 据 结 构 ； 2)有 较 高 的 数 据 独 立 性 ； 3)数 据 库 系 统 为 用 户 提 供 了 方 便 的 用 户 接 口 。 4)数 据 库 系 统 提 供 以 下 四 个 方 面 的 数 据 控 制 功 能 ： 数 据 库 的 恢 复 ； 数 据 库 的 并 发 控 制 ； 数 据 库 的 完 整 性 ； 数 据 库 的 安 全 性 ； 5)增 加 了 系 统 的 灵 活 性 。 增 加 了 系 统 的 灵 活 性 对 数 据 的 操 作 不 一 定 以 记 录 为 单 位 ， 可 以 以数 据 项 为 单 位 。 数 据 库 技 术 中 的 四 个 名 词 :DB、 DBMS、 DBS、 数 据 库 技 术 。 其 概 念是 不 同 的 ， 要 分 清 。 DB： 数 据 库 （ Database)长 期 存 储 在 计 算 机 内 、 有 组 织 的 、 统 一管 理 的 相 关 数 据 的 集 合 。 DBMS： 数 据 库 管 理 系 统 （ Database Management System)， DBMS是 位 于 用 户 与 操 作 系 统 之 间 的 一 层 数 据 管 理 软 件 ， 为 用 户 或 应 用 程 序提 供 访 问 DB的 方 法 ， 包 括 DB的 建 立 、 查 询 、 更 新 及 各 种 数 据 控 制 。DBMS总 是 基 于 某 种 数 据 模 型 ， 可 以 分 为 层 次 型 、 网 状 型 、 关 系 型 、 面向 对 象 型 DBMS。 DBS： 数 据 库 系 统 （ Database System),DBS是 实 现 有 组 织 地 、 动态 地 存 储 大 量 关 联 数 据 ， 方 便 多 用 户 访 问 的 计 算 机 软 件 、 硬 件 和 数 据 资 源 组 成 的 系 统 ， 即 采 用 了 数 据 库 技 术 的 计 算 机 系 统 。 数 据 库 技 术 ： 是 一 门 研 究 数 据 库 结 构 、 存 储 、 管 理 和 使 用 的 一 门软 件 学 科 。 4.高 级 数 据 库 阶 段 ： ） 面 向 对 象 的 概 念 建 模 ） 开 放 数 据 库 互 连 技 术 1.2 数 据 描 述 在 数 据 处 理 中 ， 数 据 描 述 将 涉 及 不 同 的 范 畴 。 从 事 物 的 特 性 到 计算 机 中 的 具 体 表 示 ， 数 据 描 述 经 历 了 三 个 阶 段 概 念 设 计 、 逻 辑设 计 和 物 理 设 计 。 1.概 念 设 计 中 的 的 数 据 描 述 ） 实 体 ） 实 体 集 ） 属 性 ） 实 体 标 识 符2.逻 辑 设 计 中 的 数 据 描 述 ） 字 段 ） 记 录 ） 文 件 ） 关 键 码 3.物 理 设 计 中 的 数 据 描 述物 理 存 储 介 质 层 次 ） 高 速 缓 冲 存 储 器 ） 主 存 储 器 ） 快 擦 写 存 储 器 ） 磁 盘 存 储 器 ） 光 盘 存 储 器 ） 磁 带物 理 存 储 中 的 数 据 描 述 位 、 字 节 、 字 、 块 、 桶 和 卷 。 4.数 据 联 系 的 描 述 联 系 及 元 数 定 义 ： 二 元 联 系 有 以 下 三 种 类 型 ： 1： 1联 系 ： 如 果 实 体 集 E1中 的 每 个 实 体 最 多 只 能 和 实 体 集 E2中的 一 个 实 体 有 联 系 ， 反 之 亦 然 ， 好 么 实 体 集 E1对 E2的 联 系 称 为 “ 一 对一 联 系 ” ， 记 为 “ 1： 1”。 1： N联 系 ： 如 果 实 体 集 E1中 每 个 实 体 与 实 体 集 E2中 任 意 个 （ 零个 或 多 个 ） 实 体 有 联 系 ， 而 E2中 每 个 实 体 至 多 和 E1中 的 一 个 实 体 有 联系 ， 那 么 E1对 E2的 联 系 是 “ 一 对 多 联 系 ” ， 记 为 “ 1： N”。 M： N联 系 ： 如 果 实 体 集 E1中 每 个 实 体 与 实 体 集 E2中 任 意 个 （ 零 个 或 多 个 ） 实 体 有 联 系 ， 反 之 亦 然 ， 那 么 E1对 E2的 联 系 是 “ 多 对 多 联系 ” ， 记 为 “ M： N”。 1.3 数 据 抽 象 的 级 别1.数 据 抽 象 的 过 程根 据 抽 象 的 级 别 定 义 了 四 种 模 型 ： ） 概 念 数 据 模 型 ） 逻 辑 数 据 模 型 ） 外 部 数 据 模 型 ） 内 部 数 据 模 型 2.概 念 模 型 ） 四 种 模 型 中 ， 概 念 模 型 的 抽 象 级 别 最 高 。 ） 概 念 模 型 的 特 点 :(p12) 3.逻 辑 模 型逻 辑 模 型 的 特 点 :(p13)（ 1） （ 4）逻 辑 模 型 的 分 类 ： ） 层 次 模 型 ） 网 状 模 型 ） 关 系 模 型三 种 逻 辑 数 据 模 型 的 比 较 ？ 如 P17图 4.外 部 模 型 外 部 模 型 的 特 点 :(p17) 从 整 个 系 统 考 察 ， 外 部 模 型 的 优 点 。 5.内 部 模 型 是 数 据 库 最 底 的 抽 象 ， 它 描 述 数 据 在 磁 盘 或 磁 带 上 的 存 储 方 式 、存 取 设 备 和 存 取 方 法 。 6.三 层 模 式 和 两 级 映 象 三 层 模 式 体 系 结 构 ） 外 模 式 ： 是 用 户 与 数 据 库 系 统 的 接 口 ， 是 用 户 用 到 的 那 部 分数 据 的 描 述 。 ） 逻 辑 模 式 ： 是 数 据 库 中 全 部 数 据 的 整 体 逻 辑 结 构 的 描 述 。 ） 内 模 式 ： 是 数 据 库 在 物 理 存 储 方 面 的 描 述 ， 定 义 所 有 内 部 记录 类 型 、 索 引 和 文 件 的 组 织 方 式 ， 以 及 数 据 控 制 方 面 的 细 节 。 两 级 映 象 外 模 式 /逻 辑 模 式 映 象 ： 用 于 定 义 概 念 模 式 和 内 模 式 之 间 的 对 应性 。 一 般 在 内 模 式 中 描 述 。 逻 辑 模 式 /内 模 式 映 象 ： 用 于 定 义 外 模 式 和 概 念 模 式 间 的 对 应 性 。一 般 在 外 模 式 中 描 述 。 7.高 度 的 数 据 独 立 性 什 么 叫 数 据 独 立 性 ？ 是 指 应 用 程 序 和 数 据 库 的 数 据 结 构 之 间 相 互 独 立 ， 不 受 影 响 。 在修 改 数 据 结 构 时 ， 尽 可 能 不 修 改 应 用 程 序 ， 则 称 系 统 达 到 了 数 据 独 立性 目 标 。 数 据 独 立 性 分 为 物 理 数 据 独 立 性 和 逻 辑 数 据 独 立 性 ： 物 理 数 据 独 立 性 ： 修 改 内 模 式 时 尽 量 不 影 响 概 念 模 式 及 外 模 式 ，则 达 到 物 理 数 据 独 立 性 。 逻 辑 数 据 独 立 性 ： 修 改 概 念 模 式 时 尽 量 不 影 响 外 模 式 和 应 用 程 序 。 1.4 数 据 库 管 理 系 统 （ DBMS） 1.DBMS的 目 标 与 任 务 ：数 据 库 管 理 系 统 的 主 要 任 务 是 完 成 用 户 对 数 据 库 的 存 取 请 求 ， 即检 索 、 插 入 、 更 新 或 删 除 等 操 作 。 DBMS的 目 标 ： 用 户 界 面 友 好 、 功 能 完 善 、 结 构 清 晰 、 高 效 率 、 开放 性 2.DBMS的 工 作 模 式 (p20图 ) 3.DBMS的 主 要 功 能 ： ） 数 据 库 的 定 义 功 能 ） 数 据 库 的 操 纵 功 能 ） 数 据 库 的 保 护 功 能 （ 数 据 库 恢 复 、 数 据 库 并 发 控 制 、 数 据库 完 整 性 和 数 据 库 安 全 性 ） ） 数 据 库 的 维 护 功 能 ） 数 据 字 典 1.5 数 据 库 系 统 (DBS)1.DBS由 四 部 分 组 成 ： 数 据 库 、 硬 件 、 软 件 、 数 据 库 管 理 员 。2.数 据 库 管 理 员 定 义 及 职 责 。 (素 质 +职 责 )3.DBS的 全 局 结 构 及 DBS的 效 益 。 （ 数 据 库 用 户 +界 面 +DBMS+磁 盘+DBS的 效 益 ） 本 章 结 束 第 二 章 数 据 库 设 计 和 ER模 型 学 习 目 的 与 要 求 ： 本 章 总 的 目 的 要 求 是 了 解 和 掌 握 数 据 库 应 用 系 统 设 计 的 全 过 程 。首 先 掌 握 ER模 型 和 关 系 模 型 的 基 本 概 念 ， 然 后 掌 握 概 念 设 计 中 ER模 型的 设 计 方 法 ， 逻 辑 设 计 中 ER模 型 向 关 系 模 型 转 换 方 法 。 考 核 知 识 点 与 考 核 要 求2.1数 据 库 系 统 生 存 期 （ 领 会 ）2.2ER模 型 的 基 本 概 念 （ 综 合 应 用 ）2.3关 系 模 型 的 基 本 概 念 （ 综 合 应 用 ）2.4ER模 型 到 关 系 模 型 的 转 换 规 则 （ 综 合 应 用 ）2.5ER模 型 实 例 分 析 （ 简 单 应 用 ）2.6增 强 ER模 型 （ 简 单 应 用 ） 从 软 件 生 存 期 谈 起 软 件 生 存 期 ： 是 指 从 软 件 的 规 划 、 研 制 、 实 现 、 投 入 运 行 后 的 维护 、 直 到 它 被 新 的 软 件 所 取 代 而 停 止 使 用 的 整 个 期 间 。 它 包 括 六 个 阶段 ： ( 规 需 设 编 试 运 维 ) (1)规 划 阶 段 (2)需 求 分 析 阶 段 (3)设 计 阶 段 (4)程 序 编 制 阶 段 (5)调 试 阶 段 (6)运 行 维 护 阶 段 2.1 数 据 系 统 生 存 期 1.什 么 叫 数 据 库 系 统 生 存 期 ？ 我 们 把 数 据 库 应 用 系 统 从 开 始 规 划 、 设 计 、 实 现 、 维 护 到 最 后 被新 的 系 统 取 代 而 停 止 使 用 的 整 个 期 间 ， 称 为 数 据 库 系 统 生 存 期 。 2.这 个 生 存 期 一 般 可 划 分 成 以 下 七 个 阶 段 ： 规 划 、 需 求 分 析 、 概 念 设 计 、 逻 辑 设 计 、 物 理 设 计 、 实 现 、 运 行维 护 。 .2 ER模 型 的 基 本 概 念1.ER模 型 的 基 本 元 素实 体 、 联 系 和 属 性2.属 性 的 分 类 (简 单 属 性 和 复 合 属 性 、 单 值 属 性 和 多 值属 性 、 存 储 属 性 和 派 生 属 性 )3.联 系 的 设 计4.ER模 型 的 操 作 （ 分 裂 、 合 并 和 增 删 ） 5.采 用 ER模 型 的 数 据 库 概 念 设 计 步 骤采 用 ER方 法 进 行 数 据 库 概 念 设 计 分 成 三 步 进 行 ： 首 先 设 计 局 部 ER模 式 然 后 把 各 局 部 ER模 式 综 合 成 全 局 ER模 式 最 后 对 全 局 ER模 式 进 行 优 化 2.3 关 系 模 型 的 基 本 概 念 .关 系 模 型 定 义 ： 用 二 维 表 格 结 构 表 示 实 体 集 、 外 键 表 示 实 体 间联 系 的 数 据 模 型 称 为 关 系 模 型 。 2.基 本 术 语 有 ： 字 段 (属 性 )、 字 段 值 (属 性 值 )、 记 录 (元 组 )、 二维 表 格 (元 组 集 合 、 关 系 或 实 例 )。 在 这 里 ， 括 号 中 的 表 述 为 关 系 模 型中 的 术 语 。 它 与 表 格 中 术 语 可 以 一 一 对 应 。 还 有 ， 关 系 中 属 性 个 数 称为 元 数 ， 元 组 个 数 为 基 数 。 3.键 ： 由 一 个 或 几 个 属 性 组 成 。 (注 意 键 不 一 定 是 唯 一 的 一 个 属性 )。 1)超 键 ： 在 关 系 中 能 唯 一 标 识 元 组 的 属 性 集 称 为 关 系 模 式 的 超 键 。(注 意 ， 超 键 也 是 一 个 属 性 集 ， 不 一 定 只 是 一 个 属 性 ) 2)候 选 键 ： 不 含 有 多 余 属 性 的 超 键 称 为 候 选 键 。 3)主 键 ： 用 户 选 作 元 组 标 识 的 一 个 候 选 键 为 主 键 。 4)外 键 ： 某 个 关 系 的 主 键 相 应 的 属 性 在 另 一 关 系 中 出 现 ， 此 时 该主 键 在 就 是 另 一 关 系 的 外 键 ， 如 有 两 个 关 系 S和 SC,其 中 S#是 关 系 S的主 键 ， 相 应 的 属 性 S#在 关 系 SC中 也 出 现 ， 此 时 S#就 是 关 系 SC的 外 键 。 .关 系 的 定 义 和 性 质 ） 关 系 定 义 ： 关 系 是 一 个 属 性 数 目 相 同 的 元 组 的 集 合 。 ） 关 系 性 质 (p53) 5.三 类 完 整 性 规 则 ） 实 体 完 整 性 规 则 ： 要 求 关 系 中 组 成 主 键 的 属 性 上 不 能 有 空 值 。 ） 参 照 完 整 性 规 则 ： 要 求 不 引 用 不 存 在 的 实 体 。 ） 用 户 定 义 完 整 性 规 则 ： 由 具 体 应 用 环 境 决 定 ， 系 统 提 供 定 义和 检 验 这 类 完 整 性 的 机 制 。 2.4 E-R模 型 向 关 系 模 型 的 转 换 E-R模 型 可 以 向 现 有 的 各 种 数 据 库 模 型 转 换 ， 对 不 同 的 数 据 库 模 型 有 不 同 的转 换 规 则 。 这 里 只 讨 论 E-R模 型 向 关 系 模 型 的 转 换 方 法 。 1.E-R模 型 向 关 系 模 型 的 转 换 规 则 ： （ 1） 实 体 类 型 的 转 换 将 每 个 实 体 类 型 转 换 成 一 个 关 系 模 式 ， 实 体 的 属 性 即 为 关 系 的 属 性 ， 实 体标 识 符 即 为 关 系 的 键 。 （ 2） 联 系 类 型 的 转 换 1)实 体 间 的 联 系 是 1:1 可 以 在 两 个 实 体 类 型 转 换 成 两 个 关 系 模 式 中 的 任 意 一 个 关 系 模 式 的 属 性 中加 入 另 一 个 关 系 模 式 的 键 和 联 系 类 型 的 属 性 。 系 关 系 模 式 （ 系 名 ， 地 址 ， 电 话 ，系 主 任 名 ， 任 职 年 月 ）系 主 任 关 系 模 式 （ 姓 名 ， 性 别 ， 年 龄 ，职 称 ）职称11系主任系姓名性别年龄校名地址任职年月主 管电话系 主 任 关 系 模 式 （ 姓 名 ， 性 别 ， 年 龄 ，职 称 ， 系 名 ， 任 职 年 月 ）系 关 系 模 式 （ 系 名 ， 地 址 ， 电 话 ） N1工号年龄职工车间姓名性别车间号车间名电话聘 用聘期 2)如 实 体 间 的 联 系 是 1:N 则 在 N端 实 体 类 型 转 换 成 的 关 系 模 式 中 加 入 1端 实 体 类 型 转 换 成 的关 系 模 式 的 键 和 联 系 类 型 的 属 性 。 车 间 关 系 模 式 （ 车 间 号 ， 车 间 名 ，电 话 ）职 工 关 系 模 式 （ 工 号 ， 姓 名 ， 性 别 ，年 龄 ， 车 间 号 ， 聘 期 ） 3)如 实 体 间 的 联 系 是 M:N 则 将 联 系 类 型 也 转 换 成 关 系 模 式 ， 其 属 性 为 两 端 实 体 类 型 的 键 加上 联 系 类 型 的 属 性 ， 而 键 为 两 端 实 体 键 的 组 合 。 学 生 关 系 模 式 S(S#， SNAME， AGE， SEX)课 程 关 系 模 式 C(C#， CNAME， TEACHE-R)GRADESCMNSS# SNAME AGESEXCC# CNAMETEACHE-R 学 生 课 程 关 系 模 式 SC (S#， C#， GRADE） 以 上 各 转 换 规 则 ， 给 出 了 一 般 情 况 下 E-R模 型 向 关 系 模 型 的 转 换方 法 。 但 在 实 际 应 用 中 往 往 还 需 要 根 具 实 际 情 况 进 行 具 体 处 理 。 下 面 以 图 书 借 阅 系 统 的 E-R模 型 转 换 为 关 系 模 型 为 例 。 借期借阅MN读者编号姓名读者类型已借数量图书编号书名出版社还期 该 例 中 ， 由 于 允 许 同 一 本 书 在 不 同 的 时 间 借 给 多 个 读 者 ， 特 别 是一 个 读 者 在 不 同 的 时 间 可 以 借 同 一 本 书 。 因 而 ， 在 多 对 多 联 系 “ 借 阅 ”转 换 为 关 系 模 式 时 ， 仅 有 读 者 的 编 号 和 图 书 的 编 号 是 不 能 构 成 码 的 。 例 如 ： （ 0406010， F33.33,2006-10-10:10:10,2007-02-20:3:00）(0406010,F33.33,2007-5-26： 4： 00,NULL) 借期借阅MN读者编号姓名读者类型已借数量图书编号书名出版社还期读 者 关 系 模 式 读 者(编 号 ， 书 名 ， 出 版 社 ， 出 版 日 期 ， 定 价 )读 者 图 书 关 系 模 式 借 阅 (读 者 编 号 ， 图 书 编 号 ， 借 期 ， 还 期 ）图 书 关 系 模 式 图 书(编 号 ， 姓 名 ， 读 者 类 型 ， 已 借 数 量 ) 说 明 ， 按 照 上 述 介 绍 的 转 换 方 法 得 到 的 关 系 模 型 不 一 定 是 最 好 的 。实 际 应 用 中 ， 往 往 还 要 对 得 到 的 关 系 模 型 进 行 规 范 化 。 2.5和 2.6实 例 分 析 ， 同 学 们 多 看 书 ！1.库 存 管 理 系 统 的 ER模 型 及 转 换2.人 事 管 理 信 息 系 统 的 ER模 型3.住 院 管 理 信 息 系 统 的 ER模 型4.公 司 车 队 信 息 系 统 的 ER模 型 本 章 结 束 第 三 章 关 系 模 式 设 计 理 论 学 习 目 的 与 要 求 ： 本 章 特 点 是 理 论 性 较 强 ， 学 习 者 应 从 概 念 着 手 ， 搞 清 概 念 间 的 联系 和 作 用 。 本 章 总 的 要 求 是 ： 了 解 关 系 数 据 库 规 范 化 理 论 及 其 在 数 据 库 设 计中 的 作 用 。 本 章 的 重 点 是 函 数 依 赖 、 无 损 分 解 、 保 持 依 赖 和 范 式 。 掌 握 这 些概 念 并 能 运 用 它 们 分 析 模 式 分 解 的 特 点 。 考 核 知 识 点 与 考 核 要 求 3.1关 系 模 式 的 设 计 准 则 （ 简 单 应 用 ） 3.2函 数 依 赖 (FD)（ 简 单 应 用 ） 3.3关 系 模 式 的 分 解 特 性 （ 简 单 应 用 ） 3.4范 式 1NF、 2NF、 3NF（ 简 单 应 用 ） BCNF（ 领 会 ） 分 解 成 BCNF模 式 集 的 “ 分 解 算 法 ” (识 记 ) 分 解 成 3NF模 式 集 的 “ 合 成 算 法 ” (综 合 应 用 ) 模 式 设 计 方 法 小 结 （ 领 会 ） 3.5多 值 依 赖 和 第 四 范 式 （ 识 记 ） 3.1 关 系 模 式 的 设 计 准 则1.关 系 模 式 的 冗 余 和 异 常 问 题 ） 数 据 冗 余 ） 操 作 异 常 （ 修 改 异 常 、 插 入 异 常 和 删 除 异 常 ） 2.关 系 模 式 的 非 形 式 化 设 计 准 则 ） 关 系 模 式 的 设 计 应 尽 可 能 只 包 含 有 直 接 联 系 的 属 性 ， 不 包 括有 间 接 联 系 的 属 性 ） 关 系 模 式 的 设 计 应 尽 可 能 使 得 相 应 关 系 中 不 出 现 插 入 、 删 除和 修 改 异 常 。 ） 关 系 模 式 的 设 计 应 尽 可 能 使 得 相 应 关 系 中 避 免 放 置 经 常 为 空值 的 属 性 。 ） 关 系 模 式 的 设 计 应 尽 可 能 使 得 关 系 的 等 值 连 接 在 主 键 和 外 键的 属 性 上 进 行 ， 并 且 保 证 连 接 以 后 不 会 生 成 额 外 的 元 组 。 3.2 函 数 依 赖 1.函 数 依 赖 的 定 义 设 有 关 系 模 式 R(A1， A2， .An)或 简 记 为 R(U)， X， Y是 U的 子 集 ，r是 R的 任 一 具 体 关 系 ， 如 果 对 r的 任 意 两 个 元 组 t1,t2,由 t1X=t2X导 致 t1Y=t2Y， 则 称 X函 数 决 定 Y， 或 Y函 数 依 赖 于 X， 记 为 X Y。X Y为 模 式 R的 一 个 函 数 依 赖 。 这 个 定 义 可 以 这 样 理 解 ： 有 一 张 设 计 好 的 二 维 表 ， X， Y是 表 的 某些 列 (可 以 是 一 列 ， 也 可 以 是 多 列 )， 若 在 表 中 的 第 t1行 ， 和 第 t2行 上的 X值 相 等 ， 那 么 必 有 t1行 和 t2行 上 的 Y值 也 相 等 ， 这 就 是 说 Y函 数 依赖 于 X。 2.函 数 依 赖 的 逻 辑 蕴 涵 设 F是 关 系 模 式 R的 一 个 函 数 依 赖 集 ， X,Y是 R的 属 性 子 集 ， 如 果 从F中 的 函 数 依 赖 能 够 推 出 X Y， 则 称 F逻 辑 蕴 涵 X Y， 记 为 F|=X Y。 而 函 数 依 赖 的 闭 包 F + 是 指 被 F逻 辑 蕴 涵 的 函 数 依 赖 的 全 体 构 成的 集 合 。 3.键 和 FD的 关 系 键 是 唯 一 标 识 实 体 的 属 性 集 。 对 于 键 和 函 数 依 赖 的 关 系 ： 有 两 个条 件 ： 设 关 系 模 式 R(A1,A2.An)， F是 R上 的 函 数 依 赖 集 ， X是 R的 一个 子 集 ： 1X A1A2.An F +（ 它 的 意 思 是 X能 够 决 定 唯 一 的 一 个 元 组 ） 2不 存 在 X的 真 子 集 Y， 使 得 Y也 能 决 定 唯 一 的 一 个 元 组 ， 则 X就是 R的 一 个 候 选 键 。 (它 的 意 思 是 X能 决 定 唯 一 的 一 个 元 组 但 又 没 有 多余 的 属 性 集 ) 包 含 在 任 何 一 个 候 选 键 中 的 属 性 称 为 主 属 性 ， 不 包 含 在 任 何 键 中的 属 性 为 非 主 属 性 (非 键 属 性 )， （ 注 意 ） 主 属 性 应 当 包 含 在 候 选 键中 。 4.函 数 依 赖 (FD)的 推 理 规 则 前 面 我 们 举 的 例 子 中 是 以 实 际 经 验 来 确 定 一 个 函 数 依 赖 的 逻 辑 蕴涵 ， 但 是 我 们 需 要 一 个 推 理 规 则 才 能 完 全 确 定 F或 F+的 所 有 函 数 依 赖 。 设 有 关 系 模 式 R(U)， X， Y， Z， W均 是 U的 子 集 ， F是 R上 只 涉 及 到 U中 属 性 的 函 数 依 赖 集 ， 推 理 规 则 如 下 ： A1自 反 性 ： 如 果 Y X U,则 X Y在 R上 成 立 。 A2增 广 性 ： 如 果 X Y为 F所 蕴 涵 ， Z U， 则 XZ YZ在 R上 成 立 。(XZ表 示 X Z， 下 同 ) A3传 递 性 ： 如 果 X Y和 Y Z在 R上 成 立 ， 则 X Z在 R上 成 立 。 A4合 并 性 ： 如 果 X Y和 X Z成 立 ， 那 么 X YZ成 立 。A6分 解 性 ： 如 果 X Y和 Z Y成 立 ， 那 么 X Z成 立 。A5伪 传 性 ： 如 果 X Y和 WY Z成 立 ， 那 么 WX Z成 立 。A7复 合 性 ： X Y， W Z |=XW YZ。A8通 用 一 致 性 定 理 ： X Y， W Z |=x (X-Y) YZ。 5.函 数 依 赖 推 理 规 则 的 完 备 性 函 数 依 赖 推 理 规 则 系 统 (自 反 性 、 增 广 性 和 传 递 性 )是 完 备 的 。 由推 理 规 则 的 完 备 性 可 得 到 两 个 重 要 结 论 ： 1属 性 集 X + 中 的 每 个 属 性 A， 都 有 X A被 F逻 辑 蕴 涵 ， 即 X + 是所 有 由 F逻 辑 蕴 含 X A的 属 性 A的 集 合 。 2F+ 是 所 有 利 用 Amstrong推 理 规 则 从 F导 出 的 函 数 依 赖 的 集 合 。 6.函 数 依 赖 集 的 等 价 和 覆 盖 在 关 系 模 式 R(U)上 的 两 个 函 数 依 赖 集 F和 G， 如 果 满 足 F + =G + ，则 称 F和 G是 等 价 的 ， 称 F和 G等 价 也 称 F 覆 盖 G或 G覆 盖 F。 每 个 函 数 依 赖 集 F都 可 以 被 一 个 右 部 只 有 单 属 性 的 函 数 依 赖 集 G所覆 盖 。 如 果 函 数 依 赖 集 合 F满 足 ： (1)F中 每 一 个 函 数 依 赖 的 右 部 都 是 单 属 性 ； (2)F中 的 任 一 函 数 依 赖 X A， 其 F-X A是 不 等 价 的 ； (3)F中 的 任 一 函 数 依 赖 X A， Z为 X的 子 集 。 (F-X A) Z A与F不 等 价 。 则 称 F为 最 小 函 数 依 赖 集 合 。 如 果 函 数 依 赖 集 F和 G等 价 ， 并 且 G是 最 小 集 ， 那 么 称 G是 F的 一 个 最 小 覆 盖 。 这 一 段 并 不 要 求 掌 握 最 小 集 的 求 法 ， 但 是 应 当 通 过 其 求 法 理 解 最小 集 的 概 念 。 3.3 关 系 模 式 分 解 特 性 1.模 式 分 解 中 存 在 的 问 题 模 式 分 解 就 是 将 一 个 泛 关 系 模 式 R分 解 成 数 据 库 模 式 ， 以 代 替 R的过 程 。 它 不 仅 仅 是 属 性 集 合 的 分 解 ， 它 是 对 关 系 模 式 上 的 函 数 依 赖 集 、以 及 关 系 模 式 的 当 前 值 分 解 的 具 体 表 现 。 分 解 一 个 模 式 有 很 多 方 法 ， 但 是 有 的 分 解 会 出 现 失 去 函 数 依 赖 、或 出 现 插 入 、 删 除 异 常 等 情 况 ， 而 有 的 分 解 则 不 出 现 相 关 问 题 。 衡 量 一 个 分 解 的 标 准 有 三 种 ： 分 解 具 有 无 损 联 接 ； 分 解 要 保 持函 数 依 赖 ； 分 解 既 要 保 持 依 赖 ， 又 要 具 有 无 损 联 接 。 那 么 什 么 是 无 损 联 接 呢 ?什 么 又 是 保 持 依 赖 ? 2.无 损 联 接 的 定 义 和 性 质 设 R是 一 关 系 模 式 ， 分 解 成 =R1,R2， .,Rk， F是 R上 的 一 个函 数 依 赖 集 。 无 损 联 接 就 是 指 R中 每 一 个 满 足 F的 关 系 r(也 就 是 一 个 关系 实 例 )都 有 r= R1 (r)|X| R2 (r).|X| R3 (r)， 即 r为 它 在Ri上 的 投 影 的 自 然 联 接 。 最 简 单 的 理 解 ， 也 就 是 说 ， 分 解 后 的 关 系 自 然 连 接 后 完 全 等 于 分 解 前 的 关 系 ， 则 这 个 分 解 相 对 于 F是 无 损 联 接 分 解 。 设 R的 分 解 为 =R1,R2,F为 R所 满 足 的 函 数 依 赖 集 ， 则 分 解 具有 无 损 联 接 性 的 充 分 必 要 条 件 是 ： R1 R2 (R1-R2) R1 R2 (R2-R1) 也 就 是 说 ， 分 解 后 的 两 个 模 式 的 交 能 决 定 这 两 个 模 式 的 差 集 ， 即R1、 R2的 公 共 属 性 能 够 函 数 决 定 R1或 R2中 的 其 他 属 性 ， 这 样 的 分 解 就必 定 是 无 损 联 接 分 解 。 3.保 持 函 数 依 赖 的 分 解 在 分 解 过 程 中 ， 要 求 模 式 分 解 的 无 损 联 接 是 必 要 的 ， 只 有 无 损 联接 分 解 才 能 保 证 任 何 一 个 关 系 能 由 它 的 那 些 投 影 进 行 自 然 联 接 得 到 恢复 。 同 时 ， 分 解 关 系 模 式 时 还 应 保 证 关 系 模 式 的 函 数 依 赖 集 在 分 解 后仍 在 数 据 库 模 式 中 保 持 不 变 ， 这 就 是 保 持 函 数 依 赖 的 问 题 。 也 就 是 所有 分 解 出 的 模 式 所 满 足 的 函 数 依 赖 的 全 体 应 当 等 价 于 原 模 式 的 函 数 依赖 集 。 只 有 这 样 才 能 确 保 整 个 数 据 库 中 数 据 的 语 义 完 整 性 不 受 破 坏 。 3.4 范 式 1.1NF、 2NF、 3NF、 BCNF的 定 义 ： 1NF： 第 一 范 式 即 关 系 模 式 中 的 属 性 的 值 域 中 每 一 个 值 都 是 不 可 再 分 解 的 值 。 如果 某 个 数 据 库 模 式 都 是 第 一 范 式 的 ， 则 称 该 数 据 库 模 式 是 属 于 第 一 范式 的 数 据 库 模 式 。 2NF： 第 二 范 式 如 果 关 系 模 式 R为 第 一 范 式 ， 并 且 R中 每 一 个 非 主 属 性 完 全 函 数 依赖 于 R的 某 个 候 选 键 ， 则 称 为 第 二 范 式 模 式 。 非 主 属 性 、 完 全 函 数 依 赖 、 候 选 键 三 个 名 词 的 含 义 。 候 选 键 就 是 指 可 以 唯 一 决 定 关 系 模 式 R中 某 元 组 值 且 不 含 有 多 余属 性 的 属 性 集 。 非 主 属 性 也 就 是 非 键 属 性 ， 指 关 系 模 式 R中 不 包 含 在 任 何 建 中 的属 性 。 设 有 函 数 依 赖 W A， 若 存 在 X W， 有 X A成 立 ， 那 么 称 W A是 局部 依 赖 ， 否 则 就 称 W A是 完 全 函 数 依 赖 。 在 分 析 是 否 为 第 2范 式 时 ， 应 首 先 确 定 候 选 键 ， 然 后 把 关 系 模 式 中 的非 主 属 性 与 键 的 依 赖 关 系 进 行 考 察 ， 是 否 都 为 完 全 函 数 依 赖 ， 如 是 ，则 此 关 系 模 式 为 2NF。 如 果 数 据 库 模 式 中 每 个 关 系 模 式 都 是 2NF的 ， 则 此 数 据 库 模 式 属 于 2NF的 数 据 库 模 式 。 3NF： 第 三 范 式 如 果 关 系 模 式 R是 第 二 范 式 ， 且 每 个 非 主 属 性 都 不 传 递 依 赖 于 R的候 选 键 ， 则 称 R为 第 三 范 式 的 模 式 。 这 里 首 先 要 了 解 传 递 依 赖 的 含 义 ： 在 关 系 模 式 中 ， 如 果 Y X，X A， 且 X不 决 定 Y和 A不 属 于 X， 那 么 Y A是 传 递 依 赖 。 注 意 的 是 ， 这 里 要 求 非 主 属 性 都 不 传 递 依 赖 于 候 选 键 。 BCNF： 这 个 范 式 和 第 三 范 式 有 联 系 ， 它 是 3NF的 改 进 形 式 。 若 关 系 模 式 R是 第 一 范 式 ， 且 每 个 属 性 都 不 传 递 依 赖 于 R的 候 选 键 。 这 种 关 系 模 式就 是 BCNF模 式 。 纵 观 四 种 范 式 ， 可 以 发 现 它 们 之 间 存 在 如 下 关 系 ： 5.分 解 成 BCNF模 式 集 的 算 法 对 于 任 一 关 系 模 式 ， 可 找 到 一 个 分 解 达 到 3NF， 且 具 有 无 损 联 接和 保 持 函 数 依 赖 性 。 而 对 于 BCNF分 解 ， 则 可 以 保 证 无 损 联 接 但 不 一 定能 保 证 保 持 函 数 依 赖 集 。 无 损 联 接 分 解 成 BCNF模 式 集 的 算 法 ： (1)置 初 值 =R; (2)如 果 中 所 有 关 系 模 式 都 是 BCNF， 则 转 (4); (3)如 果 中 有 一 个 关 系 模 式 S不 是 BCNF， 则 S中 必 能 找 到 一 个 函数 依 赖 集 X A有 X不 是 S的 键 ， 且 A不 属 于 X， 设 S1 =XA， S2 =S-A， 用分 解 S1 ,S2 代 替 S， 转 (2)； (4)分 解 结 束 。 输 出 。 在 这 个 过 程 中 ， 重 点 在 于 (3)步 ， 判 断 哪 个 关 系 不 是 BCNF， 并 找到 X和 A。 这 里 ， S的 判 断 用 BCNF的 定 义 ， 而 X不 是 S的 键 则 依 靠 分 析 。 6.分 解 成 3NF模 式 集 算 法 ： (1)如 果 R中 的 某 些 属 性 在 F的 所 有 依 赖 的 左 边 和 右 边 都 不 出 现 ，那 么 这 些 属 性 可 以 从 R中 分 出 去 ， 单 独 构 成 一 个 关 系 模 式 。 (2)如 果 F中 有 一 个 依 赖 X A有 XA R， 则 =R， 转 (4) (3)对 于 F中 每 一 个 X A， 构 成 一 个 关 系 模 式 XA， 如 果 F有 有 X A 1 ， X A 2 .X A n ,则 可 以 用 模 式 XA 1 A 2 .A n 代 替 n个 模式 XA 1 ,XA 2 .XA n ; (4)w分 解 结 束 ， 输 入 。 这 个 过 程 的 重 点 是 这 一 句 “ 对 于 F中 每 一 个 X A， 构 成 一 个 关 系 模 式 XA” ， 这 使 我 们 的 分 解 十 分 容 易 ， 然 后 依 据 合 并 律 (合 并 律 ： 如果 X Y和 X Z成 立 ， 那 么 X YZ成 立 )将 有 关 模 式 合 并 即 得 到 所 需 3NF模 式 。 7.模 式 设 计 方 法 的 原 则 关 系 模 式 R相 对 于 函 数 依 赖 集 F分 解 成 数 据 库 模 式 =R 1 ,R 2 .R k ， 一 般 具 有 下 面 四 项 特 性 ： 中 每 个 关 系 模 式 R i上 应 具 有 某 种 范 式 性 质 (3NF或 BCNF) 无 损 联 接 性 。 保 持 函 数 依 赖 集 。 最 小 性 ， 即 中 模 式 个 数 应 最 少 且 模 式 中 属 性 总 数 应 最 少 。 一 个 好 的 模 式 设 计 方 法 应 符 合 下 列 三 条 原 则 ： 表 达 性 分 离 性 最 小 冗 余 性 8.多 值 依 赖 与 第 四 范 式 （ 4NF） 例 : 学 校 中 某 一 门 课 程 由 多 个 教 师 讲 授 ， 他 们 使 用 相 同 的 一 套 参 考书 。 关 系 模 式 Teaching(C, T, B) 课 程 C、 教 师 T 和 参 考 书 B 课 程 C 教 员 T 参 考 书 B 物 理 数 学 计 算 数 学 李 勇王 军 李 勇张 平 张 平周 峰 普 通 物 理 学光 学 原 理 物 理 习 题 集 数 学 分 析微 分 方 程高 等 代 数 数 学 分 析 表 5.1 普 通 物 理 学光 学 原 理物 理 习 题 集普 通 物 理 学光 学 原 理物 理 习 题 集数 学 分 析微 分 方 程高 等 代 数数 学 分 析微 分 方 程高 等 代 数李 勇李 勇李 勇王 军王 军王 军李 勇李 勇李 勇张 平张 平张 平 物 理物 理物 理物 理物 理物 理数 学数 学数 学数 学数 学数 学 参 考 书 B教 员 T课 程 C 用 二 维 表 表 示 Teaching 多 值 依 赖 与 第 四 范 式 Teaching BCNF: Teach具 有 唯 一 候 选 码 (C， T， B)， 即 全 码 Teaching模 式 中 存 在 的 问 题 (1)数 据 冗 余 度 大 ： 有 多 少 名 任 课 教 师 ， 参 考 书 就 要 存 储 多 少 次 。 (2)插 入 操 作 复 杂 ： 当 某 一 课 程 增 加 一 名 任 课 教 师 时 ， 该 课 程 有多 少 本 参 照 书 ， 就 必 须 插 入 多 少 个 元 组 。 例 如 物 理 课 增 加 一 名 教 师 刘 关 ， 需 要 插 入 两 个 元 组 ： （ 物 理 ， 刘 关 ， 普 通 物 理 学 ） （ 物 理 ， 刘 关 ， 光 学 原 理 ） (3) 删 除 操 作 复 杂 ： 某 一 门 课 要 去 掉 一 本 参 考 书 ， 该 课 程 有 多 少名 教 师 ， 就 必 须 删 除 多 少 个 元 组 。 (4) 修 改 操 作 复 杂 ： 某 一 门 课 要 修 改 一 本 参 考 书 ， 该 课 程 有 多 少名 教 师 ， 就 必 须 修 改 多 少 个 元 组 。 产 生 原 因 存 在 多 值 依 赖 。 1)多 值 依 赖 设 R(U)是 一 个 属 性 集 U上 的 一 个 关 系 模 式 ， X、 Y和 Z是 U的 子集 ， 并 且 Z U X Y， 多 值 依 赖 X Y成 立 当 且 仅 当 对 R的 任 一 关系 r， r在 （ X， Z） 上 的 每 个 值 对 应 一 组 Y的 值 ， 这 组 值 仅 仅 决 定 于 X值 而 与 Z值 无 关 。 例 Teaching（ C, T, B） 对 于 C的 每 一 个 值 ， T有 一 组 值 与 之 对 应 ， 而 不 论 B取 何 值 。 2)第 四 范 式 （ 4NF） 关 系 模 式 R 1NF， 如 果 对 于 R的 每 个 非 平 凡 多 值 依 赖X Y（ Y X） ， X都 含 有 候 选 码 ， 则 R 4NF。 如 果 R 4NF， 则 R BCNF 不 允 许 有 非 平 凡 且 非 函 数 依 赖 的 多 值 依 赖 允 许 的 是 函 数 依 赖 （ 是 非 平 凡 多 值 依 赖 ） 本 章 结 束 第 四 章 关 系 运 算 学 习 目 的 与 要 求 ： 本 章 总 的 要 求 是 ： 深 刻 理 解 关 系 模 型 的 运 算 理 论 ， 了 解 查 询 优 化的 意 义 和 启 发 式 优 化 算 法 。 本 章 的 重 点 是 关 系 代 数 运 算 ， 应 熟 练 掌 握 。 关 系 演 算 是 本 章 的 难点 。 考 核 知 识 点 和 考 核 要 求 4.1关 系 代 数 4.1.1关 系 代 数 的 五 个 基 本 操 作 （ 并 、 差 、 笛 卡 儿 积 、 投 影 、 选 择 ） (综 合 运 用 ) 4.1.2关 系 代 数 的 四 个 组 合 操 作 (交 、 连 接 、 自 然 连 接 、 除 法 ) （ 综 合 运 用 ） 4.1.3关 系 代 数 表 达 式 的 应 用 （ 综 合 运 用 ） 4.1.4关 系 代 数 的 两 个 扩 充 操 作 （ 外 连 接 、 外 部 并 ） （ 领 会 ） 4.2关 系 演 算 4.2.1元 组 关 系 演 算 的 定 义 及 表 达 式 的 含 义 (简 单 应 用 ) 4.2.2域 关 系 演 算 的 定 义 及 表 达 式 的 含 义 (领 会 ) 4.2.3关 系 运 算 的 安 全 约 束 和 等 价 性 (领 会 ) 4.3关 系 代 数 表 达 式 的 优 化 (领 会 ) 关 系 模 型 有 三 个 重 要 组 成 部 分 ： ） 数 据 结 构 ） 数 据 操 纵 ） 数 据 完 整 性 规 则关 系 查 询 语 言 根 据 其 理 论 基 础 的 不 同 分 成 两 类 ： ） 关 系 代 数 语 言 ） 关 系 演 算 语 言 4.1 关 系 代 数 1.关 系 代 数 的 五 个 基 本 操 作 ： 并 、 差 、 笛 卡 尔 积 、 投 影 和 选 择 。 并