数据库系统概论知识点整理.pdf
《数据库系统概论知识点整理.pdf》由会员分享,可在线阅读,更多相关《数据库系统概论知识点整理.pdf(25页珍藏版)》请在麦多课文档分享上搜索。
1、数 据 库 系 统 概 论 知 识 点 整 理 第 一 章 绪 论 数 据 库 ( D B ) : 长 期 存 储 在 计 算 机 内 、 有 组 织 、 可 共 享 的 大 量 数 据 的 集 合 。 数 据 库 中 的 数 据 按 照 一 定 的 数 据 模 型 组 织 、 描 述 和 存 储 , 具 有 娇 小 的 冗 余 度 、 交 稿 的 数 据 独 立 性 和 易 扩 展 性 , 并 可 为 各 种 用 户 共 享 。 数 据 库 管 理 系 统 ( D B M S ) : 位 于 用 户 和 操 作 系 统 间 的 数 据 管 理 系 统 的 一 层 数 据 管 理 软 件 。
2、用 途 : 科 学 地 组 织 和 存 储 数 据 , 高 效 地 获 取 和 维 护 数 据 。 包 括 数 据 定 义 功 能 , 数 据 组 织 、 存 储 和 管 理 , 数 据 操 纵 功 能 , 数 据 库 的 事 物 管 理 和 运 行 管 理 , 数 据 库 的 建 立 和 维 护 功 能 , 其 他 功 能 。 数 据 库 系 统 ( D B S ) : 在 计 算 机 系 统 中 引 入 数 据 库 后 的 系 统 , 一 般 由 数 据 库 。 数 据 库 管 理 系 统 ( 及 其 开 发 工 具 ) 、 应 用 系 统 、 数 据 库 管 理 员 构 成 。 目 的
3、: 存 储 信 息 并 支 持 用 户 检 索 和 更 新 所 需 的 信 息 。 数 据 库 系 统 的 特 点 : 数 据 结 构 化 ; 数 据 的 共 享 性 高 , 冗 余 度 低 , 易 扩 充 ; 数 据 独 立 性 高 ; 数 据 由 D B M S 统 一 管 理 和 控 制 。 概 念 模 型 实 体 , 客 观 存 在 并 可 相 互 区 别 的 事 物 称 为 实 体 。 属 性 , 实 体 所 具 有 的 某 一 特 性 称 为 属 性 。 码 , 唯 一 标 识 实 体 的 属 性 集 称 为 码 。 域 , 是 一 组 具 有 相 同 数 据 类 型 的 值 的
4、集 合 。 实 体 型 , 具 有 相 同 属 性 的 实 体 必 然 具 有 的 共 同 的 特 征 和 性 质 。 实 体 集 , 同 一 类 型 实 体 的 集 合 称 为 实 体 集 。 联 系 : 两 个 实 体 型 之 间 的 联 系 一 对 一 联 系 ; 一 对 多 联 系 ; 多 对 多 联 系 关 系 模 型 关 系 , 元 组 , 属 性 , 码 , 域 , 分 量 , 关 系 模 型 关 系 数 据 模 型 的 操 纵 与 完 整 性 约 束 关 系 数 据 模 型 的 操 作 主 要 包 括 查 询 , 插 入 , 删 除 和 更 新 数 据 。 这 些 操 作 必
5、须 满 足 关 系 完 整 性 约 束 条 件 。 关 系 的 完 整 性 约 束 条 件 包 括 三 大 类 : 实 体 完 整 性 , 参 照 完 整 性 和 用 户 定 义 的 完 整 性 。 数 据 库 系 统 三 级 模 式 结 构 外 模 式 , 模 式 , 内 模 式 模 式 : ( 逻 辑 模 式 ) 数 据 库 中 全 体 数 据 的 逻 辑 结 构 和 特 征 的 描 述 , 是 所 有 用 户 的 公 共 数 据 视 图 。 一 个 数 据 库 只 有 一 个 模 式 。 模 式 的 地 位 : 是 数 据 库 系 统 模 式 结 构 的 中 间 层 , 与 数 据 的
6、物 理 存 储 细 节 和 硬 件 环 境 无 关 , 与 具 体 的 应 用 程 序 、 开 发 工 具 及 高 级 程 序 设 计 语 言 无 关 。 模 式 定 义 的 内 容 : 数 据 的 逻 辑 结 构 ( 数 据 项 的 名 字 、 类 型 、 取 值 范 围 等 ) , 数 据 之 间 的 联 系 , 数 据 有 关 的 安 全 性 、 完 整 性 要 求 外 模 式 : ( 子 模 式 / 用 户 模 式 ) 数 据 库 用 户 ( 包 括 应 用 程 序 员 和 最 终 用 户 ) 能 够 看 见 和 使 用 的 局 部 数 据 库 和 逻 辑 结 构 和 特 征 的 描
7、述 , 是 数 据 库 用 户 的 数 据 视 图 , 是 与 某 一 应 用 有 关 的 系 统 的 逻 辑 表 示 。 一 个 数 据 库 可 以 有 多 个 外 模 式 。外 模 式 的 地 位 : 介 于 模 式 与 应 用 之 间 模 式 与 外 模 式 的 关 系 : 一 对 多 。 外 模 式 通 常 是 模 式 的 子 集 。 一 个 数 据 库 可 以 有 多 个 外 模 式 。 反 映 了 不 同 的 用 户 的 应 用 需 求 、 看 待 数 据 的 方 式 、 对 数 据 保 密 的 要 求 。 对 模 式 中 同 一 数 据 , 在 外 模 式 中 的 结 构 、 类
8、 型 、 长 度 、 保 密 级 别 等 都 可 以 不 同 。 外 模 式 与 应 用 的 关 系 : 一 对 多 。 同 一 外 模 式 也 可 以 为 某 一 用 户 的 多 个 应 用 系 统 所 使 用 但 一 个 应 用 程 序 只 能 使 用 一 个 外 模 式 内 模 式 : 存 储 模 式 或 内 视 图 ) 是 数 据 物 理 结 构 和 存 储 方 式 的 描 述 , 是 数 据 在 数 据 库 内 部 实 际 存 储 的 表 示 方 式 : 记 录 的 存 储 方 式 ( 顺 序 , B 树 , h a s h 方 法 存 储 ) , 索 引 的 组 织 方 式 , 数
9、 据 是 否 压 缩 存 储 , 数 据 是 否 加 密 。 数 据 存 储 记 录 结 构 的 规 定 , 一 个 数 据 库 只 有 一 个 内 模 式 三 级 模 式 的 优 点 : ( 1 ) 保 证 数 据 的 独 立 性 ( 内 模 式 与 模 式 分 开 物 理 独 立 ; 外 模 式 与 模 式 分 开 逻 辑 独 立 ) ( 2 ) 简 化 用 户 窗 口 ( 3 ) 有 利 于 数 据 共 享 ( 4 ) 利 于 数 据 的 安 全 保 密 ( 5 ) 数 据 存 储 由 D B M S 管 理 ( 用 户 不 用 考 虑 存 取 路 径 等 细 节 ) 二 级 映 像 功
10、 能 : ( 1 ) 外 模 式 / 模 式 映 像 ( 应 用 可 扩 充 性 ) 定 义 外 模 式 ( 局 部 逻 辑 结 构 ) 与 模 式 ( 全 局 逻 辑 结 构 ) 之 间 的 对 应 关 系 , 映 象 定 义 通 常 包 含 在 各 自 外 模 式 的 描 述 中 , 每 一 个 外 模 式 , 数 据 库 系 统 都 有 一 个 外 模 式 模 式 映 象 。 用 途 : 保 证 数 据 的 逻 辑 独 立 性 当 模 式 改 变 时 , 数 据 库 管 理 员 修 改 有 关 的 外 模 式 模 式 映 象 , 使 外 模 式 保 持 不 变 应 用 程 序 是 依 据
11、 数 据 的 外 模 式 编 写 的 , 从 而 应 用 程 序 不 必 修 改 , 保 证 了 数 据 与 程 序 的 逻 辑 独 立 性 , 简 称 数 据 的 逻 辑 独 立 性 。 ( 2 ) 模 式 / 内 模 式 映 像 ( 空 间 利 用 率 , 存 取 效 率 ) 模 式 / 内 模 式 映 像 是 唯 一 的 , 它 定 义 了 数 据 全 局 逻 辑 结 构 与 存 储 结 构 之 间 的 对 应 关 。 数 据 库 中 模 式 内 模 式 映 象 是 唯 一 的 。 该 映 象 定 义 通 常 包 含 在 模 式 描 述 中 。 用 途 : 保 证 数 据 的 物 理 独
12、 立 性 当 数 据 库 的 存 储 结 构 改 变 了 ( 例 如 选 用 了 另 一 种 存 储 结 构 ) , 数 据 库 管 理 员 修 改 模 式 内 模 式 映 象 , 使 模 式 保 持 不 变 。 应 用 程 序 不 受 影 响 。 保 证 了 数 据 与 程 序 的 物 理 独 立 性 , 简 称 数 据 的 物 理 独 立 性 。 优 点 : ( 1 ) 保 证 了 数 据 库 外 模 式 的 稳 定 性 。 ( 2 ) 从 底 层 保 证 了 应 用 程 序 的 稳 定 性 , 除 非 应 用 需 求 本 身 发 生 变 化 , 否 则 应 用 程 序 一 般 不 需 要
13、 修 改 。 ( 3 ) 数 据 与 程 序 之 间 的 独 立 性 , 使 得 数 据 的 定 义 和 描 述 可 以 从 应 用 程 序 中 分 离 出 去 。 什 么 叫 数 据 与 程 序 的 物 理 独 立 性 ? 什 么 叫 数 据 与 程 序 的 逻 辑 独 立 性 ? 为 什 么 数 据 库 系 统 具 有 数 据 与 程 序 的 独立 性 ? 1 、 数 据 与 程 序 的 逻 辑 独 立 性 : 当 模 式 改 变 时 , 数 据 库 管 理 员 修 改 有 关 的 外 模 式 模 式 映 象 , 使 外 模 式 保 持 不 变 。 从 而 应 用 程 序 不 必 修 改
14、, 保 证 了 数 据 与 程 序 的 逻 辑 独 立 性 , 简 称 数 据 的 逻 辑 独 立 性 。 2 、 数 据 与 程 序 的 物 理 独 立 性 : 当 数 据 库 的 存 储 结 构 改 变 了 ( 例 如 选 用 了 另 一 种 存 储 结 构 ) , 数 据 库 管 理 员 修 改 模 式 内 模 式 映 象 , 使 模 式 保 持 不 变 。 应 用 程 序 不 受 影 响 。 保 证 了 数 据 与 程 序 的 物 理 独 立 性 , 简 称 数 据 的 物 理 独 立 性 。 数 据 库 管 理 系 统 在 三 级 模 式 之 间 错 提 供 的 二 层 影 响 保
15、证 了 数 据 系 统 中 的 数 据 具 有 较 高 的 逻 辑 独 立 性 和 物 理 独 立 性 。 数 据 库 系 统 的 组 成 硬 件 平 台 及 数 据 库 , 软 件 , 人 员 第 二 章 关 系 数 据 库 关 系 的 完 整 性 约 束 实 体 完 整 性 和 参 照 完 整 性 : 关 系 模 型 必 须 满 足 的 完 整 性 约 束 条 件 称 为 关 系 的 两 个 不 变 性 , 应 该 由 关 系 系 统 自 动 支 持 。 用 户 定 义 的 完 整 性 : 应 用 领 域 需 要 遵 循 的 约 束 条 件 , 体 现 了 具 体 领 域 中 的 语 义
16、约 束 。 外 码 , 主 码 , 候 选 码 的 概 念 候 选 码 : 若 关 系 中 的 某 一 属 性 组 的 职 能 唯 一 地 标 识 一 个 元 组 , 则 称 该 属 性 组 为 候 选 码 。 主 码 : 若 一 个 关 系 有 多 个 候 选 码 , 则 选 定 期 中 一 个 为 主 码 。 外 部 码 : 设 F 是 基 本 关 系 R 的 一 个 或 一 组 属 性 。 但 不 是 关 系 R 的 码 , 如 果 F 与 基 本 关 系 S 的 主 码 K 想 对 应 , 则 称 F 是 基 本 关 系 R 的 外 部 码 , 简 称 外 码 。 关 系 的 3 类
17、完 整 性 约 束 概 念 实 体 完 整 性 : 若 属 性 ( 指 一 个 或 一 组 属 性 ) A 是 基 本 关 系 R 的 主 属 性 , A 不 能 取 空 值 。 参 照 完 整 性 : 若 属 性 ( 或 属 性 组 ) F 是 基 本 关 系 R 的 外 码 , 它 是 基 本 关 系 S 的 主 码 K 相 对 应 ( 基 本 关 系 R 和 S 不 一 定 是 不 同 的 关 系 ) , 则 对 于 R 中 每 个 元 组 在 F 上 的 值 必 须 为 : 或 者 取 空 值 ( F 的 每 个 属 性 值 均 为 空 值 ) ; 或 者 等 于 S 中 某 个 元
18、组 的 主 码 值 。 用 户 定 义 的 完 整 性 : 针 对 某 一 具 体 关 系 数 据 库 的 约 束 条 件 。 反 映 某 一 具 体 应 用 所 设 计 的 数 据 必 须 满 足 的 语 义 要 求 。 关 系 操 作 的 特 点 , 关 系 代 数 中 的 各 种 运 算 关 系 操 作 的 特 点 是 集 合 操 作 方 式 , 即 操 作 的 对 象 和 结 果 是 集 合 。 关 系 代 数 1 、 并 ( R S ) 仍 为 n 目 关 系 , 由 属 于 R 或 属 于 S 的 元 组 组 成 。 R S = t | t R t S 2 、 差 ( R S )
19、仍 为 n 目 关 系 , 由 属 于 R 而 不 属 于 S 的 所 有 元 组 组 成 。 R - S = t | t R t S 3 、 交 ( R S ) 仍 为 n 目 关 系 , 由 既 属 于 R 又 属 于 S 的 元 组 组 成 。 R S = t | t R t S R S = R ( R - S ) 4 、 笛 卡 尔 积 R : n 目 关 系 , k 1 个 元 组 ; S : m 目 关 系 , k 2 个 元 组 ; R S 。9 、 选 择 : 选 择 又 称 为 限 制 ( R e s t r i c t i o n ) : 对 元 组 按 照 条 件 进 行
20、 筛 选 。 在 关 系 R 中 选 择 满 足 给 定 条 件 的 诸 元 组 F ( R ) = t | t R F ( t ) = 真 。 1 0 、 投 影 : 投 影 运 算 符 的 含 义 : 从 R 中 选 择 出 若 干 属 性 列 组 成 新 的 关 系 A ( R ) = t A | t R A : R 中 的 属 性 列 投 影 操 作 主 要 是 从 列 的 角 度 进 行 运 算 。 但 投 影 之 后 不 仅 取 消 了 原 关 系 中 的 某 些 列 , 而 且 还 可 能 取 消 某 些 元 组 ( 避 免 重 复 行 ) 。 1 1 、 连 接 : 连 接 也
21、 称 为 连 接 : 两 张 表 中 的 元 组 有 条 件 的 串 接 。 从 两 个 关 系 的 笛 卡 尔 积 中 选 取 属 性 间 满 足 一 定 条 件 的 元 组 R S = | t r R t s S t r A t s B 外 连 接 : 如 果 把 舍 弃 的 元 组 也 保 存 在 结 果 关 系 中 , 而 在 其 他 属 性 上 填 空 值 ( N u l l ) , 这 种 连 接 就 叫 做 外 连 接 。 左 外 连 接 : 如 果 只 把 左 边 关 系 R 中 要 舍 弃 的 元 组 保 留 就 叫 做 左 外 连 接 ( L E F T O U T E R
22、 J O I N 或 L E F T J O I N ) 。 右 外 连 接 : 如 果 只 把 右 边 关 系 S 中 要 舍 弃 的 元 组 保 留 就 叫 做 右 外 连 接 ( R I G H T O U T E R J O I N 或 R I G H T J O I N ) 。 1 2 、 除 : 给 定 关 系 R ( X , Y ) 和 S ( Y , Z ) , 其 中 X , Y , Z 为 属 性 组 ; R 中 的 Y 与 S 中 的 Y 可 以 有 不 同 的 属 性 名 , 但 必 须 出 自 相 同 的 域 集 ; R 与 S 的 除 运 算 得 到 一 个 新 的
23、 关 系 P ( X ) , P 是 R 中 满 足 下 列 条 件 的 元 组 在 X 属 性 列 上 的 投 影 第 三 章 关 系 数 据 库 标 准 语 言 S Q L 注 意 : S Q L ( O r a c l e 除 外 ) 一 般 不 提 供 修 改 视 图 定 义 和 索 引 定 义 的 操 作 , 需 要 先 删 除 再 重 建 定 义 基 本 表 : C R E A T E T A B L E ( , , ) ; 列 级 完 整 性 约 束 - - 涉 及 到 该 表 的 一 个 属 性 N O T N U L L : 非 空 值 约 束 U N I Q U E : 唯
24、 一 性 ( 单 值 约 束 ) 约 束 P R I M A R Y K E Y : 主 码 约 束 D E F A U L T : 默 认 ( 缺 省 ) 约 束 C h e c k : 核 查 约 束 , 定 义 校 验 条 件 N O T N U L L : 非 空 值 约 束 U N I Q U E : 唯 一 性 ( 单 值 约 束 ) 约 束 P R I M A R Y K E Y : 主 码 约 束 D E F A U L T : 默 认 ( 缺 省 ) 约 束 C h e c k : 核 查 约 束 , 定 义 校 验 条 件 表 级 完 整 性 约 束 - - 涉 及 到 该
- 1.请仔细阅读文档,确保文档完整性,对于不预览、不比对内容而直接下载带来的问题本站不予受理。
- 2.下载的文档,不会出现我们的网址水印。
- 3、该文档所得收入(下载+内容+预览)归上传者、原创作者;如果您是本文档原作者,请点此认领!既往收益都归您。
下载文档到电脑,查找使用更方便
5000 积分 0人已下载
下载 | 加入VIP,交流精品资源 |
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 数据库 系统 概论 知识点 整理 PDF
