幻灯片 1
|
|
|
- 窥积 赖
- 9 years ago
- Views:
Transcription
1 数据库系统原理 Database System Principles 四川大学计算机学院 段磊
2 第六章关系数据库理论 意义 提供分析和判断数据库模式好坏的准则 指导设计好的数据库模式 难易度 本章是本书最难的部分之一 对于应用设计十分有用
3 本章目录 6.1 问题的提出 6.2 规范化 6.3 数据依赖的公理系统 6.4 模式的分解 数据库系统概论 - 第 6 章 3/84
4 6.1 问题的提出 -- 什么是不好的数据库设计 我们目前为止掌握的知识尚无法解决大量的具体设计问题, 即关系模式该如何选择 应用数据库应该由多少个表组成? 每个表有哪些字段? 本章从理论上解决关系数据库的逻辑设计问题 数据库系统概论 - 第 6 章 4/84
5 关系模式 一个关系模式应当是一个五元组 R(U, D, DOM, F) F 是本章开始引入的数据依赖集 由于 D 和 DOM 对模式设计关系不大, 因此我们在本章中把关系模式看作是一个三元组 :R<U, F> 当且仅当 U 上的一个关系 r 满足 F 时,r 称为关系模式 R<U, F> 的一个关系 关系, 作为一张二维表, 我们对它有一个最起码的要求 : 每一个分量必须是不可分的数据项 满足了这个条件的关系模式就属于第一范式 (1NF) 数据库系统概论 - 第 6 章 5/84
6 数据依赖 我们的任务是研究模式设计, 研究设计一个 好 的 ( 没有 毛病 的 ) 关系模式的办法 数据依赖是通过一个关系中属性间值的相等与否体现出来的数据间的相互关系 它是现实世界属性间相互联系的抽象, 是数据内在的性质, 是语义的体现 现在人们已经提出了许多种类型的数据依赖, 其中最重要的是函数依赖 (Functional Dependency, FD) 和多值依赖 (Multivalued Dependency, MVD) 数据库系统概论 - 第 6 章 6/84
7 函数依赖 函数依赖极为普遍地存在 例如, 描述学生的关系, 可以有学号 (SNO), 姓名 (SNAME), 系名 (SDEPT) 等几个属性 由于一个学号只对应一个学生, 一个学生只在一个系学习 因而当 学号 值确定之后, 姓名和该生所在系的值也就被唯一地确定了 上述值的确定就象数学函数 : 自变量 x 确定之后, 相应的函数值 f(x) 也就唯一地确定 我们说 SNO 函数决定 SNAME 和 SDEPT, 或者说 SNAME, SDEPT 函数依赖于 SNO, 记为 :SNO SNAME, SNO SDEPT 数据库系统概论 - 第 6 章 7/84
8 例 : 学生选课模型的关系模式 例如, 前面介绍的学生选课模型, 可以用一个关系模式表示 : SC(Sno, Sname, Sage, Sgendar, Sdept, Cno, Cname, Grade) 一个可能的关系为 : S1 赵一 18 男 CS 1 C 语言 80 S1 赵一 18 男 CS 2 数据库原理 82 S2 钱二 19 男 CS 1 C 语言 80 可以看出, 该模式存在的主要问题是冗余 数据库系统概论 - 第 6 章 8/84
9 冗余带来的问题 冗余是不可避免的 在一定程度内也是合理的 但是, 过度的冗余则会给数据库带来三类大的问题 : 插入异常 ( 学生不选课, 其基本信息就无法插入 ) 删除异常 ( 删除学生选课信息, 其基本信息也被删除 ) 修改复杂 ( 修改某学生的基本信息, 要随选课多次被修改 ) 数据库系统概论 - 第 6 章 9/84
10 解决冗余的方法 解决的方法 一个大关系分解为若干个小关系 感性经验 : 多用小关系, 少用字段 如前面的 SC 大关系分解为第三章的 Student, SC 和 Course 三个小关系, 即可消除三类异常 数据库系统概论 - 第 6 章 10/84
11 问题的引出 为什么小关系比大关系好呢? 现在我们要讨论的就是这个问题 从上面的分解观察到 : 如果在一个关系模式内, 函数依赖形式上如果只有 : 码 非主属性 的形式, 冗余就较小, 三类异常就没有了 数据库系统概论 - 第 6 章 11/84
12 本章目录 6.1 问题的提出 6.2 规范化 6.3 数据依赖的公理系统 6.4 模式的分解 数据库系统概论 - 第 6 章 12/84
13 6.2 规范化 目的 将具有不合适性质的关系转换为更合适的形式 要求 掌握函数依赖的定义及判定 ; 掌握 1NF 到 BCNF 的定义及判定 ; 了解多值依赖, 理解 4NF 的定义 数据库系统概论 - 第 6 章 13/84
14 6.2.1 函数依赖 ( 注意 : 现在还不能用到码的概念 ) 定义 6.1 设 R(U) 是属性集 U 上的关系模式 X, Y 是 U 的子集 若对于 R 的任何一个可能的关系 r,r 中不可能存在两个元组在 X 属性值上相等而在 Y 属性值上不等, 则称 X 函数确定 Y 或 Y 函数依赖于 X, 记作 :X Y 数据库系统概论 - 第 6 章 14/84
15 6.2.1 函数依赖 X Y, 且 Y X, 则称 X Y 是非平凡的函数依赖 若不特别声明, 我们总是讨论非平凡的函数依赖 X Y, 但 Y X 则称 X Y 是平凡的函数依赖 理解为 : 整体一致, 部分一致, 没有特殊意义 ( 过于 平凡 ) 数据库系统概论 - 第 6 章 15/84
16 6.2.1 函数依赖 若 X Y, 则 X 叫做决定因素 (Determinant) 若 X Y,Y X, 则记作 X Y 在这种情况下,X 和 Y 在 R(U) 中地位相同 若 Y 不函数依赖于 X, 则记作 X Y 数据库系统概论 - 第 6 章 16/84
17 6.2.1 函数依赖 定义 6.2 ( 完全函数依赖和部分函数依赖的定义 ) 在 R(U) 中如果 X Y, 并且对 X 的任何一个真子集 X, 都有 X Y, 则称 Y 对 X 完全函数依赖, 记作 : F X Y 若 X Y, 但 Y 不完全函数依赖于 X, 则称 Y 对 X 部分函数依赖, 记作 : P X Y 数据库系统概论 - 第 6 章 17/84
18 6.2.1 函数依赖 定义 6.3( 传递函数依赖 ) 在 R(U) 中, 如果 X Y,(Y X),Y X, Y Z, 则称 Z 对 X 传递函数依赖 记作 : 传递 X Z 数据库系统概论 - 第 6 章 18/84
19 6.2.2 码 定义 6.4 设 K 为 R<U,F> 中的属性或属性组, 若 F K U, 则 K 为 R 的候选码 (Candidate Key) 若候选码多于一个, 则选定其中一个作为主码 (Primary Key) 主属性 (Prime attribute): 包含在任何候选码中的属性 非主属性 (Nonprime attribute) : 不包含在任何候选码中的属性 也称非码属性 (Nonkey attribute) 数据库系统概论 - 第 6 章 19/84
20 6.2.2 码 定义 6.5 ( 外码的定义 ) 关系模式 R 中的属性或属性组 X 并非 R 的码, 但 X 是另一个关系模式的码, 则称 X 是 R 的外部码, 简称外码 数据库系统概论 - 第 6 章 20/84
21 6.2.3 范式 满足最低要求的关系, 叫第一范式, 简称 1NF 关系表的每一分量是不可分的数据项 1NF 不允许表中出现嵌套或复合的属性 5NF 4NF BCNF 3NF 2NF 1NF 数据库系统概论 - 第 6 章 21/84
22 NF 定义 6.6 若 R 1NF, 对 R 的每一个非平凡的函数依赖 X Y, 要么 Y 是主属性, 要么 X 不是任何码的真子集, 则 R 2NF 2NF 在 1NF 基础上消除了非主属性对码的部分函数依赖 数据库系统概论 - 第 6 章 22/84
23 NF 例 : 前面的大表 SC 不是 2NF 的关系模式 例 4: 关系模式 S-L-C(Sno, Sdept, Sloc, Cno, Grade) 存在函数依赖 Sno Sdept Sdept Sloc (Sno,Cno) Grade 唯一候选码 (Sno, Cno) 则 Sno Sdept 是非主属性对码的部分函数依赖 数据库系统概论 - 第 6 章 23/84
24 NF 如果一个关系模式不是 2NF 的, 一定存在过度冗余, 带来 3 类异常 解决方法 : 分解为多个小表 如 S-L-C 分解为 {S-L(Sno, Sdept, Sloc), SC(Sno, Cno, Grade)} 2NF 仅仅具有历史意义 数据库系统概论 - 第 6 章 24/84
25 NF 定义 6.7 若 R 1NF, 对 R 中的每一个非平凡的函数依赖 X Y, 要么 Y 是主属性, 要么 X 中含有码, 则 R 3NF 数据库系统概论 - 第 6 章 25/84
26 NF 3NF 与 2NF 相比, 条件更强 因为 X 中含有码, 则 X 不会是任何码的真子集 ; 而 2NF 定义中,X 不是任何码的真子集, 还可能是非主属性组 即 3NF 在 2NF 的基础上消除了非主属性对码的传递函数依赖 数据库系统概论 - 第 6 章 26/84
27 NF 判断 3NF 例子 S-L(Sno, Sdept, Sloc) 唯一候选码 Sno 函数依赖 Sno Sdept, Sdept Sloc 非主属性 非主属性 没有非主属性对码的部分函数依赖, 满足 2NF 存在非主属性对非主属性的函数依赖, 不满足 3NF 数据库系统概论 - 第 6 章 27/84
28 NF 满足 2NF, 不满足 3NF, 仍有过度冗余及其带来的 3 类异常 S1 CS B01 S2 CS B01 S3 CS B01 S100 MA B 数据库系统概论 - 第 6 章 28/84
29 NF 解决方法, 分解成小关系 S-D(Sno, Sdept) D-L(Sdept, Sloc) 数据库系统概论 - 第 6 章 29/84
30 6.2.6 BCNF 由 Boyce 和 Codd 共同提出, 属于修正的 3NF 定义 6.8 若 R 1NF, 对 R 中的每一个非平凡的函数依赖 X Y,X 中均含有码, 则 R BCNF 数据库系统概论 - 第 6 章 30/84
31 6.2.6 BCNF BCNF 与 3NF 相比, 条件更强 不允许主属性对码的部分和传递函数依赖 到 BCNF 为止, 完全消除了由于函数依赖带来的过度冗余及相应的三类异常 数据库系统概论 - 第 6 章 31/84
32 6.2.6 BCNF 例 7 (BCNF 的例子 ) 关系模式 SPJ( 学生, 课程, 名次 ) 每个学生选每门课程有一定名次 每门课程中每一名次只有一个学生 数据库系统概论 - 第 6 章 32/84
33 6.2.6 BCNF 例 7 (BCNF 的例子 ) 关系模式 SPJ( 学生, 课程, 名次 ) 每个学生选每门课程有一定名次 每门课程中每一名次只有一个学生 ( 学生, 课程 )-> 名次 ( 课程, 名次 )-> 学生 数据库系统概论 - 第 6 章 33/84
34 6.2.6 BCNF 例 7 (BCNF 的例子 ) 关系模式 SPJ( 学生, 课程, 名次 ) 每个学生选每门课程有一定名次 每门课程中每一名次只有一个学生 ( 学生, 课程 )-> 名次 ( 课程, 名次 )-> 学生 候选码 数据库系统概论 - 第 6 章 34/84
35 6.2.6 BCNF 例 8 ( 是 3NF, 但不是 BCNF 的例子 ) 关系模式 STJ( 学生, 教师, 课程 ) 每一教师只教一门课 一个学生选定某门课程, 就对应一个固定的教师 数据库系统概论 - 第 6 章 35/84
36 6.2.6 BCNF 例 8 ( 是 3NF, 但不是 BCNF 的例子 ) 关系模式 STJ( 学生, 教师, 名次 ) 每一教师只教一门课 一个学生选定某门课程, 就对应一个固定的教师 教师 -> 课程 ( 学生, 课程 )-> 教师 数据库系统概论 - 第 6 章 36/84
37 6.2.6 BCNF 例 8 ( 是 3NF, 但不是 BCNF 的例子 ) 关系模式 STJ( 学生, 教师, 课程 ) 每一教师只教一门课 一个学生选定某门课程, 就对应一个固定的教师 教师 -> 课程 ( 学生, 课程 )-> 教师 教师, 学生 候选码 数据库系统概论 - 第 6 章 37/84
38 6.2.6 BCNF 例 8 存在的过度冗余 教师学生课程 每个教师上一门课 随选课学生的增加而被重复存储 王红李明数据库 王红刘晨数据库 王红 王敏 数据库 刘军 张立 C 语言 刘军 刘晨 C 语言 数据库系统概论 - 第 6 章 38/84
39 6.2.6 BCNF 解决方法 还是分解 分解为两个小关系模式 ( 都是 BCNF 的 ) ST( 学生, 教师 ) TJ( 教师, 课程 ) 或 SJ( 学生, 课程 ) TJ( 教师, 课程 ) 数据库系统概论 - 第 6 章 39/84
40 6.2.6 BCNF 解决方法 还是分解 分解为两个小关系模式 ( 都是 BCNF 的 ) ST( 学生, 教师 ) TJ( 教师, 课程 ) 或 SJ( 学生, 课程 ) TJ( 教师, 课程 ) 两种分解都损失了 : 一个学生选定某门课程, 就对应一个固定的教师 语义 数据库系统概论 - 第 6 章 40/84
41 6.2.6 BCNF 解决方法 还是分解 分解为两个小关系模式 ( 都是 BCNF 的 ) ST( 学生, 教师 ) TJ( 教师, 课程 ) 或 SJ( 学生, 课程 ) TJ( 教师, 课程 ) 两种分解都损失了 : 一个学生选定某门课程, 就对应一个固定的教师 语义 函数依赖 ( 学生, 课程 )-> 教师 在分解后没有保持! 数据库系统概论 - 第 6 章 41/84
42 6.2.6 BCNF 事实上, 关系模式即使到了 BCNF, 还可能存在由于非函数依赖带来的冗余及三类异常 这些数据依赖有多值依赖和连接依赖 我们只简单要求多值依赖 在多个实体间联系为 1 对多联系时可能出现多值依赖带来的问题 数据库系统概论 - 第 6 章 42/84
43 6.2.7 多值依赖 多值依赖定义 : 设有关系模式 R(U),X, Y, Z 是 U 的非空子集 对于 R 的任一关系 r, 给定一对 (x, z) 值, 就有一组 Y 的值与之对应, 这组值仅仅决定于 x 值而与 z 值无关, 则称 Y 多值依赖于 X 或 X 多值决定 Y 记作 X Y 或记忆为 : 设有关系模式 R(U),X, Y, Z 是 U 的非空子集 对 R(U) 的任一关系 r, 任意两元组 s 和 t, 如果 s[x]=t[x], 则交换 s 和 t 的 Y 值所得两个新元组必在 r 中 数据库系统概论 - 第 6 章 43/84
44 6.2.7 多值依赖 翻译情况 A B C ( 姓名, 东方语言, 西方语言 ) 王红 日语 法语 王红 汉语 英语 王红 日语 英语 王红 汉语 法语 是 BCNF, 其中只有 ABC 才是关键字 但有冗余, 又有删除异常 例如删除 ( 王红 汉语 法语 ) 数据库系统概论 - 第 6 章 44/84
45 6.2.7 多值依赖 衣着 ( 姓名, 衣服, 裤子 ) 类似, 可称为完全搭配依赖 ( 课程, 教师, 参考书 ) 类似, 看书上 数据库系统概论 - 第 6 章 45/84
46 6.2.7 多值依赖 不是多值依赖的例子 : 学生选课表 SC(Sno,Cno,G) 中 一个 Sno( 一个学生 ) 有一组 Cno( 选了一组课程 ) 和一组 G( 有一组成绩 ), 但 Cno 与 G 有关 ( 成绩与课程有关 ), 所以没有 Sno Cno, 以及 Sno G 也就是说一个学生选的一组课程和一组成绩没有形成完全搭配 数据库系统概论 - 第 6 章 46/84
47 6.2.7 多值依赖 平凡的多值依赖 : 若 X Y, 而 Z= ; 则称 X Y 是平凡的多值依赖 多值依赖的性质 : 1 对称 ( 互补 ) 性 : 若 X Y; 则 X Z, 其中 Z=U-X-Y 2 传递性 : 若 X Y,Y Z; 则 X Z-Y 3 函数依赖是多值依赖的特殊情况 : 若 X Y, 则 X Y 4 若 X Y,X Z; 则 X YZ,X Z-Y, X Y-Z, X Y Z 数据库系统概论 - 第 6 章 47/84
48 NF 定义 6.10 若关系模式 R(U,F) 1NF, 如果对于 R 的每个非平凡多值依赖 X Y(Y 不包含于 X),X 都含有码, 则称 R(U,F) 4NF 实质上 4NF 消除了多值依赖 为什么? 数据库系统概论 - 第 6 章 48/84
49 6.2.9 规范化小结 1NF: 每个分量是不可分的数据项 2NF: 非主属性完全函数依赖于码 3NF: 非主属性既不部分依赖于码也不传递依赖于码 BCNF: 所有属性都不部分依赖于码也不传递依赖于码 所有决定因素 ( 属性集 ) 都包含码 4NF: 所有非平凡的多值依赖都是函数依赖 数据库系统概论 - 第 6 章 49/84
50 本章目录 6.1 问题的提出 6.2 规范化 6.3 数据依赖的公理系统 6.4 模式的分解 数据库系统概论 - 第 6 章 50/84
51 函数依赖公理系统的背景 为了求得给定关系模式的码, 为了从一组函数依赖求得蕴含的函数依赖, 例如已知函数依赖集 F, 要问 X Y 是否为 F 所蕴含, 就需要一套推理规则, 这组推理规则是 1974 年首先由 Armstrong 提出来的 它是关系模式分解算法的理论基础 要求得给定关系模式的所有候选码对于关系模式的范式级别判定具有决定作用 : 范式级别的判定需要知道关系模式的所有候选码 ; 有的范式级别还需确定主属性和非主属性, 也需要知道所有候选码 数据库系统概论 - 第 6 章 51/84
52 数据依赖的公理系统 逻辑蕴含 : 定义 6.11 对于关系模式 R<U,F>, 其任何一个关系 r, 若函数依赖 X Y 都成立 ( 即 r 中任意两元组 s,t, 若 t[x]=s[x], 则 t[y]=s[y]), 则称函数依赖集 F 逻辑蕴含 X Y 数据库系统概论 - 第 6 章 52/84
53 Armstrong 公理系统 A1 自反律若 Y X U, 则 X Y 为 F 所蕴含 ( 给出平凡的函数依赖 ) A2 增广律若 X Y 为 F 所蕴含, 且 Z U, 则 XZ YZ 为 F 所蕴含 A3 传递律如 X Y 及 Y Z 为 F 所蕴含, 则 X Z 为 F 所蕴含 证明见定理 数据库系统概论 - 第 6 章 53/84
54 Armstrong 公理系统 Armstrong 公理的推论 : 合并规则 : 若 X Y,X Z, 有 X YZ 分解规则 : 由 X Y 及 Z 包含于 Y, 有 X Z 伪传递规则 : 若 X Y,WY Z, 有 XW Z 根据合并规则和分解规则, 得到一个重要事实 : X A 1 A 2 A K 成立的充分必要条件是 X A i (i=1, 2,, k) 成立 数据库系统概论 - 第 6 章 54/84
55 Armstrong 公理系统 定义 6.12 F 的闭包 : 函数集闭包 ( 找亲戚的亲戚 ) 在关系模式 R<U,F> 中为 F 所逻辑蕴含的函数依赖的全体叫做 F 的闭包, 记作 F + Armstrong 公理是有效的, 完备的 : 有效性 : 由 F 出发根据 Armstrong 公理推导出来的每个函数依赖一定在 F + 中 有效性的证明书上定理 6.1 Armstrong 推理规则是正确的 可直接得证 完备性 : F + 中的每一个函数依赖, 必定可以由 F 出发根据 Armstrong 公理推导出来 经典证明 数据库系统概论 - 第 6 章 55/84
56 Armstrong 公理系统 定义 6.13 ( 属性集闭包 ) X F + 的定义设 F 是属性集 U 上的一组函数依赖集,X U,X F + = {A X A 能由 F 根据 Armstrong 公理导出 } 引理 6.2 设 F 为属性集 U 上的一组函数依赖, X,Y U,X Y 能由 F 根据 Armstrong 公理导出的充分必要条件是 Y X F 数据库系统概论 - 第 6 章 56/84
57 算法 6.1 求 X F + 的方法 -- 非常重要 计算 X F+, 滚雪球算法 result := X; // 从 X 开始 while (changes to result ) do for each V W in F do begin if V result then result := result W end return result 数据库系统概论 - 第 6 章 57/84
58 例 例 1 关系模式 R<U,F>,U={A,B,C,D,E}, F={ AB C, B D, C E, EC B, AC B}, 求 (AC) F + 0. 初始化令 result=ac 1. 第一次循环计算 result =ACEB=ABCE 2. 第二次循环计算 result = ABCDE 即得结果 定义 6.13, 引理 6.2 和算法 6.1 非常重要, 可用于求码 如 K F + = U, 而 K F +!= U, 即求得 K 为一候选码 数据库系统概论 - 第 6 章 58/84
59 求码方法要点 ( 自己的总结 ) 1. 找出不出现在非平凡函数依赖右部的属性组 X, 它们一定包含于所有候选码 2. 求 X F+, 判断 =U? 成立结束, 否则转 3 3. ( 自底向上 ) 扩展 X 的 X, 求 X F+, 判断 = U? 直到所有情况找完为止 数据库系统概论 - 第 6 章 59/84
60 例 应用举例, 对书上 P184 例 1, 求所有候选码 要点 : 不出现在任何函数依赖右部的只有 A; 求 A F+ =A; 扩展 AB,AB F+ =U; AC,AC F+ =U; AD,AD F+!=U;( 需再扩展 ) AE, AE F+!=U;( 需再扩展 ) 再扩展 ADE,ADE F+!=U 数据库系统概论 - 第 6 章 60/84
61 6.3 数据依赖的公理系统 要证明完备性首先解决如何判定一个函数依赖是否属于由 F 根据 Armstrong 公理推导出来的函数依赖的集合 如果能求出这个集合就很容易判断, 但是求这样的集合是一个 NP 完全问题 所以该判定转换为 : 任一个函数依赖 X Y 是 F + 中成员的充分必要条件是 : Y X F + 证明完备性转换为证明它的逆否命题为真 即若函数依赖不能由 F 从 Armstrong 公理导出, 那么它必然不为 F 所蕴含 证明分 3 步 ( 略 ) 证明用到了构造 ( 特殊的二维表 ) 反证, 十分巧妙 数据库系统概论 - 第 6 章 61/84
62 6.3 数据依赖的公理系统 完备性证明 要证原命题, 只需证明其逆否命题 : 若函数依赖 X Y 不能由 F 出发从 Armstrong 公理导出, 则它本身不为 F 所蕴含 (1) 若 V W 成立, 且 V X F +, 则 W X F + V X + F, 则由引理 6.2, 有 X V 由 X V,V W, 有 X W 再由引理 6.2, 有 W X + F 数据库系统概论 - 第 6 章 62/84
63 6.3 数据依赖的公理系统 (2) 构造如下二维表 r,r 必是 R<U, F> 的一个关系 用反证法 X F + U- X F 若 r 不是 R<U, F> 的关系, 必是由 F 中的函数依赖 V W 在 r 上不成立所致 观察 r,v X F +, 而 W X F + 与 (1) 矛盾 数据库系统概论 - 第 6 章 63/84
64 6.3 数据依赖的公理系统 (3) 若 X Y 不能由 Armstrong 公理导出 则 Y 不是 X F + 的子集, 必有 Y Y, 且 Y U-X F + ( 推 ) X Y 本身不为 F 所蕴含 ( 观察 r) 得证 数据库系统概论 - 第 6 章 64/84
65 6.3 数据依赖的公理系统 定义 6.14 函数依赖集等价 : 如果 G + =F +, 就说函数依赖集 F 覆盖 G(F 是 G 的覆盖或 G 是 F 的覆盖 ), 或 F 与 G 等价 有相应的判定算法 引理 6.3 的充分性证明的过程实际上给出了判断两函数依赖集等价的方法 引理 6.3 F + =G + 的充分必要条件是 F G +, 和 G F 数据库系统概论 - 第 6 章 65/84
66 6.3 数据依赖的公理系统 定义 6.15 最小依赖集 右部唯一 无多余函数依赖 无部分函数依赖定理 6.3 每一个函数依赖集都等价于一个极小函数依赖集 Fm (Fm 一定存在, 可能不唯一 ) 定理 6.3 的证明过程给出了检验 ( 或构造 )Fm 的方法 数据库系统概论 - 第 6 章 66/84
67 求解极小函数依赖集的过程 1. 用分解规则将 F 中每一函数依赖分解为若干个右部唯一的函数依赖, 新函数依赖集仍命名为 F 2. 判断当前 F 中有没有多余的函数依赖 注意, 检查 X A, 要在 G 集 ( 其中 G=F-{X A}) 下考察 X A 是否被蕴含 (G 集下计算 X G+, 看 A 是否包含在其中 ) 处理后的函数依赖集不妨仍命名为 F 3. 判断当前 F 中每一函数依赖左部有没有多余的属性 注意, 检查 AB Y 中 B 是否多余时, 令 G=F- {AB Y} {A Y}, 需要考察 A Y 是否为 F 所蕴含 (F 集下计算 X F+, 看 Y 是否包含在其中 ) 最后得到 F 的函数依赖集 Fm 数据库系统概论 - 第 6 章 67/84
68 6.3 数据依赖的公理系统例子 : 设 F={AB C,A B}, 求 Fm Fm={B C,A B}? 对不对? 为什么? 数据库系统概论 - 第 6 章 68/84
69 6.3 数据依赖的公理系统 上面的 F 与 Fm 根本不等价 Fm={A C,A B} 数据库系统概论 - 第 6 章 69/84
70 本章目录 6.1 问题的提出 6.2 规范化 6.3 数据依赖的公理系统 6.4 模式的分解 数据库系统概论 - 第 6 章 70/84
71 6.4 模式的分解 要求了解 前面我们为了解决设计得不好 ( 范式级别不够高 ) 的数据库模式带来的问题, 我们采用了大关系分解为小关系的方法来提高范式级别 本节给出分解的理论指导 数据库系统概论 - 第 6 章 71/84
72 6.4.1 模式分解的三个定义 1. 具有无损连接性 分解后的 ( 几个 ) 小模式可自然连接恢复为原来的模式 2. 保持函数依赖分解前后函数依赖集等价 3. 既保持无损连接, 又保持函数依赖 ( 理想情况 ) 数据库系统概论 - 第 6 章 72/84
73 6.4.2 分解的无损连接性和保持函数依赖性 m ρ (r)=π R1 (r) π R2 (r) π Rk (r) 定义 5.18 ρ={r 1 <U 1,F 1 >,R 2 <U 2,F 2 > R k <U K,F K >} 是 R<U,F> 上的一个分解, 若对于 R<U,F> 的任一关系 r, 均有 r= m ρ (r) 成立, 则 ρ 具有无损连接性 此定义无法用于判断, 无损连接性只能通过算法 6.2 或定理 6.5 来判断 数据库系统概论 - 第 6 章 73/84
74 6.4.2 分解的无损连接性和保持函数依赖性 算法 6.2 要求会做 ( 通过例子来学习 ) 例 1 R(S,A,I,P) 分解为 R1(S,A),R2(S,I,P) F = {S A, SI P} S A I P a1 a2 b13 b14 a1 b22 a3 a4 由于有 S A, 使第二行第二列变成 a2 S A I P a1 a2 b13 b14 a1 a2 a3 a 数据库系统概论 - 第 6 章 74/84
75 6.4.2 分解的无损连接性和保持函数依赖性 补充例 R(A,B,C,D,E), 分解 R1=AD, R2=AB, R3=BE, R4=CDE, R5=AE F={A C, B C, C D, DE C, CE A} A B C D E a1 b12 b13 a4 b15 a1 a2 b23 b24 b25 b31 a2 b33 b34 a5 b41 b42 a3 a4 a5 a1 b52 b53 b54 a5 A C (b23 变 b13,b53 变 b13), B C (b33 变 b13), C D (b24,b34,b54 变 a4), DE C(C 列变 a3) CE A(A 列变 a1) 第三行出现了 a1 到 a 数据库系统概论 - 第 6 章 75/84
76 6.4.2 分解的无损连接性和保持函数依赖性 定理 6.5 R<U,F> 的一个分解 ρ= {R 1 <U 1,F 1 >,R 2 <U 2,F 2 >} 具有无损连接性的充分必要条件是 U 1 U 2 U 1 -U 2 F + 或 U 1 U 2 U 2 -U 1 F + 可用于简单情况 ( 分解为两个小关系模式 ) 的快速判断 例如 :R=ABC, F={A B,B C} R1=AB, F1={A B}, R2=AC, F2={A C} U 1 U 2 U 1 -U 2 即 A B 为 F 所蕴含 数据库系统概论 - 第 6 章 76/84
77 分解的无损连接性和保持函数依赖性 定义 6.19 ( 保持函数依赖的定义 ) 若 F + = (F 1 F 2 F k ) +, 则 R<U,F> 的分解 ρ= {R 1 <U 1,F 1 >,R 2 <U 2,F 2 > R k <U K,F K> } 保持函数依赖 注 : 实际上只需判断分解后是否有函数依赖的损失, 只需判断 F (F 1 F 2 F k ) 数据库系统概论 - 第 6 章 77/84
78 6.4.3 模式分解算法 要记住的三个事实 1. 要求分解保持函数依赖, 模式分解总可以达到 3NF, 不一定能达到 BCNF 2. 要求分解既保持函数依赖有具有无损连接性, 可以达到 3NF, 不一定能达到 BCNF 3. 要求分解具有无损连接性, 可以达到 4NF 分解算法, 要求掌握算法 6.3( 合成法 ) 和 数据库系统概论 - 第 6 章 78/84
79 6.4.3 模式分解算法 算法 6.3 合成法要点 1. 函数依赖集极小化处理 2. 处理不出现在 F 中的属性 3. 对 F 按相同左部原则分组, 每组的全部属性为一个分解后的关系模式 算法 6.4 在合成法基础上进行调整 1. 增加 R*(X,Fx) ( 构成码的属性 ) 2. 如果分解后的模式有属性包含的情况, 只保留大的 数据库系统概论 - 第 6 章 79/84
80 作业 一. 设 R<U,F>,U={B, O, I, S, Q, D}, F= {S D, I B, IS Q, B O}. 1. 求 R 的所有候选码 2. 判断 R 满足的最高范式级别 ( 到 BCNF 为止 ) 3. 若 R 满足的最高范式级别不到 3NF, 试将其分解为一组既具有无损连接性, 又保持函数依赖的 3NF 关系模式 二. P195, 数据库系统概论 - 第 6 章 80/84
81 作业 三. 分析设有以下关系 R: 工厂名 产品号 产品名 车间名 车间地点 单价 W1 P1 M1 J1 D1 100 W2 P1 M1 J1 D2 110 W2 P2 M2 J1 D2 80 W2 P3 M3 J2 D3 75 W3 P1 M1 J1 D 数据库系统概论 - 第 6 章 81/84
82 作业 试分析上述数据, 并充分利用常识, 完成以下要求 : 分析 R 的函数依赖, 求 R 的候选码 求 R 的最高范式级别 ( 到 BCNF 为止 ), 说明理由 分析 R 存在的主要问题 将 R 分解为一组合适的 3NF 关系模式 数据库系统概论 - 第 6 章 82/84
83 作业 作业通过发送电子邮件附件形式提交到助教老师邮箱 : @qq.com 作业文件名命名要求 : DB_ 学号 _ 姓名 _n.doc (n 为当章节序号 ) 如一个合法文件名 : DB_95002_ 张三 _3.doc 11 月 30 日前 提交 数据库系统概论 - 第 6 章 83/84
84 Any Question? Thank you! 数据库系统概论 - 第 6 章 84/84
第五章 关系数据库理论
第五章关系数据库理论 什么是好的数据库设计 体现客观世界的信息 无过度的冗余 无插入异常 无更新复杂 无删除异常 一个异常的例子 Sno Sname Sage ssex sdept cno cname credit grade 95001 张三 25 M CS C01 数据库 3 95 95001 张三 25 M CS C02 网络技术 3 80 95001 张三 25 M CS C03 英语 4
1 2 / 3 1 A (2-1) (2-2) A4 6 A4 7 A4 8 A4 9 A ( () 4 A4, A4 7 ) 1 (2-1) (2-2) ()
(39mm E-Mail ( )( ), : : 1 1 ( ) 2 2 ( ) 29mm) WSK ( 1 2 / 3 1 A4 2 1 3 (2-1) 2-1 4 (2-2) 2-2 5 A4 6 A4 7 A4 8 A4 9 A4 10 11 ( () 4 A4, 5 6 7 8 A4 7 ) 1 (2-1) (2-2) () 1 2 (2-1) 3 (2-2) 4 5 6 7 (8 ) 9
Slide 1
Chapter 15 Basics of Functional Dependencies and Normalization for Relational Databases Copyright 2011 Pearson Education, Inc. Publishing as Pearson Addison-Wesley Chapter 15 Outline Informal Design Guidelines
. (A) (B) (C) A (D) (E). (A)(B)(C)(D)(E) A
. () () () () () (A) (B) (C) B (D) (E). (A) (B) (C) E (D) (E) (A) (B) (C) (D). () () () () E (A) (B) (C) (D) (E). C (A) (B) (C) (D) (E). (A) (B) (C) (D) D (E). () - () - () - () - () - D (A) (B) (C) (D)
4 / ( / / 5 / / ( / 6 ( / / 7 1 2 / 3 ( 4 ( 2003 8 ( 2
: / ( 6 (2003 8 : ( 1 ( ( / / (,, ( ( - ( - (39mm 29mm 2 ( 1 2 3-6 3 6-24 6-48 12-24 8-12 WSK / WSK WSK 1 4 / ( / / 5 / / ( / 6 ( / / 7 1 2 / 3 ( 4 ( 2003 8 ( 2 9 5 ( 10 3 11 / (600 4 5 AA 710 AB 720 730
管理数据库复习题
管理数据库复习题 一. 单项选择 ( 在每小题的四个备选答案中, 选出一个正确的答案, 将其标号填入括 号内 每题 1 分, 共 30 分 ) 1. 是存储在计算机内有结构的数据的集合 A. 数据库系统 B. 数据库 C. 数据库管理系统 D. 数据结构 2. 数据库系统与文件系统的主要区别是 A. 数据库系统复杂, 而文件系统简单 B. 文件系统不能解决数据冗余和数据独立性问题, 而数据库系统可以解决
untitled
2016 148 1 8 7 08:00 16:00 http://zj.sceea.cn www.sceea.cn APP 1 2 2 6 6 2016 2016 8 6 3 2016 2016 2016 0366 1 03 1 0391 2 54 ( ) 2 1256 7 02 1 03 1 07 2 18 2 21 1 1314 1 36 1 14000 / 20 1316 7 00 1 09
*33*!!! "!! #$! %#! "& "! #! %! # ( ) * # +, # -, # +., $ /# ( ) 0 $ +# ( ) 0 $.# ( ) 0 $ # $! % "" " % 1 % & ( * ) * % " " %.! % 2!!"+# ( "&! " ( "#
588!"! #$$%& &&#! ()! *(+ "! *(, "! (-.! *(/ "! (.! ().! (01! /0! *(. # 2(.! *2. $ *20 3 $! *( % ) % *+ " % * 4 5 6 % - % 0. % 7. *33*!!! "!! #$! %#! "& "! #! %! # ( ) * # +, # -, # +., $ /# ( ) 0 $ +#
数 学 高 分 的 展 望 一 管 理 类 联 考 分 析 第 一 篇 大 纲 解 析 篇 编 写 : 孙 华 明 1 综 合 能 力 考 试 时 间 :014 年 1 月 4 日 上 午 8:30~11:30 分 值 分 配 : 数 学 :75 分 逻 辑 :60 分 作 文 :65 分 ; 总
目 录 数 学 高 分 的 展 望... 1 第 一 篇 大 纲 解 析 篇... 1 一 管 理 类 联 考 分 析... 1 二 最 新 大 纲 解 析... 1 三 考 前 复 习 资 料 及 方 法... 第 二 篇 总 结 篇... 4 1 应 用 题 考 点 总 结 与 技 巧 归 纳... 4 代 数 模 块 题 型 归 纳 及 考 点 总 结... 9 3 数 列 模 块 题 型 归
E. (A) (B) (C) (D). () () () (A) (B) (C) (D) (E). () () () (A) (B) (C) (D) (E). (A)(B)(C) (D) (E) (A) (B) (C) (D) (E) (A) (B)(C) (D) (E). (A) (B) (C)
. (A) (B) (C) (D) (A) (B) (C)(D)(E). (A) (B) (C) (D) (E) (A) (B) (C) (D). (A) (B) (C) (D) (E) (A) (B) (C) (D) (E). (A) (B) (C) (D) (E). (A) (B) (C) (D) (E). (A) (B) (C) (D) (E) (A) (B) (C) (D) (E). (A)
数理逻辑 I Mathematical Logic I
前情提要 前情提要 一阶逻辑公理系统的元定理承自命题逻辑的元定理 : 演绎定理重言规则逆否命题反证法 前情提要 一阶逻辑公理系统的元定理承自命题逻辑的元定理 : 演绎定理重言规则逆否命题反证法 前情提要 一阶逻辑公理系统的元定理承自命题逻辑的元定理 : 演绎定理重言规则逆否命题反证法 前情提要 一阶逻辑公理系统的元定理承自命题逻辑的元定理 : 演绎定理重言规则逆否命题反证法 前情提要 一阶逻辑公理系统的元定理一阶逻辑特色的元定理
工 序 的 是 ( ) A. 卷 筒 切 筒 装 药 造 粒 B. 搬 运 造 粒 切 引 装 药 C. 造 粒 切 引 包 装 检 验 D. 切 引 包 装 检 验 运 输 7. 甲 公 司 将 其 实 施 工 项 目 发 包 给 乙 公 司, 乙 公 司 将 其 中 部 分 业 务 分 包 给
2013 年 安 全 工 程 师 法 律 知 识 答 案 解 析 一 单 选 择 题 1. 某 省 人 大 常 务 委 员 会 公 布 实 施 了 某 省 安 全 生 产 条 例, 随 后 省 政 府 公 布 实 施 了 某 省 生 产 经 营 单 位 安 全 生 产 主 体 责 任 规 定, 下 列 关 于 两 者 法 律 地 位 和 效 力 的 说 法, 正 确 的 是 ( ) A. 某 省 安
"!! ! " # $! $&% ! " # $ %! " # $ & () #$*!!* %(* %$* # + !""!!##!"$$ %!""# &# & "$ ( & )*+ % ),+!""! )!"") -! -., ( &!""*!!! /0,#&# "*!""- % &#!# *$# !"!" ## $""" % & (()*) )*+ (, -".""" % &,(/0#1.""
习题1
习 题 1 数 据 库 系 统 基 本 概 念 1.1 名 词 解 释 DB DB 是 长 期 存 储 在 计 算 机 内 有 组 织 的 统 一 管 理 的 相 关 数 据 的 集 合 DB 能 为 各 种 用 户 共 享, 具 有 较 小 冗 余 度 数 据 间 联 系 紧 密 而 又 有 较 高 的 数 据 独 立 性 等 特 点 DBMS 是 位 于 用 户 与 操 作 系 统 之 间 的
( ) Wuhan University
Email: huangzh@whueducn, 47 Wuhan Univesity i L A TEX,, : http://affwhueducn/huangzh/ 8 4 49 7 ii : : 4 ; 8 a b c ; a b c 4 4 8 a b c b c a ; c a b x y x + y y x + y x x + y x y 4 + + 8 8 4 4 + 8 + 6 4
WL100079ZW.PDF
ε I x = r + R + R + R g o x = R ε + v v 2 v1 a = = t t t 2 1 R x { ( 1) ( 2)" " ( 3) ( 4), ( 5)" " ( 6) ( 7) ( 8)" " ( 9) ( 10) ( 11) ( 12) ( 13) ( 14) ( 15) ( 17) {
竞赛报名与报名审核
2014 年 全 国 职 业 院 校 技 能 大 赛 高 职 组 广 东 省 选 拔 赛 工 程 造 价 基 本 技 能 赛 项 竞 赛 指 南 主 办 : 广 东 省 教 育 厅 承 办 : 广 州 城 建 职 业 学 院 协 办 : 广 联 达 软 件 股 份 有 限 公 司 目 录 一. 竞 赛 的 几 个 重 要 时 间...1 二. 竞 赛 时 间 地 点 及 费 用...1 ( 一 )
50~56 I1. 1 A 2 3 I2. I2a. 1 2 3 4 5 ( ) I2b. 1 2 3 I2b1. 4 5 ( ) I3. 11 12 02 ( ) 1 2 (24 ) A1. 0 1 A2 A1a. ( ) A2. ( ) () () ( ) ------------------------------------------------------------------------------------------
Ps22Pdf
( 0178) ( CIP). 1 /. :, 2004. 7 ISBN 7-80153 - 956-7.... G726. 9 CIP ( 2004) 069175 : 1 : : : : : : 2 : 100733 : 010-65369524 65369530 : : : 880mm 1230mm 1 /32 : 2400 : 150 : 5000 : 2006 8 1 2 : ISBN 7-80153
標準 BIG 中文字型碼表 A 0 9 B C D E F 一 乙 丁 七 乃 九 了 二 人 儿 入 八 几 刀 刁 力 匕 十 卜 又 三 下 丈 上 丫 丸 凡 久 么 也 乞 于 亡 兀 刃 勺 千 叉 口 土 士 夕 大 女 子 孑 孓 寸 小 尢 尸 山 川 工 己 已 巳 巾 干 廾
標準 BIG 中文字型碼表 A 0 9 B C D E F B C D ± E F A 0 9 B C D E F 兙 兛 兞 兝 兡 兣 嗧 瓩 糎 0 B 9 Ⅰ Ⅱ Ⅲ Ⅳ Ⅴ Ⅵ Ⅶ C Ⅷ Ⅸ Ⅹ 〡 〢 〣 〤 〥 〦 〧 〨 〩 十 卄 卅 D B C D E F G H I J K L M N O P Q E R S T U V W X Y Z a b c d e f g F h i
<4D6963726F736F667420576F7264202D2032303135C4EAC8EBD1A74D4241C1AABFBCD7DBBACFB2CEBFBCB4F0B0B8BCB0CFEABDE22E646F6378>
05 年 入 学 MBA 联 考 综 合 试 卷 参 考 答 案 及 详 解 说 明 : 由 于 05 年 入 学 MBA 联 考 试 题 为 一 题 多 卷, 因 此 现 场 试 卷 中 的 选 择 题 顺 序 及 每 道 题 的 选 项 顺 序, 不 同 考 生 有 所 不 同 请 在 核 对 答 案 时 注 意 题 目 和 选 项 的 具 体 内 容 所 有 解 析 来 自 网 络, 仅 供
( ) 4-1 1 ---- ---- ---- ---- ---- ---- 2 1. 1 F 2 3 4 5 2. 1 2 3 3 1/ 1/ 1/F 1/O+1/ F+x x O 1000 x F 2 /(1000-F) F 30 x=0.928 F 3. 1 2 3 4 4 4. 1 2 3 4F F 5. 1 OAB OA`B` AB/A`B` OB/O`B` OB F/2 AB 2A`B`
数据库原理及应用试题
数据库原理及应用试题 一. 单项选择 1. 按照所使用的数据模型来分, 数据库可分为 三种模型 A. 网状, 环状和层次 B. 网状, 关系和链状 C. 层次, 关系和网状 D. 层次, 链状和网状 2. 数据库的体系结构由 来组织 A. 数据库, 文件, 记录 B. 模式, 外模式, 内模式 C. 物理级数据库, 信息级 D. 文件级, 记录级, 数据级 3. 的数据独立性最高 A. 文件系统 B.
說 明, 成 個 體 統 才 是! 你 痰 迷 了 心, 脂 油 蒙 了 竅, 國 孝 家 孝 兩 重 在 身, 就 把 個 人 送 來 了 這 會 子 被 人 家 告 我 們, 我 又 是 個 沒 腳 蟹, 連 官 場 中 都 知 道 我 利 害 吃 醋, 如 今 指 名 提 我, 要 休 我,
國 文 91 年 學 科 能 力 測 驗 總 分 班 級 : / 座 號 : / 姓 名 : 第 壹 部 分 : 選 擇 題 ( 占 54 分 ) 一 單 一 選 擇 題 ( 占 36 分 ) 說 明 : 第 1 題 至 第 18 題, 每 題 選 出 一 個 最 適 當 的 選 項, 標 示 在 答 案 卡 之 選 擇 題 答 案 區 每 題 答 對 得 2 分, 答 錯 不 倒 扣 ( )1.
数据库原理及应用试题
数据库原理及应用 ( 管理类 ) 复习题 一 单项选择题 1. 每个教师可以教授多门课程, 每门课程至少有两名教师任课, 从课程到教师之间的联系 类型是 A. 多对多 B. 一对一 C. 多对一 D. 一对多 2. 关系模式中各级范式之间的关系为 A.3NF 2NF 1NF B.3NF 1NF 2NF C.1NF 3NF 2NF D.2NF 1NF 3NF 3. 数据库中只存放视图的 A. 操作 B.
!" #$%#&#! () *+, -.!" #$%#/# $!" /$12 0!" 3 4 $$255 % 67 8 $ %% #! " # $9&$
"!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! "!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!"!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
江西财经大学教务处
江 西 财 经 大 学 教 务 处 教 务 通 知 字 2015 20 号 2015 年 江 西 财 经 大 学 关 于 选 拔 优 秀 专 科 学 生 进 入 本 科 阶 段 学 习 的 通 知 江 西 省 各 高 校 教 务 处 : 根 据 江 西 省 教 育 厅 赣 教 高 字 [2015]17 号 文 件 精 神,2015 年 江 西 财 经 大 学 继 续 招 收 优 秀 普 通 专 科
3 = 90 - = 5 80 - = 57 5 3 3 3 = 90 = 67 5 3 AN DE M DM BN ABN DM BN BN OE = AD OF = AB OE= AD=AF OF= AB=AE A= 90 AE=AF 30 BF BE BF= BE= a+b =a+ b BF=BC+CF=a+CF CF= b CD=b FD= b AD= FC DFC DM=
高等数学A
高等数学 A March 3, 2019 () 高等数学 A March 3, 2019 1 / 55 目录 1 函数 三要素 图像 2 导数 导数的定义 基本导数表 求导公式 Taylor 展开 3 积分 Newton-Leibniz 公式 () 高等数学 A March 3, 2019 2 / 55 函数 y = f(x) 函数三要素 1 定义域 2 值域 3 对应关系 () 高等数学 A March
9 有关系 R 和 S, 关系代数运算 R S 等价于 (9) A) S-(R-S) B) R-(R-S) C) R-S D) S-R 10 五种基本关系代数运算是 (10) A),-,,π 和 σ B),-,,π 和 σ C),,,π 和 σ D),,,π 和 σ 11 在数据库技术中, 未提交的
华侨大学 2013 年硕士研究生入学考试专业课试卷 ( 答案必须写在答题纸上 ) 招生专业 一 选择题 ( 每题 2 分, 共 40 分 ) 1 数据库中存储的是 (1) A) 数据 B) 数据模型 C) 数据之间的联系 D) 数据以及数据之间的联系数据 2 用二维表结构表达实体集的数据库模型是 (2) A) 关系模型 B) 网状模型 C) 层次模型 D) 面向对象模型 3 SQL Server 是一个基
福 建 福 州 市 长 乐 市 电 视 机 影 音 及 配 件 产 品 小 家 电 产 品 长 乐 市 吴 航 洪 鸣 家 用 电 器 维 修 店 长 乐 市 西 洋 北 路 69 号 0591-28805221 0591-350200 福 建 福 州 市 平 潭 县 电 视 机 影 音 及 配 件
市 / 县 可 服 务 产 品 服 务 中 心 名 称 服 务 中 心 地 址 联 系 电 话 传 真 邮 政 编 码 安 徽 安 庆 市 大 观 电 视 机 影 音 及 配 件 产 品 小 家 电 产 品 安 庆 市 仁 和 家 用 电 器 维 修 部 安 庆 市 德 宽 路 109 号 0556-5515163 0556-5515163 246004 安 徽 安 庆 市 潜 山 县 小 家 电
6.3 正定二次型
6.3 正定二次型 一个实二次型, 既可以通过正交变换化为标准形, 也可以通过拉格朗日配方法化为标准形, 显然, 其标准形一般来说是不惟一的, 但标准形中所含有的项数是确定的, 项数等于二次型的秩 当变换为实变换时, 标准形中正系数和负系数的个数均是不变的 定理 ( 惯性定理 ) 设有二次型 f =x T Ax, 它的秩为 r, 如果有两个实的可逆变换 x=c y 及 x=c z 分别使 f =k
数学分析(I)短课程 [Part 2] 4mm 自然数、整数和有理数
.. 数学分析 (I) 短课程 [Part 2] 自然数 整数和有理数 孙伟 华东师范大学数学系算子代数中心 Week 2 to 18. Fall 2014 孙伟 ( 数学系算子代数中心 ) 数学分析 (I) 短课程 Week 2 to 18. Fall 2014 1 / 78 3. 自然数理论初步 孙伟 ( 数学系算子代数中心 ) 数学分析 (I) 短课程 Week 2 to 18. Fall 2014
<4D6963726F736F667420576F7264202D20A1BE3230313630373237A1BF32303136C4EABDADCBD5D7CFBDF0C5A9B4E5C9CCD2B5D2F8D0D0B9C9B7DDD3D0CFDEB9ABCBBEB8FAD7D9C6C0BCB6B1A8B8E6A3A8B8FAD7D93230313630373237A3A9>
优 化 组 织 架 构, 提 升 管 控 效 率 ; 总 行 参 与 贷 款 调 查, 控 制 信 贷 风 险 2015 年 底, 紫 金 农 商 银 行 为 适 应 经 营 发 展 需 要, 对 组 织 架 构 和 内 设 机 构 进 行 了 部 分 调 整, 新 设 立 了 金 融 同 业 部 和 七 个 部 门 内 设 中 心, 分 别 为 : 个 人 存 款 管 理 中 心 和 零 售 业
民國八十九年台灣地區在校學生性知識、態度與行為研究調查
84 年 台 灣 地 區 在 校 學 生 性 知 識 態 度 與 行 為 研 究 調 查 過 錄 編 碼 簿 題 號 變 項 名 稱 變 項 說 明 選 項 數 值 說 明 備 註 i_no 學 生 編 號 問 卷 流 水 號 location 學 校 所 在 縣 市 編 號 1 台 北 市 2 基 隆 市 3 台 中 市 4 台 南 市 5 高 雄 市 6 新 竹 市 7 嘉 義 市 21 宜 蘭
! "#$%& $()*+#$, $(-.&,./.+#/(-.&01( &-#&(&$# (&2*(,#-3.,14& $ +()5(*-#5(-#/-/#(-1#&-+)(& :;<<= > A B?
! "#$%& $()*+#$, $(-.&,./.+#/(-.&01( &-#&(&$# (&2*(,#-3.,14& $ +()5(*-#5(-#/-/#(-1#&-+)(&- 67789:;
zyk00168ZW.PDF
() 0 4 5 (km).5 4 5.5 7 8.5 () 0 4 5 (km) 4 4.5 5 5.5 6 6.5 y5x. y0. 5x4 x y 9 5x y x y 9 5x y x x 6 x y. 55 y5x. y0. 5x4 x 0 x x y y y 5 x x x 4 y y y 5 () x y () y x x 4y 0 4x y x 0 0.4 y 0.5 0 5x y
民 國 105 年 大 專 程 度 義 務 役 預 備 軍 官 預 備 士 官 考 選 簡 章 目 錄 壹 考 選 依 據 1 貳 考 ( 甄 ) 選 對 象 1 參 資 格 規 定 1 肆 員 額 及 專 長 類 別 2 伍 報 名 及 選 填 志 願 日 期 方 式 3 陸 選 填 官 科 (
民 國 105 年 大 專 程 度 義 務 役 預 備 軍 官 預 備 士 官 考 選 期 程 表 日 期 執 行 項 目 3 月 1 日 (8 時 起 ) 至 3 月 21 日 (17 時 止 ) 網 路 報 名 並 完 成 列 印 3 月 22 日 (17 時 止 ) 各 校 承 辦 人 員 收 報 名 件 截 止 3 月 30 日 4 月 11 日 5 月 18 日 5 月 27 日 (17
untitled
http://idc.hust.edu.cn/~rxli/ 1.1 1.2 1.3 1.4 1.5 1.6 2 1.1 1.1.1 1.1.2 1.1.3 3 1.1.1 Data (0005794, 601,, 1, 1948.03.26, 01) (,,,,,) 4 1.1.1 Database DB 5 1.1.1 (DBMS) DDL ( Create, Drop, Alter) DML(
<4D6963726F736F667420576F7264202D20B1A6D0C5D7E2C1DED2BBC6DAD7CAB2FAD6A7B3D6D7A8CFEEBCC6BBAED3C5CFC8BCB6D7CAB2FAD6A7B3D6D6A4C8AFB8FAD7D9C6C0BCB6B1A8B8E6>
宝 信 租 赁 一 期 资 产 支 持 专 项 计 划 优 先 级 资 产 支 持 证 券 跟 踪 评 级 报 告 结 构 摘 要 优 先 级 资 产 支 持 证 券 种 类 优 先 A-1 级 优 先 A-2 级 优 先 B 级 跟 踪 评 级 级 别 AAA AAA AA 上 次 信 用 级 别 AAA AAA AA 上 次 评 级 时 间 2014 年 11 月 24 日 初 始 ( 亿 元
untitled
8.1 f G(f) 3.1.5 G(f) f G(f) f = a 1 = a 2 b 1 = b 2 8.1.1 {a, b} a, b {a} = {a, a}{a} 8.1.2 = {{a}, {a, b}} a, b a b a, b {a}, {a, b}{a} {a, b} 8.1.3
untitled
2016 160 8 14 8:00 14:00 1 http://zj.sceea.cn www.sceea.cn APP 1 190 180 2 2 6 6 8 15 2016 2016 8 13 3 2016 2016 2016 0382 2 06 1 3300 14 1 3300 0451 5 01 2 7500 02 2 7500 05 ( ) 1 7500 1156 4 15 2 15000
untitled
,,,,,,,,,,, ; ; ; 6 ;,,,, :, 9%, ;,,,,,, ; ; ( ); ;,,,,,, (, ) ( ) ( ); ;,, ( ) ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, :, ( ),,,,,,,,,,,, : ( ),,, ; ;,,,, ( ),,,, ;,, ;,, ( ),,,,,,,,,, ( ), A,, B, ( ),,
(Microsoft Word - 11\244T\246\342\277\337\260l\302\334.doc)
赤 川 次 郎 作 品 集 11 三 色 貓 追 蹤 序 曲 那 是 一 隻 凶 猛 的 野 狗 加 上 饑 餓, 正 在 虎 視 眈 眈 地 注 視 孩 子 嘴 裏 啃 著 的 香 腸, 準 備 突 然 猛 撲 上 去 孩 子 還 不 滿 三 歲, 不 曉 得 若 想 躲 開 那 隻 身 體 比 自 己 大 的 惡 犬 一 擊, 最 好 是 把 香 腸 扔 掉, 但 他 反 而 緊 握 在 手 開
SIK) 者, 需 實 施 1 年 以 上, 經 體 格 檢 查 無 後 遺 症 者 5. 身 體 任 何 部 分 有 刺 青 紋 身 穿 耳 洞 者, 不 得 報 考, 各 項 檢 查 結 果 須 符 合 體 位 區 分 標 準 常 備 役 體 位 二 在 校 軍 訓 成 績 總 平 均 70 分
民 國 102 年 大 專 程 度 義 務 役 預 備 軍 官 預 備 士 官 考 選 簡 章 壹 依 據 : 依 民 國 102 年 大 專 程 度 義 務 役 預 備 軍 官 預 備 士 官 考 選 計 畫 辦 理 貳 考 ( 甄 ) 選 對 象 : 具 中 華 民 國 國 籍, 尚 未 履 行 兵 役 義 務 之 役 男, 年 齡 在 32 歲 ( 民 國 70 年 1 月 1 日 以 後 出
<4D6963726F736F667420576F7264202D20C1E3B5E3CFC2D4D8C4A3B0E52E646F63>
历 年 MBA MPAcc 联 考 数 学 真 题 及 答 案 详 解 (009-0) 009 年 月 MBA 联 考 数 学 真 题 及 答 案 详 解 一 问 题 求 解 ( 本 大 题 共 小 题, 每 小 题 分, 共 分 下 列 每 题 给 出 的 五 个 选 项 中, 只 有 一 项 是 符 合 试 题 要 求 的 请 在 答 题 卡... 上 将 所 有 选 项 的 字 母 涂 黑 ).
Ps22Pdf
990 1995 ( ),,,,,,, ( ) ( ) ;, ;,, ( ),, 2000 7 1 ( 1 ) ( 4 ) ( 6 ) ( 15 ) ( 21 ) ( 33 ) ( 36 ) ( 43 ) ( 53 ) ( 60 ) ( 65 ) ( 74 ) ( 84 ) ( 87 ) ( 92 ) ( 97 ) (100) (111) (116) (119) (122) (127) (138)
( )1
( )1. 如 圖 為 某 生 物 細 胞 行 減 數 分 裂 過 程 之 一, 正 常 情 況 下, 分 裂 完 成 後 子 細 胞 染 色 體 為 下 列 何 者? ( )2. 在 細 胞 的 分 裂 過 程 中,50 個 精 母 細 胞 與 50 個 卵 母 細 胞, 經 減 數 分 裂 後, 分 別 產 生 M 個 成 熟 的 精 配 子 細 胞 和 N 個 成 熟 的 卵 配 子 細 胞
( m+ n) a 6 4 4 4 4 7 4 4 4 48 m n m+ n a a = a 4 a 4 3 a a 4 a 4 3 a = a 4 a 4 4 a 4 == 3 = a ma na ( m+ n) a A 0 a m a n m n a m+n 0 B a m a n m n m>n a m-n C 0 (a m ) n m n a mn D (ab) n n a n b n (
5. 10(1) 10(2) A-1 17(2) 7. A-2 18A B
立法會 CB(2)520/05-06(01) 號文件 2005 ( )( ) 20051031 2005 10 31 2005 ( )( ) ( ) 10(2) 2. 10(2) 10(2) 3 1969 ) 1985 4. 1953 1969 1969 5. 10(1) 10(2) 6. 1953 A-1 17(2) 7. A-2 18A B 2005 11-2 - A-1 1953 17(2)
untitled
Database System Principle Database System Principle 1 SQL 3.1 SQL 3.2-3.3 3.4 3.5 3.6 Database System Principle 2 3.1 SQL SQL Structured Query Language SQL Database System Principle 3 SQL 3.1.1 SQL 3.1.2
高二立體幾何
008 / 009 學 年 教 學 設 計 獎 勵 計 劃 高 二 立 體 幾 何 參 選 編 號 :C00 學 科 名 稱 : 適 用 程 度 : 高 二 簡 介 一 本 教 學 設 計 的 目 的 高 中 立 體 幾 何 的 學 習 是 學 生 較 難 理 解 而 又 非 常 重 要 的 一 個 部 分, 也 是 高 中 教 學 中 較 難 講 授 的 一 個 部 分. 像 國 內 的 聯 校
!"#$!"%&!"$!""( )( )( #( "#*!&#) %&*!(+,- %.!/( )( #( ,-2 89 /
"!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! "!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!"!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
zyk00207zw.PDF
0 5 60 ()0 () () 5 (4) 60 (5) 64 (6) S (7) N (8)0 (9) (0)0 x 0 a 0 AB CD 5 ab a b 4 ()a b ()x y () ab ()x y ()a b () a ()ab a b (4)a b () a b () 0 b () a 5 (4) ab 6 x () 4 () () 0 (4) 5 4 (a b) a a b a
微积分 授课讲义
2018 10 [email protected] 1201 / 18:00-20:20 213 14:00-17:00 I II Taylor : , n R n : x = (x 1, x 2,..., x n ) R; x, x y ; δ( ) ; ; ; ; ; ( ) ; ( / ) ; ; Ů(P 1,δ) P 1 U(P 0,δ) P 0 Ω P 1: 1.1 ( ). Ω
勤 學 * 卓 越 * 快 樂 成 長 本 校 在 老 師 群 策 群 力 共 同 討 論 下, 型 塑 了 學 校 願 景 : 勤 學 卓 越 快 樂 成 長 ( 一 ) 勤 學 運 用 真 的 力 量 培 養 勤 學, 以 語 文 教 為 基 礎 紮 根 ( 二 ) 卓 越 利 用 美 的 感
桃 園 市 復 旦 國 民 小 學 104 學 年 度 學 校 課 程 計 畫 壹 依 據 貳 目 的 一 教 基 本 法 第 13 條, 國 民 教 法 第 4 條 二 教 部 92 公 佈 之 國 民 中 小 學 九 年 一 貫 課 程 綱 要 三 桃 園 市 政 府 推 動 國 民 中 小 學 九 年 一 貫 課 程 實 施 計 畫 四 桃 園 市 政 府 97.5.29 府 教 數 字 第
C#程序设计基础
非计算机应用专业系列教材 李明 主编 虞江锋尹学松蒋融融 副主编 北京 内容简介本书结合全国计算机等级考试 Visual FoxPro 的内容, 提供了大量的应用和应试实例 每一章的后面均附有练习题, 可供读者学习和复习参考, 本书配套教材 数据库原理与应用 ( 下 ) 项目实训及实验指导 中给出了本书练习题部分的答案 本书概念清楚, 实例丰富, 内容深入浅出, 理论联系实际, 面向应用, 是非计算机专业的较好教材,
Ps22Pdf
/ / / P V f T N Q P V T N Q T N Q P V T N Q P V P V T N QT N Q P V T N Q Q Q P V Q / / / / / / / / / / / / / / / / / / / / / / / O A O A O A B C D A B C O A B C O B H B B OA B B OCOA AD OA OC
Ps22Pdf
( 0531) ( CIP). /. :, 2004. 7 ISBN 7-80153 - 959-1.... G726. 9 CIP ( 2004) 069172 : : : : : : : 2 : 100733 : 010-65369524 65369530 : : : 880mm 1230mm 1 /32 : 3300 : 150 : 5000 : 2006 8 1 2 : ISBN 7-80153
重點一不等式的意義
重 點 一 不 等 式 的 意 義 ( 一 ) 基 本 定 義 : 由 符 號 數 字 和 不 等 號 > < 所 組 合 成 的 數 學 式 叫 做 ( 二 ) 不 等 號 的 唸 法 : (1) > : 大 於 ( 超 過 高 於 ) () : 大 於 等 於 ( 不 小 於 至 少 以 上 ); 表 示 大 於 或 等 於 (3) < : 小 於 (4) : 小 於 等 於 ( 不 大 於 最
第一次段考 二年級社會領域試題 郭玉華 (A)(B) (C)(D)
五 福 二 社 p1 高 雄 市 立 五 福 國 民 中 學 97 學 年 度 第 1 學 期 第 1 次 段 考 二 年 級 社 會 學 習 領 域 試 題 卷 代 號 :30 答 案 卡 塗 寫 注 意 事 項 1. 答 案 卡 劃 記 時, 必 須 用 黑 色 2B 鉛 筆 塗 黑 塗 滿, 但 不 可 超 出 圈 外 2. 年 班 級 座 號 科 目 請 劃 記 正 確 若 劃 記 錯 誤,
Microsoft Word - NHIS2013_C_130716_送印_.doc
核 准 機 關 : 行 政 院 主 計 總 處 核 准 文 號 : 主 普 管 字 第 1020400481 號 有 效 期 間 : 至 103 年 6 月 30 日 止 辦 理 機 關 : 財 團 法 人 國 家 衛 生 研 究 院 行 政 院 衛 生 署 國 民 健 康 局 IRB 通 過 案 號 : 國 家 衛 生 研 究 院 EC1020502 號 樣 本 編 號 :( 訪 員 填 寫 )
安全生产管理知识
2011 年 二 建 机 电 真 题 及 答 案 1. 机 电 工 程 测 量 竣 工 图 的 绘 制 包 括 安 装 ( ) 的 绘 制 安 装 过 程 及 结 果 的 测 量 图 的 绘 制 A. 测 量 控 制 网 B. 测 量 基 准 点 C. 沉 降 观 测 点 D. 过 程 测 量 点 参 考 答 案 A 解 析 参 见 教 材 P18 考 查 内 容 : 机 电 工 程 测 量 的 要
E170C2.PDF
IQ E170C2 2002.3. Rotork Rotork * ( ) * * RotorkIQ - IQ * * PC IQ Insight / Rotork * - Rotork IQ www.rotork.com 5 10 5.1 11 1 2 5.2 11 2 3 5.3 11 3 IQ 3 5.4 11 3.1 3 5.5 IQM12 3.2 3 5.6 IQML12 3.3 4 5.7
= 3 + 1 7 = 22 7 3.14 = 3 + 1 7 + 1 15 +1 = 355 3.1415929 113 221221221221 136136136136 221000000000 221000000 221000 221 = 136000000000 136000000 136000 221 1000000000 1000000 1000 1 = 136 1000000000
#!$ %" & ( &)*+,((&-,./ )01,+2 ( /., )>2/ 80;2 +&,($ J &( > =.>? =0+ 9, *,0*., 0= )>2/ 2> &02($ J &( > A.;, % 9 > )>* 0= &2 9, )&11.,
#$$%!&$!#$! $!!$!#$!$$!!$ $( )) *#( )!& #+!,+!-+ ##+ " $( )) #) #% #* # % & &% &- )! %$ %,#,& *$! )"./.0." " " " %!$" 0./00 &!( 0" N9 625A>26( ( ( ;4L 25G9L( ( (!!!)" /000.!% #$" 0.0// &#(." 9E94 D: #!(
