LinuxC111.集合运算补充幻灯片.pptVIP

* 5.求仅选修了1号课程的学生号 选修1号课程的学生－仅选1号课程之外的学生 ∏S#(?C# = 1 (SC))－∏S#(SC－?C# = 1 (SC)) ∏S# (SC)－∏S#(?C# 1 (SC)) 所有选课的学生－仅选1号课程之外的学生 * S# C# SCORE P03 C02 88 P01 C03 92 S# P01 P02 S# P01 P03 S# P02 * 外连接（了解内容） 外连接 为避免自然连接时因失配而发生的信息丢失，可以假定往参与连接的一方表中附加一个取值全为空值的行，它和参与连接的另一方表中的任何一个未匹配上的元组都能匹配，称之为外连接 外连接 = 自然连接 + 失配的元组 外连接的形式：左外连接、右外连接、全外连接 左外连接 = 自然连接 + 左侧表中失配的元组 右外连接 = 自然连接 + 右侧表中失配的元组 全外连接 = 自然连接 + 两侧表中失配的元组 * 外连接 500 李三 P04 600 700 800 SAL 孙立 P03 钱广 P02 赵明 P01 PN P# 化学 C03 数学 C02 物理 C01 CN C# P04 C02 P02 C02 P01 C01 P# C# 数学 C02 500 李三 P04 数学 C02 700 钱广 P02 物理 C01 800 赵明 P01 CN C# SAL PN P# 所有老师的信息 * 外连接 500 李三 P04 600 700 800 SAL 孙立 P03 钱广 P02 赵明 P01 PN P# 化学 C03 数学 C02 物理 C01 CN C# P04 C02 P02 C02 P01 C01 P# C# 数学 C02 500 李三 P04 数学 C02 700 钱广 P02 物理 C01 800 赵明 P01 CN C# SAL PN P# 所有课程的信息 * 外连接 500 李三 P04 600 700 800 SAL 孙立 P03 钱广 P02 赵明 P01 PN P# 化学 C03 数学 C02 物理 C01 CN C# P04 C02 P02 C02 P01 C01 P# C# 数学 C02 500 李三 P04 数学 C02 700 钱广 P02 物理 C01 800 赵明 P01 CN C# SAL PN P# 所有老师和课程的信息 * 半连接 F R S R S F ＝ ?A( ) A是R中所有属性的集合 * 赋值运算(了解) 定义 为使查询表达简单、清晰，可以将一个复杂的关系代数表达式分成几个部分，每一部分都赋予一个临时关系变量，该变量可被看作关系而在后面的表达式中使用 临时关系变量?关系代数表达式 赋值给临时关系变量只是一种结果的传递，而赋值给永久关系则意味着对数据库的修改 * 赋值运算 示例 R?S = ?X(R) ? ?X(?X(R) ? ?Y(S) ? R) 用赋值重写为： temp1 ? ?X(R) temp2 ? ?X(temp1 ? ?Y(S) ? R) result ? temp1 ? temp2 * 聚集函数(不讲) 定义 求一组值的统计信息，返回单一值 使用聚集的集合可以是多重集，即一个值可以重复出现多次。如果想去除重复值，可以用连接符‘-’将‘distinct’附加在聚集函数名后，如sum-distinct sum：求和 求全体教工的总工资 sumSAL((PROF)) 求001号学生的总成绩 sumSCORE(?S# = 001 (SC)) * 聚集函数 avg：求平均 求001号同学选修课程的平均成绩。 avgSCORE(?S# = 001(SC)) count：计数 求001号同学选修的课程数。 countC#(?S# = 001(SC)) 求任课老师的总数。 count-distinctP#(PC) * 聚集函数 max：求最大值 min：求最小值 求学生选修数学的最高成绩 maxSCORE(?CN = 数学(C) SC)) 分组 将一个元组集合分为若干个组，在每个分组上使用聚集函数。 属性下标 G 聚集函数属性下标（关系） 对此属性在每个分组上运用聚集函数 按此属性上的值对关系分组 * 聚集函数 分组运算G 的一般形式 G1 , G2 , ... , Gn G F1 , A1 , F2 , A2 , … , Fm , Am（E） Gi是用于分组的属性， Fi是聚集函数， Ai是属性名。 G 将E分为若干组，满足： 1）同一组中所有元组在G1 , G2 , ... , Gn上的值相同。 2）不同组中元组在G1 , G2 , ... , Gn上的值不同。 示例