ç¬¬äº”ç« :å ³ç³»

是 说 当 关 系 中 没 有 两 个 n 元 组 在 这 个 域 有 相 同 的 值 时 这 个 域 就 是 主 键 码 。由 于 常 常 要 对 数 据 库 增 加 或 删 除 记 录 。 因 而 一 个 域 是 主 键 码 的 性 质 将 随 时 间 而 改 变 。所 以 , 一 个 主 键 码 应 该 选 择 那 种 无 论 数 据 库 怎 样 改 变 都 能 够 继 续 存 在 的 。 用 数 据 库 的 内 涵 的主 键 码 就 可 以 做 到 这 一 点 , 它 包 含 了 在 表 示 这 个 数 据 库 的 n 元 关 系 中 所 有 可 能 含 有 的 n 元 组 。在 表 5.4 中 课 程 号 码 和 课 程 名 是 惟 一 的 , 因 此 课 程 号 域 和 课 程 名 域 都 可 以 做 主 键 码 , 但 教 师号 码 不 是 惟 一 的 , 因 此 该 域 不 能 做 主 键 码 。在 一 个 n 元 关 系 中 域 的 组 合 也 可 以 惟 一 的 标 志 n 元 组 。 当 一 组 域 的 值 确 定 了 一 个 关 系中 的 n 元 组 时 , 这 些 域 的 笛 卡 尔 积 就 叫 做 复 合 键 码 。因 为 主 键 码 和 复 合 键 码 用 于 惟 一 的 标 志 数 据 库 中 的 记 录 , 当 新 的 记 录 加 到 这 个 数 据 库时 键 码 要 保 持 有 效 性 是 非 常 重 要 的 。 因 此 , 应 该 做 检 测 以 保 证 在 这 个 或 这 些 相 应 的 字 段 中 每一 个 新 记 录 与 表 中 所 有 其 他 的 记 录 不 同 。 例 如 表 5.3 中 使 用 教 师 的 编 号 作 为 教 师 记 录 的 键 码是 有 意 义 的 , 因 为 没 有 两 个 教 师 有 相 同 的 编 号 。实 体 与 实 体 间 的 联 系 也 可 用 关 系 表 示 , 如 教 师 任 课 情 况 可 用 编 号 与 课 程 构 成 一 个 新 关系 TC, 它 刻 画 了 教 师 任 课 情 况 , 这 个 关 系 可 用 下 面 二 维 表 5.5 表 示 。有 时 , 在 关 系 所 表 示 的 联 系 中 还 可 以 附 加 一 些 数 据 , 如 关 系 TC 中 还 可 以 加 入 课 程 的 学时 CT, 这 时 可 在 原 关 系 中 增 加 一 个 属 性 CT 表 示 之 , 这 个 修 改 后 的 关 系 可 叫 TCT, 以 后 我 们常 用 这 种 修 改 后 的 TCT, 这 种 修 改 后 的 关 系 TCT 可 用 二 维 表 5.6 表 示 。表 5.5 联 系 TC 的 关 系表 5.6 修 改 后 的 关 系 TCTT #0001000100020002000200030004000400040005000500060007000700080008C #01020102030504050601050101020406T # C # CT000100010002000200020003000400040004000500050006000700070008000801020102030504050601050101020406365072726072363660605450721083654从 上 面 表 示 可 以 看 出 , 数 据 实 体 与 联 系 均 可 用 二 维 表 表 示 , 在 数 据 库 中 , 用 这 种 二 维表 构 造 数 据 的 模 型 就 叫 关 系 式 数 据 库 。用 户 使 用 关 系 式 数 据 库 就 是 对 一 些 二 维 表 进 行 检 索 、 插 入 、 修 改 和 删 除 等 操 作 , 关 系式 数 据 库 中 的 数 据 库 管 理 系 统 必 须 向 用 户 提 供 使 用 数 据 库 的 语 言 , 一 般 称 为 数 据 子 语 言 , 语言 目 前 是 以 关 系 代 数 或 谓 词 逻 辑 中 的 方 法 表 示 的 , 说 得 确 切 一 些 就 是 这 种 语 言 以 关 系 代 数 或谓 词 逻 辑 作 为 它 的 数 学 基 础 , 由 于 用 这 种 数 学 方 法 去 表 示 , 使 得 对 这 些 语 言 的 研 究 成 为 对 数与 谓 词 逻 辑 的 化 简 问 题 。 由 于 引 入 了 数 学 表 示 方 法 , 使 得 关 系 数 据 库 具 有 比 其 他 几 种 数 据 库较 为 优 越 的 条 件 。 正 因 为 如 此 , 关 系 数 据 库 近 些 年 来 得 到 了 迅 速 发 展 , 成 为 目 前 应 用 最 为 广97