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

R[P]={(x 1 ,…,x n )|(x 1 ,…,x n )∈R∧P(x 1 ,…,x n )}。这 种 运 算 叫 R 的 限 定 运 算 。例 5.35 从 数 据 库 取 出 所 有 重 量 大 于 100 克 的 轴 承 部 件 。解 可 以 将 此 要 求 写 为 :R[P], 其 中 谓 词 P 表 示 重 量 大 于 100 克 的 轴 承 部 件 。▊3. 数 据 子 语 言 与 关 系 代 数综 上 所 述 可 以 知 道 , 在 关 系 数 据 库 中 需 要 向 用 户 提 供 使 用 数 据 库 的 数 据 子 语 言 。 这 个 数据 子 语 言 可 以 允 许 用 户 对 数 据 库 进 行 检 索 、 插 入 、 修 改 及 删 除 操 作 。 这 种 数 据 子 语 言 相 当 于一 种 代 数 结 构 , 而 这 个 代 数 结 构 的 研 究 对 象 是 n 元 有 限 组 的 集 合 , 对 它 一 共 有 5 种 基 本 操 作 ,其 中 两 个 是 一 元 运 算 3 个 是 二 元 运 算 , 它 们 是 :投 影 运 算 :R[A]限 定 运 算 :R[P]笛 卡 尔 乘 积 :R×S并 运 算 :R∪S差 运 算 :R-S这 些 运 算 都 是 封 闭 的 。 因 此 它 们 构 成 了 一 个 代 数 , 称 此 代 数 为 关 系 代 数 。由 此 可 见 , 在 关 系 式 数 据 库 的 运 算 中 自 然 连 接 并 不 出 现 , 这 是 因 为 自 然 连 接 并 不 是 基 本运 算 符 , 它 可 以 由 其 他 运 算 符 生 成 。4. 数 据 子 语 言 的 优 化 与 关 系 代 数在 关 系 数 据 库 中 , 用 户 用 数 据 子 语 言 使 用 数 据 库 , 相 同 的 要 求 有 时 可 以 有 多 种 不 同 的 写法 , 而 不 同 的 写 法 在 计 算 机 内 执 行 时 刻 得 到 完 全 不 同 的 效 率 , 我 们 知 道 , 在 计 算 机 内 执 行 一个 笛 卡 尔 积 是 很 花 时 间 的 , 这 个 时 间 正 比 于 两 个 关 系 的 元 组 数 , 并 且 同 关 系 的 元 素 也 有 关 系 ,因 此 一 般 希 望 对 执 行 笛 卡 尔 乘 积 的 两 个 关 系 , 尽 量 让 其 先 作 投 影 运 算 与 限 定 运 算 , 这 样 可 使其 执 行 速 度 大 为 提 高 , 上 述 情 况 对 自 然 连 接 也 适 用 。 另 外 , 为 了 优 化 子 语 言 使 它 具 有 最 高 效率 , 我 们 也 可 用 关 系 代 数 等 价 公 式 的 转 换 来 实 现 。由 上 面 所 述 , 我 们 也 可 以 看 出 如 何 将 关 系 数 据 库 的 数 据 子 语 言 抽 象 成 关 系 代 数 , 又 如 何用 关 系 代 数 的 方 法 优 化 数 据 子 语 言 的 全 过 程 。5.6.3 等 价 关 系 在 计 算 机 科 学 中 的 应 用前 面 我 们 研 究 了 集 合 和 元 素 , 现 在 来 研 究 结 构 的 一 些 基 本 形 式 , 它 们 是 用 集 合 的 元 素 间的 关 系 表 示 的 。 关 系 这 一 概 念 对 计 算 机 科 学 的 理 论 和 应 用 都 是 非 常 重 要 的 , 复 合 的 数 据 结 构 ,如 陈 列 表 列 、 树 等 , 用 来 表 示 数 据 的 集 合 , 这 些 数 据 是 由 元 素 间 的 关 系 联 系 着 的 。 关 系 是 数学 模 型 的 一 部 分 , 它 常 常 在 数 据 结 构 内 隐 含 地 体 现 出 来 , 数 值 应 用 、 信 息 检 索 、 网 络 问 题 等就 是 关 系 的 应 用 领 域 , 这 些 领 域 中 关 系 作 为 描 述 问 题 的 一 部 分 而 解 决 问 题 , 因 而 关 系 的 运 算和 处 理 是 重 要 的 。 关 系 在 包 括 程 序 结 构 和 算 法 分 析 的 计 算 理 论 方 面 也 有 重 要 的 作 用 。定 义 5.27 设 π 1 ,π 2 是 A 的 任 意 两 个 分 划 , 则 π 1 ×π 2 =π 和 π 1 +π 2 =π 都 是 A 的 分 划 ,π 1 ×π 2和 π 1 +π 2 分 别 叫 做 分 划 的 “ 积 ” 与 “ 和 ”, 其 中π=π 1 ×π 2 , 满 足 :(1)π 细 分 π 1 和 π 2 ;(2) 若 另 有 π′ 细 分 π 1 和 π 2 , 则 π′ 细 分 π。99