数据库原理课后答案(自考).pdf

《数据库原理课后答案(自考).pdf》由会员分享，可在线阅读，更多相关《数据库原理课后答案(自考).pdf（71页珍藏版）》请在淘文阁 - 分享文档赚钱的网站上搜索。

1、数 据 库 系 统 原 理 课 后 习 题 参 考 答 案 数 据 库 原 理 之 数 据 库 概 论 课 后 习 题 及 答 案.2数 据 库 原 理 之 关 系 模 型 课 后 习 题 及 答 案.1 1数 据 库 原 理 之 关 系 数 据 库 SQL语 言 课 后 习 题 及 答 案.18数 据 库 原 理 之 关 系 数 据 库 的 模 式 设 计 课 后 习 题 及 答 案.28数 据 库 原 理 之 数 据 库 设 计 课 后 习 题 及 答 案.43数 据 库 原 理 之 数 据 库 保 护 课 后 习 题 及 答 案.48数 据 库 原 理 之 分 布 式 数 据 库 系 统

2、 课 后 习 题 及 答 案.62数 据 库 原 理 之 数 据 库 概 论 课 后 习 题 及 答 案 1.1 名 词 解 释(1)DB：即 数 据 库(Database),是 统 一 管 理 的 相 关 数 据 的 集 合。D B 能 为 各 种 用 户 共 享，具 有 最 小 冗 余 度，数 据 间 联 系 密 切，而 又 有 较 高 的 数 据 独 立 性。(2)D B M S：即 数 据 库 管 理 系 统(Database Management S ystem),是 位 于 用 户 与 操 作 系 统 之 间 的 一 层 数 据 管 理 软 件，为 用 户 或 应 用 程 序 提

3、供 访 问 D B的 方 法，包 括 D B的 建 立、查 询、更 新 及 各 种 数 据 控 制。DBMS总 是 基 于 某 种 数 据 模 型，可 以 分 为 层 次 型、网 状 型、关 系 型、面 向 对 象 型 DBMS。(3)DBS：即 数 据 库 系 统(Database System),是 实 现 有 组 织 地、动 态 地 存 储 大 量 关 联 数 据，方 便 多 用 户 访 问 的 计 算 机 软 件、硬 件 和 数 据 资 源 组 成 的 系 统，即 采 用 了 数 据 库 技 术 的 计 算 机 系 统。(4)1：1联 系：如 果 实 体 集 E 1中 的 每 个 实

4、体 最 多 只 能 和 实 体 集 E 2中 的 一 个 实 体 有 联 系，反 之 亦 然，那 么 实 体 集 E 1对 E 2的 联 系 称 为“一 对 一 联 系”，记 为“1：1”。(5)1：N 联 系：如 果 实 体 集 E 1中 每 个 实 体 与 实 体 集 E 2中 任 意 个(零 个 或 多 个)实 体 有 联 系，而 E 2中 每 个 实 体 至 多 和 E 1中 的 一 个 实 体 有 联 系，那 么 E 1对 E 2的 联 系 是“一 对 多 联 系”，记 为“1：N”。(6)M；N 联 系：如 果 实 体 集 E 1中 每 个 实 体 与 实 体 集 E 2中 任 意

5、 个(零 个 或 多 个)实 体 有 联 系，反 之 亦 然，那 么 E 1对 E 2的 联 系 是“多 对 多 联 系”，记 为“M：N”。(7)数 据 模 型：模 型 是 对 现 实 世 界 的 抽 象。在 数 据 库 技 术 中，表 示 实 体 类 型 及 实 体 类 型 间 联 系 的 模 型 称 为“数 据 模 型 它 可 分 为 两 种 类 型：概 念 数 据 模 型 和 结 构 数 据 模 型。(6)概 念 数 据 模 型：是 独 门 于 计 算 机 系 统 的 模 型，完 全 不 涉 及 信 息 在 系 统 中 的 表 示，只 是 用 来 描 述 某 个 特 定 组 织 所 关

6、 心 的 信 息 结 构。(9)结 构 数 据 模 型：是 直 接 面 向 数 据 库 的 逻 辑 结 构，是 现 实 世 界 的 第 二 层 抽 象。这 类 模 型 涉 及 到 计 算 机 系 统 和 数 据 库 管 理 系 统，所 以 称 为“结 构 数 据 模 型”。结 构 数 据 模 型 应 包 含：数 据 结 构、数 据 操 作、数 据 完 整 性 约 束 三 部 分。它 主 要 有：层 次、网 状、关 系 三 种 模 型。(1 0)层 次 模 型：用 树 型 结 构 表 示 实 体 类 型 及 实 体 间 联 系 的 数 据 模 型。(1 1)网 状 模 型：用 有 向 图 结 构

7、 表 示 实 体 类 型 及 实 体 间 联 系 的 数 据 模 型。(1 2)关 系 模 型：是 目 前 最 流 行 的 数 据 库 模 型。其 主 要 特 征 是 用 二 维 表 格 结 构 表 达 实 体 集，用 外 筵 表 示 实 体 间 联 系。关 系 模 型 是 由 若 干 个 关 系 模 式 组 成 的 集 合。(1 3)概 念 模 式：是 数 据 库 中 全 部 数 据 的 整 体 逻 辑 结 构 的 描 述。它 由 若 干 个 概 念 记 录 类 型 组 成。概 念 模 式 不 仅 要 描 述 概 念 记 录 类 型，还 要 描 述 记 录 间 的 联 系、操 作、数 据 的

8、 完 整 性、安 全 性 等 要 求。(1 4)外 模 式：是 用 户 与 数 据 库 系 统 的 接 口，是 用 户 用 到 的 那 部 分 数 据 的 描 述。(1 5)内 模 式：是 数 据 库 在 物 理 存 储 方 面 的 描 述，定 义 所 有 的 内 部 记 录 类 型、索 引 和 文 件 的 组 成 方 式，以 及 数 据 控 制 方 面 的 细 节。(1 6)模 式/内 模 式 映 象：这 个 映 象 存 在 于 概 念 级 和 内 部 级 之 间，用 于 定 义 概 念 模 式 和 内 模 式 间 的 对 应 性，即 概 念 记 录 和 内 部 记 录 间 的 对 应 性。

9、此 映 象 一 般 在 内 模 式 中 描 述。(1 7)外 模 式/模 式 映 象：这 人 映 象 存 在 于 外 部 级 和 概 念 级 之 间，用 于 定 义 外 模 式 和 概 念 模 式 间 的 对 应 性，即 外 部 记 录 和 内 部 记 录 间 的 对 应 性。此 映 象 都 是 在 外 模 式 中 描 述。(1 8)数 据 独 立 性：在 数 据 库 技 术 中，数 据 独 立 性 是 指 应 用 程 序 和 数 据 之 间 相 互 独 立，不 受 影 响。数 据 独 立 性 分 成 物 理 数 据 独 立 性 和 逻 辑 数 据 独 立 性 两 级。(1 9)物 理 数 据

10、 独 立 性：如 果 数 据 库 的 内 模 式 要 进 行 修 改，即 数 据 库 的 存 储 设 备 和 存 储 方 法 有 所 变 化，那 么 模 式/内 模 式 映 象 也 要 进 行 相 应 的 修 改，使 概 念 模 式 尽 可 能 保 持 不 变。也 就 是 对 模 式 的 修 改 尽 量 不 影 响 概 念 模 式。(2 0)逻 辑 数 据 独 立 性：如 果 数 据 库 的 概 念 模 式 要 进 行 修 改(如 增 加 记 录 类 型 或 增 加 数 据 项)，那 么 外 模 式/模 式 映 象 也 要 进 行 相 应 的 修 改，使 外 模 式 尽 可 能 保 持 不 变

11、。也 就 是 对 概 念 模 式 的 修 改 尽 量 不 影 响 外 模 式 和 应 用 程 序。(2 1)宿 主 语 言：在 数 据 库 技 术 中，编 写 应 用 程 序 的 语 言 仍 然 是 一 些 高 级 程 序 设 计 语 言，这 些 语 言 称 为 宿 主 语 言(host language),简 称 主 语 言。(22)DDL：数 据 定 义 语 言(Data Definition Language),用 于 定 义 数 据 库 的 三 级 结 构，包 括 外 模 式、概 念 模 式、内 模 式 及 其 相 互 之 间 的 映 象，定 义 数 据 的 完 整 性、安 全 控 制

12、 等 约 束。(23)DML：数 据 操 纵 语 言(Data Manipulation Language),由 DBM S提 供，用 于 让 用 户 或 程 序 员 使 用，实 现 对 数 据 库 中 数 据 的 操 作。D M L分 成 交 互 型 DM L和 嵌 入 型 D M L两 类。依 据 语 言 的 级 别，D M L又 可 分 成 过 程 性 DM L和 非 过 程 性 D M L两 种。(2 4)交 互 型 DM L：如 果 D M L自 成 系 统，可 在 终 端 上 直 接 对 数 据 库 进 行 操 作，这 种 DML称 为 交 互 型 DML。(2 5)嵌 入 型 D

13、M L：如 果 D M L嵌 入 在 主 语 言 中 使 用，此 时 主 语 言 是 经 过 扩 充 能 处 理 DML语 句 的 语 言，这 种 DM L称 为 嵌 入 型 DML。(2 6)过 程 性 DM L：用 户 编 程 时，不 仅 需 要 指 出“做 什 么”(需 要 什 么 样 的 数 据)，还 需 要 指 出“怎 么 做”(怎 么 获 得 数 据)。层 状、网 状 的 DM L属 于 过 程 性 语 言。(2 7)非 过 程 性 DML：用 户 编 程 时，只 需 要 指 出“做 什 么”，不 需 要 指 出“怎 么 做 Notice:以 上 关 于 D M L的 各 个 概

14、念 单 独 出 现 时，首 先 要 解 释 D M L的 含 义。(28)DD：数 据 字 典(Data Dictionary),数 据 库 系 统 中 存 放 三 级 结 构 定 义 的 数 据 库 称 为 数 据 字 典。对 数 据 库 的 操 作 都 要 通 过 访 问 D D才 能 实 现。(29)D D系 统：管 理 D D的 实 用 程 序 称 为“D D系 统”。1.2 文 件 系 统 阶 段 的 数 据 管 理 有 些 什 么 缺 陷？试 举 例 说 明。文 件 系 统 有 三 个 缺 陷：(1)数 据 冗 余 性(redundancy)。由 于 文 件 之 间 缺 乏 联 系

15、，造 成 每 个 应 用 程 序 都 有 对 应 的 文 件，有 可 能 同 样 的 数 据 在 多 个 文 件 中 重 复 存 储。(2)数 据 不 一 致 性(inconsistency)。这 往 往 是 由 数 据 冗 余 造 成 的，在 进 行 更 新 操 作 时，稍 不 谨 慎，就 可 能 使 同 样 的 数 据 在 不 同 的 文 件 中 不 一 样。(3)数 据 联 系 弱(poor data relationship)。这 是 由 文 件 之 间 相 互 独 立，缺 乏 联 系 造 成 的。1.3 数 据 库 阶 段 的 数 据 管 理 有 些 什 么 特 点？(1)采 用 复

16、 杂 的 数 据 模 型 表 示 数 据 结 构(2)有 较 高 的 数 据 独 立 性(数 据 结 构 分 成 用 户 的 逻 辑 结 构、整 体 逻 辑 结 构 和 物 理 结 构 三 级)(3)数 据 库 系 统 为 用 户 提 供 方 便 的 用 户 接 口，可 以 使 用 查 询 语 言、终 端 命 令 或 程 序 方 式 操 作 数 据，也 可 以 用 程 序 方 式 操 作 数 据 库。(4)系 统 提 供 了 四 个 方 面 的 数 据 控 制 功 能：数 据 库 的 恢 复、并 发 控 制、数 据 完 整 性 和 数 据 安 全 性，以 保 证 数 据 库 中 数 据 是 安

17、 全 的、正 确 的 和 可 靠 的。(5)对 数 据 的 操 作 不 定 以 记 录 为 单 位，还 可 以 数 据 项 为 单 位，增 加 了 系 统 的 灵 活 性。1.4 你 怎 样 理 解 实 体、属 性、记 录、字 段 这 些 概 念 的 类 型 和 值 的 差 别？试 举 例 说 明。实 体（entity）：是 指 客 观 存 在 可 以 相 互 区 别 的 事 物。实 体 可 以 是 具 体 的 对 象，如：一 个 学 生，一 辆 汽 车 等；也 可 以 是 抽 象 的 事 件，如：一 次 借 书、一 场 足 球 赛 等。属 性（attribute）:实 体 有 很 多 特 性

18、，每 一 个 特 性 称 为 属 性。每 个 属 性 有 一 个 值 域，其 类 型 可 以 是 整 数 型、实 数 型、字 符 串 型。比 如，学 生（实 体）有 学 号、姓 名、年 龄、性 别 等 属 性,相 应 值 域 为 字 符、字 符 串、整 数 和 字 符 串 型。字 段（field）:标 记 实 体 属 性 的 命 名 单 位 称 为 字 段 或 数 据 项。它 是 可 以 命 名 的 最 小 信 息 单 位,所 以 又 称 为 数 据 元 素 或 初 等 项。字 段 的 命 名 往 往 和 属 性 名 相 同，比 如，学 生 有 学 号、姓 名、年 龄、性 别 等 字 段。记

19、录（record）:字 段 的 有 序 集 合 称 为 记 录。一 般 用 一 个 记 录 描 述 一 个 实 体，所 以 记 录 又 可 以 定 义 为 能 完 整 地 描 述 一 个 实 体 的 字 段 集。如：一 个 学 生 记 录，由 有 序 的 字 段 集（学 号、姓 名、年 龄、性 别 等）组 成。1.5 逻 辑 记 录 与 物 理 记 录，逻 辑 文 件 与 物 理 文 件 有 些 什 么 联 系 和 区 别？联 系：（1）逻 辑 记 录 与 物 理 记 录 都 是 记 录，是 字 段 的 有 序 集 合；（2）逻 辑 文 件 与 物 理 文 件 都 是 文 件，是 同 一 类

20、记 录 的 汇 集。区 别：（1）逻 辑 记 录 与 逻 辑 文 件 是 逻 辑 数 据 描 述，物 理 记 录 与 物 理 文 件 是 物 理 数 据 描 述。（2）物 理 数 据 描 述 是 指 数 据 在 存 储 设 备 上 的 存 储 方 式，物 理 记 录、物 理 文 件（还 有 物 理 联 系、物 理 结 构 等 术 语），都 是 用 来 描 述 实 际 存 储 设 备 上 的 数 据。（3）逻 辑 数 据 描 述 是 指 程 序 员 或 用 户 用 以 操 作 的 数 据 形 式，是 抽 象 的 概 念 化 数 据。逻 辑 记 录、逻 辑 文 件（还 有 逻 辑 联 系、逻 辑

21、结 构 等 术 语），都 是 用 户 观 点 的 数 据 描 述。1.6 为 某 百 货 公 司 设 计 一 个 E R模 型。百 货 管 辖 若 干 个 连 锁 商 店，每 家 商 店 经 营 若 干 商 品，每 家 商 店 有 若 干 职 工，但 每 个 职 工 只 能 服 务 于 一 家 商 店。实 体 类 型“商 店”的 属 性 有：商 店 编 号，店 名，店 址，店 经 理。实 体 类 型“商 品”的 属 性 有：商 品 编 号，商 品 名，单 价，产 地。实 体 类 型“职 工”的 属 性 有：职 工 编 号，职 工 名，性 别，工 资。在 联 系 中 应 反 映 出 职 工 参

22、加 某 商 店 工 作 的 开 始 时 间，商 店 销 售 商 品 的 月 销 售 量。试 画 出 反 映 商 店、商 品、职 工 实 体 类 型 及 联 系 类 型 的 E R 图，并 将 其 转 换 成 关 系 模 式 集。实 体：商 店（商 店 编 号，店 名，店 址，店 经 理）商 品（商 品 编 号，商 品 名，单 价，产 地）职 工（职 工 编 号，职 工 名，性 别，工 资）联 系：SC（商 店 一 商 品 之 间 1：N 的 联 系，联 系 属 性 为“职 工 参 加 商 店 工 作 的 开 始 时 间”。SE（商 店 一 职 工 之 间 1：N 的 联 系），联 系 属 性

23、为“月 销 售 量”。E R 图:关 系 模 式 集：商 店 模 式（商 店 编 号，店 名，店 址，店 经 理）商 品 模 式（商 品 编 号，商 品 名，单 价，产 地，商 店 编 号，月 销 售 量）职 工 模 式（职 工 编 号，职 工 名，性 别，工 资，商 店 编 号，开 始 时 间）1.7 试 述 E R模 型、层 次 模 型、网 状 模 型、关 系 模 型 和 面 向 对 象 模 型 的 主 要 特 点。E R 模 型 的 主 要 特 点：（1）优 点：接 近 于 人 的 思 维，容 易 理 解；与 计 算 机 无 关，用 户 容 易 接 受。（2）缺 点：只 能 说 明 实

24、体 间 语 义 的 联 系，不 能 进 一 步 说 明 详 细 的 数 据 结 构。层 次 模 型 的 特 点：（1）优 点：记 录 之 间 的 联 系 通 过 指 针 实 现，查 询 效 率 较 高。（2）缺 点：只 能 表 示 1：N 联 系，实 现 M:N 结 构 较 复 杂；由 于 层 次 顺 序 的 严 格 和 复 杂，引 起 数 据 的 查 询 和 更 新 操 作 也 很 复 杂。网 状 模 型 的 特 点：（1）优 点：记 录 之 间 联 系 通 过 指 针 实 现，M：N 联 系 也 容 易 实 现（每 个 M：N 联 系 可 拆 成 两 个 1：N 联 系），查 询 效 率

25、较 高。（2）缺 点：编 写 应 用 程 序 比 较 复 杂，程 序 员 必 须 熟 悉 数 据 库 的 逻 辑 结 构。关 系 模 型 的 特 点：用 关 维 码 而 不 是 用 指 针 导 航 数 据，表 格 简 单，用 户 易 懂，编 程 时 并 不 涉 及 存 储 结 构、访 问 技 术 等 细 节。1.8 试 述 概 念 模 式 在 数 据 库 结 构 中 的 重 要 地 位。概 念 模 式 是 数 据 库 中 全 部 数 据 的 整 体 逻 辑 结 构 的 描 述。它 由 若 干 个 概 念 记 录 类 型 组 成。概 念 模 式 不 仅 要 描 述 概 念 记 录 类 型，还 要

26、 描 述 记 录 间 的 联 系、操 作、数 据 的 完 整 性、安 全 性 等 要 求。数 据 按 外 模 式 的 描 述 提 供 给 用 户，按 内 模 式 的 描 述 存 储 在 磁 盘 中，而 概 念 模 式 提 供 了 连 接 这 两 级 的 相 对 稳 定 的 中 间 观 点，并 使 得 两 级 的 任 何 一 级 的 改 变 都 不 受 另 级 的 牵 制。1.9 数 据 独 立 性 与 数 据 联 系 这 两 个 概 念 有 什 么 区 别？数 据 独 立 性 是 指 应 用 程 序 与 数 据 之 间 相 互 独 立，不 受 影 响。数 据 联 系 是 指 同 一 记 录 内

27、 部 各 字 段 间 的 联 系，以 及 记 录 之 间 的 联 系。1.1 0 试 述 D B M S在 用 户 访 问 数 据 库 过 程 中 所 起 的 作 用.用 户 对 数 据 库 进 行 操 作，D B M S 把 操 作 从 应 用 程 序 带 到 外 部 级、概 念 级、再 导 向 内 部 级,进 而 操 作 存 储 器 中 的 数 据。(结 合 P22“用 户 访 问 数 据 的 过 程”来 理 解)1.1 1 试 述 D B M S的 主 要 功 能。D B M S 的 主 要 功 能 有：(1)数 据 库 的 定 义 功 能(2)数 据 库 的 操 纵 功 能(3)数 据

28、 库 的 保 护 功 能(4)数 据 库 的 存 储 管 理(5)数 据 库 的 维 护 功 能(6)数 据 字 典 1.1 2 试 叙 D B M S对 数 据 库 的 保 护 功 能。D B M S 对 数 据 库 的 保 护 主 要 通 过 四 个 方 面 实 现：(1)数 据 库 的 恢 复。(2)数 据 库 的 并 发 控 制。(3)数 据 库 的 完 整 性 控 制。(4)数 据 库 的 安 全 性 控 制。1.1 3 试 叙 D B M S对 数 据 库 的 维 护 功 能。D B M S 中 有 一 些 程 序 提 供 给 数 据 库 管 理 员 运 行 数 据 库 系 统 时

29、 使 用，这 些 程 序 起 着 数 据 库 维 护 的 功 能。主 要 有 四 个 实 用 程 序：(1)数 据 装 教 程 序(loading)(2)备 份 程 序(backup)(3)文 件 重 组 织 程 序(4)性 能 监 控 程 序1.1 4 从 模 块 结 构 看，D B M S由 哪 些 部 分 组 成？从 模 块 结 构 看，D B M S 由 两 大 部 分 组 成：查 询 处 理 器 和 存 储 管 理 器(1)查 询 处 理 器 有 四 个 主 要 成 分：D D L 编 译 器，D M L 编 译 器，嵌 入 型 D M L 的 预 编 译 器，查 询 运 行 核 心

30、 程 序(2)存 储 管 理 器 有 四 个 主 要 成 分：授 权 和 完 整 性 管 理 器，事 务 管 理 器，文 件 管 理 器，缓 冲 区 管 理 器(以 上 几 题 具 体 可 参 照 书 上 p20-21)1.15 D B S由 哪 儿 个 部 分 组 成？D B S 由 四 部 分 组 成：数 据 库、硬 件、软 件、数 据 库 管 理 员。1.1 6 什 么 样 的 人 是 DBA?D B A应 具 有 什 么 素 质？D B A的 职 责 是 什 么？D B A 是 控 制 数 据 整 体 结 构 的 人，负 责 D B S 的 正 常 运 行。D B A 可 以 是 一

31、个 人，在 大 型 系 统 中 也 可 以 是 由 几 个 人 组 成 的 小 组。D B A 承 担 创 建、监 控 和 维 护 整 个 数 据 库 结 构 的 责 任。D B A 应 具 有 下 列 素 质：(1)熟 悉 企 业 全 部 数 据 的 性 质 和 用 途；(2)对 用 户 的 需 求 有 充 分 的 了 解；(3)对 系 统 的 性 能 非 常 熟 悉。D B A 的 主 要 职 责 有 五 点：(1)概 念 模 式 定 义(2)内 模 式 定 义(3)根 据 要 求 修 改 数 据 库 的 概 念 模 式 和 内 模 式(4)对 数 据 库 访 问 的 授 权(5)完 整

32、性 约 束 的 说 明1.1 7 试 对 D B S的 全 局 结 构 作 详 细 解 释。参 照 教 材 P24-25。1.1 8 使 用 D B S的 用 户 有 哪 儿 类？使 用 D B S的 用 户 有 四 类：1）DBA2）专 业 用 户 3）应 用 程 序 员 4）最 终 用 户 1.19 D B M S的 查 询 处 理 器 有 哪 些 功 能？DBM S的 查 询 处 理 器 可 分 成 四 个 成 分：1）DM L编 译 器 2）嵌 入 型 D M L的 预 编 译 器 3）DD L编 译 器 4）查 询 运 行 核 心 程 序（各 成 分 功 能 参 照 P24）1.20

33、 D B M S的 存 储 处 理 器 有 哪 些 功 能？DBM S的 存 储 处 理 器 提 供 了 应 用 程 序 访 问 数 据 库 中 数 据 的 界 面，可 分 成 四 个 成 分:1）授 权 和 完 整 性 管 理 器 2）事 务 管 理 器 3）文 件 管 理 器 4）缓 冲 区 管 理 器（各 成 分 功 能 参 照 P25）1.2 1 磁 盘 存 储 器 中 有 哪 四 类 主 要 的 数 据 结 构？数 据 文 件:存 储 了 数 据 库 中 的 数 据；数 据 字 典(D D)：存 储 三 级 结 构 的 描 述；索 引 文 件：为 提 高 查 询 速 度 而 设 置

34、的 逻 辑 排 序 手 段:统 计 数 据 组 织：存 储 DBS运 行 时 统 计 分 析 数 据。数 据 库 原 理 之 关 系 模 型 课 后 习 题 及 答 案 2.1 名 词 解 释(1)关 系 模 型：用 二 维 表 格 结 构 表 示 实 体 集，外 键 表 示 实 体 间 联 系 的 数 据 模 型 称 为 关 系 模 型。(2)关 系 模 式：关 系 模 式 实 际 上 就 是 记 录 类 型。它 的 定 义 包 括：模 式 名，属 性 名，值 域 名 以 及 模 式 的 主 键。关 系 模 式 不 涉 及 到 物 理 存 储 方 面 的 描 述，仅 仅 是 对 数 据 特

35、性 的 描 述。(3)关 系 实 例：元 组 的 集 合 称 为 关 系 和 实 例，一 个 关 系 即 一 张 二 维 表 格。(4)属 性：实 体 的 一 个 特 征。在 关 系 模 型 中，字 段 称 为 属 性。(5)域：在 关 系 中，每 一 个 属 性 都 有 一 个 取 值 范 围，称 为 属 性 的 值 域，简 称 域。(6)元 组：在 关 系 中，记 录 称 为 元 组。元 组 对 应 表 中 的 一 行；表 示 一 个 实 体。(7)超 键：在 关 系 中 能 唯 一 标 识 元 组 的 属 性 集 称 为 关 系 模 式 的 超 键。(8)候 选 键：不 含 有 多 余

36、属 性 的 超 键 称 为 候 选 键。(9)主 键：用 户 选 作 元 组 标 识 的 一 个 候 选 键 为 主 键。(单 独 出 现，要 先 解 释“候 选 键”)(10)外 键：某 个 关 系 的 主 键 相 应 的 属 性 在 另 一 关 系 中 出 现，此 时 该 主 键 在 就 是 另 一 关 系 的 外 键，如 有 两 个 关 系 S和 SC,其 中 S#是 关 系 S 的 主 键，相 应 的 属 性 S#在 关 系 S C中 也 出 现，此 时 S#就 是 关 系 S C的 外 键。(11)实 体 完 整 性 规 则：这 条 规 则 要 求 关 系 中 元 组 在 组 成 主

37、 键 的 属 性 上 不 能 有 空 值。如 果 出 现 空 值，那 么 主 键 值 就 起 不 了 唯 一 标 识 元 组 的 作 用。(12)参 照 完 整 性 规 则：这 条 规 则 要 求“不 引 用 不 存 在 的 实 体”。其 形 式 定 义 如 下：如 果 属 性 集 K 是 关 系 模 式 R 1的 主 键，K 也 是 关 系 模 式 R 2的 外 键，那 么 R 2的 关 系 中，K 的 取 值 只 允 许 有 两 种 可 能，或 者 为 空 值，或 者 等 于 R 1关 系 中 某 个 主 键 值。这 条 规 则 在 使 用 时 有 三 点 应 注 意：1)外 键 和 相

38、应 的 主 键 可 以 不 同 名，只 要 定 义 在 相 同 值 域 上 即 可。2)R1和 R 2也 可 以 是 同 一 个 关 系 模 式，表 示 了 属 性 之 间 的 联 系。3)外 键 值 是 否 允 许 空 应 视 具 体 问 题 而 定。(13)过 程 性 语 言：在 编 程 时 必 须 给 出 获 得 结 果 的 操 作 步 骤，即“干 什 么”和“怎 么 干”。如 Pascal和 C 语 言 等。(14)非 过 程 性 语 言：编 程 时 只 须 指 出 需 要 什 么 信 息，不 必 给 出 具 体 的 操 作 步 骤。各 种 关 系 查 询 语 言 均 属 于 非 过

39、程 性 语 言。(15)无 限 关 系：当 一 个 关 系 中 存 在 无 穷 多 个 元 组 时，此 关 系 为 无 限 关 系。如 元 组 表 达 式 曲 R(t)表 示 所 有 不 在 关 系 R 中 的 元 组 的 集 合，这 是 一 个 无 限 关 系。(16)无 穷 验 证：在 验 证 公 式 时 需 对 无 穷 多 个 元 组 进 行 验 证 就 是 无 穷 验 证。如 验 证 公 式 u)(P(u)的 真 假 时 需 对 所 有 的 元 组 u 进 行 验 证，这 是 一 个 无 穷 验 证 的 问 题。2.2 为 什 么 关 系 中 的 元 组 没 有 先 后 顺 序？因 为

40、 关 系 是 一 个 元 组 的 集 合，而 元 组 在 集 合 中 的 顺 序 无 关 紧 要。因 此 不 考 虑 元 组 间 的 顺 序，即 没 有 行 序。2.3 为 什 么 关 系 中 不 允 许 有 重 复 元 组？因 为 关 系 是 一 个 元 组 的 集 合，而 集 合 中 的 元 素 不 允 许 重 复 出 现，因 此 在 关 系 模 型 中 对 关 系 作 了 限 制，关 系 中 的 元 组 不 能 重 复，可 以 用 键 来 标 识 唯 的 元 组。2.4 关 系 与 普 通 的 表 格、文 件 有 什 么 区 别？关 系 是 一 种 规 范 化 了 的 二 维 表 格，在

41、 关 系 模 型 中，对 关 系 作 了 下 列 规 范 性 限 制：1)关 系 中 每 一 个 属 性 值 都 是 不 可 分 解 的。2)关 系 中 不 允 许 出 现 相 同 的 元 组(没 有 重 复 元 组)。3)由 于 关 系 是 一 个 集 合，因 此 不 考 虑 元 组 间 的 顺 序，即 没 有 行 序。4)元 组 中，属 性 在 理 论 上 也 是 无 序 的，但 在 使 用 时 按 习 惯 考 虑 列 的 顺 序。2.5 笛 卡 尔 积、等 值 联 接、自 然 联 接 三 者 之 间 有 什 么 区 别？笛 卡 尔 积 对 两 个 关 系 R 和 S进 行 乘 操 作，产

42、 生 的 关 系 中 元 组 个 数 为 两 个 关 系 中 元 组 个 数 之 积。等 值 联 接 则 是 在 笛 卡 尔 积 的 结 果 上 再 进 行 选 择 操 作，从 关 系 R 和 S 的 笛 卡 儿 积 中 选 择 对 应 属 性 值 相 等 的 元 组:自 然 连 接 则 是 在 等 值 联 接（以 所 有 公 共 属 性 值 相 等 为 条 件）的 基 础 上 再 行 投 影 操 作，并 去 掉 重 复 的 公 共 属 性 列。当 两 个 关 系 没 有 公 共 属 性 时，自 然 连 接 就 转 化 我 笛 卡 尔 积。2.6 设 有 关 系 R 和 S（如 下：）R A

43、B C S：A B C3 6 T2 5 77 2 34 4 35342计 算:RUS,R-S,RAS,RXS,9（s）,樱，Rxs。5 4 22RUSA B CR-S A B CRPlS3 73 72 72 77 3 4 4 34 33 4 5A B C7 2 3RXS R.A R.B R.C S.A S.B S.C3 6 7 53 6 7 32 5 7 3 4 52 5 7 7 2 37 2 3 3 4 57 2 37 2 34 4 354 4 33冗 3,2（S）C B 5-r3 2B V 5，0A B CRMS R.A R.B R.C S.A S.B S.C22 _7 2 3 3 4 5

44、7 2 34 4 3RMS.A B C7 2 32.7 设 有 关 系 R 和 S（如 下：）BB CA=C(Rxs)A R.B S.B Ca b e ac b b cd eb d2.8 如 果 R 是 二 元 关 系，那 么 下 列 元 组 表 达 式 的 结 果 是 什 么？t|(3u)(R(t)A R(u)A(tl#ulV t2#u2)这 个 表 达 式 的 意 思 是：从 关 系 R 中 选 择 元 组，该 元 组 满 足：第 1 分 量 值 或 第 2 分 量 值 至 少 有 一 个 不 等 于 其 他 某 元 组。山 于 R 是 二 元 关 系，只 有 两 个 分 量，由 于 没

45、有 重 复 元 组，上 述 条 件 显 然 满 足。所 以，这 个 表 达 式 结 果 就 是 关 系 R。2.9 假 设 R 和 S 分 别 是 三 元 和 二 元 关 系，试 把 表 达 式 兀 1,5(G2=4V3=4(RXS)转 换 成 等 价 的：(1)汉 语 查 询 句 子；(2)元 组 表 达 式；(3)域 表 达 式。(1)汉 语 表 达 式：从 R x S 关 系 中 选 择 满 足 下 列 条 件 的 元 组：第 2 分 量(R 中 第 2 分 量)与 第 4 分 量(S 中 第 1 分 量)值 相 等，或 第 3 分 量(R 中 第 3分 量)与 第 4 分 量(S 中

46、第 1 分 量)值 相 等；并 取 第 1 列 与 第 5 列 组 成 的 新 关 系。(2)元 组 表 达 式：t0u)0v)(R(u)八 S(v)A(i2=vlVu3=vl)八 tl=ulAt2=v2)域 表 达 式:xv0y)(2k)(玉)(R(xyz)八 S(uv)A(y=uVz=u)2.1 0 假 设 R 和 S 都 是 二 元 关 系，试 把 元 组 表 达 式 t|R(t)/0u)(S(u)八 ul#t2)转 换 成 等 价 的：(1)汉 语 查 询 句 子；(2)域 表 达 式：(3)关 系 代 数 表 达 式。(1)汉 语 表 达 式:选 择 R 关 系 中 元 组 第 2

47、分 量 值 不 等 于 S 关 系 中 某 元 组 第 1分 量 值 的 元 组。(2)域 表 达 式:xy|凸 U)(三 v)(R(xy)A S(uv)A(u#y)(3)关 系 代 数 表 达 式：叫 2天 多(RxS)2.1 1 试 把 域 表 达 式 ab|R(ab)八 R(ba)转 换 成 等 价 的：(1)汉 语 查 询 句 子；(2)关 系 代 数 表 达 式；(3)元 组 表 达 式。(1)汉 语 查 询 句 子：选 择 R 中 元 组 第 1 分 量 值 与 第 2 分 量 值 互 换 后 仍 存 在 于 R 中 的 元 组。(2)关 系 代 数 表 达 式：小 2(5%A2=

48、3(RXR)；(3)元 组 表 达 式:t|(3u)(R(t)A R(u)A tl=u2At2=ul)2.1 2 设 有 两 个 关 系 R(A,B,C)和 S(D,E,F),试 把 下 列 关 系 代 数 表 达 式 转 换 成 等 价 的 元 组 表 达 式：(1 A(R)；(2)OB=-1723八 SEX=%(S)t|(3 u)(S(u)A u3 23,A u4=A t 1=u 1 A t2=u2)(3)检 索 学 号 为 S 3学 生 所 学 课 程 的 课 程 名 与 任 课 教 师 名。WCN AME,TEACHER(S#=S3(SC MC)t|(3 u)(3v)(SC(u)A C

49、(v)A ul=S3A v 1=u2 Atl=v2 At2=v3)(4)检 索 至 少 选 修 L I U老 师 所 授 课 程 中 一 门 课 程 的 女 学 生 的 姓 名。SNAM E(OSEX=kATEACHER=LIU(S|x1S(M C)t0u)(玉)3w)(S(u)八 SC(v)AC(w)八 u4=女，Avl=uUAv0=wlAw3TLlU/tl=u2)(5)检 索 W A N G 同 学 不 学 的 课 程 号。nc#(C)-7tc#(GsNAME=，WANG(SXSC)或 者，7rc#(SC)-7tc#(6sNAME=，wANG，(S X S C)(全 部 课 程 号 减 去

50、 W A N G 同 学 所 学 的 课 程 号)t|(3 u)(iv)(C(u)A SC(v)A(ul=v2=(3 w)(s(w)Awl=vl A W2wang)A tl=ul)(从 C 中 选 择 满 足 条 件 的 元 组：S C 中 的 所 有 元 组，如 果 学 号 与 C 中 所 选 元 组 相 同 的 话，其 在 S中 对 应 的 姓 名 肯 定 不 是 wangl)Notice:pl=p2的 含 义 是：如 果 p l为 真,则 p 2 为 真。(6)检 索 至 少 选 修 两 门 课 程 的 学 生 学 号。WsW(01=4A2#5(SCxSC)S C 自 乘 之 后，再 选