数据库原理及应用（九）.pptVIP

例题解析 例题解析 例题解析 例题解析 例题解析 3．除（Division） 在除运算中，若被除关系为m元关系，除关系为n元关系，则运算结果为一个m-n元关系。 在进行除运算时，先将被除关系中的m-n列按值的不同分成若干组，然后检查每个组，看m-n列以外的那些列中是否包含除关系的全部元组，包含则取该m-n列的值作为商关系的一个元组，否则不取。 在示例表中，S为关系“学生选课”，C为关系“课程”，求出选修课程“C1”和“C2”的学生的学号。 3.2 关系代数 3.2.2 关系代数的组合运算 学号 课程号 S1 C1 S1 C2 S1 C3 S2 C1 S2 C2 S3 C1 S3 C2 S4 C1 S5 C1 课程号 C1 C2 学号 S1 S2 S3 S C P=S÷C {S1,S2,S3,S4,S5} {S1,S2,S3} ∩ 除运算示例 关系演算以数理逻辑中的谓词演算为基础。谓词指明一个条件，通过对它的求解可得出下列值之一：“真”、“假”、“未知”。 常见的谓词有： 比较谓词：，≥，＜，≤，＝，≠； 包含谓词：IN； 存在谓词：EXISTS。 3.3 关系演算 3.2.2 关系代数的组合运算 用表达式{t|Q(t)}来表示，其中t为元组变量，Q(t)是由关系名、元组变量、常量及运算符组成的公式。{t|Q(t)}表示使Q(t)为“真”的元组的集合。 1. 元组关系演算 2. 域关系演算 用表达式{x1,x2,…xk| ?(x1,x2,…xk)}来表示，其中x1,x2,…xk是域变量， ?是由关系、域变量、常量及运算符组成的式子。 {x1,x2,…xk| ?(x1,x2,…xk)}表示所有使?(x1,x2,…xk)为“真”的那些x1,x2,…xk组成的元组的集合。每一个关系代数表达式有一个等价的域演算表达式，反之亦然。 3.3 关系演算 关系理论中函数依赖是指关系中属性间的对应关系。如关系中对于属性(组)X的每一个值，属性(组)Y只有唯一的值与之对应，则称Y函数依赖于X，或称X函数决定Y。记作X→Y 。 决定因素可能为两个以上属性构成的属性组。 在一个关系中，如果一个属性(组)值不唯一，则这个属性(组)与任何属性(组)的函数依赖关系中，它都不是决定因素。 3.4 函数依赖 3.4.1 函数依赖的定义 若X，Y为关系R中的属性(组)，如X→Y且X中存在真子集X’(X’≠X∧X’∈X)，满足X’→Y，则称Y部分函数依赖于X，记作 。 3.4 函数依赖 3.4.2 部分函数依赖 如X,Y是关系R中属性(组)，X→Y且对于X的任何真子集X’（X’≠X∧X’∈X），都有 X Y，则称Y 完全函数依赖于X，记作 3.4 函数依赖 3.4.3 完全函数依赖 一般说来，如X、Y为关系R中属性（组），有X→Y，Y→Z，但Y X，则称Z传递函数依赖于X,记作 。 示例表 上表中有： 3.4 函数依赖 3.4.4 传递函数依赖 副教授 1962.10.5 女 王文 T2 数据库 副教授 1964.12.8 女 李迎春 T3 C语言 副教授 1962.10.5 女 王文 T2 数学 教授 1955.6.3 男 张平 T1 英语 职称 出生日期 性别 教师名 职工号 课程名 教学表 例：人事部门的数据表有： ◇人事卡片，栏目有：职工号、姓名、性别、出生日期、职务、职称、基本工资、政治面貌、所在部门、入校时间，还有爱人有关情况：爱人姓名、单位地址、性别、出生日期…，有社会关系情况：姓名、与本人关系、出生日期、地址…。 ◇人员报表，栏目有：姓名、性别、年龄、职务、职称、部门、政治面貌。 ◇有关职称职务工资计算办法，例如：处长800元，副处长740元，科长700元…，教授1200元，副教授1000元…，同一职工如有职务又有职称，则职务工资取两个标准较高者。 ◇财务部门有工资单，栏目有：部门名、姓名、基本工资、职务工资、考勤补扣、医疗保险补扣、公积金等。 ◇还有其他一些凭证、收据、发票、报表文件等。 3.5 关系模式的范式 3.5.1 问题的提出 上述问题可归纳为三个关系: ①人事卡片(职工号,姓名,性别,出生日期,职务,职称,基本工资,政治面貌,部门名,参加工作时间,爱人名,爱人性别,爱人生日,爱人职务,爱人职称,爱人单位,爱人地址,关系人姓名,关系人年龄,关系人性别,与本人关系,关系人单位,关系人地址) （示例表） ②考勤表(职工号,加班天数,早班数,中班数,晚班数,病假天数,旷工天数) ③行政收费表(职工号,房租费,水电费,电话费,行政扣除,行政奖励) 3