《数据库原理与应用》课件 第三章 关系型数据库基本理论CH03.pptVIP

关系的基本运算（续） 4）除运算（Division） 设有关系R和S, R能被S除的条件有两个： 一是R中的属性包含S中的属性，二是R中的有些属性不出现在S中。记为： R÷S = {tr [X] | tr ? R∧πY (S) ? Yx } 其中， Yx：x在R中的象集，x = tr[X] 除运算的商所包含的属性由R中那些不出现在S中的属性组成，其元组是S中所有元组在R中对应值相同的元组值。 * * ÷ R S 除操作是同时从行和列角度进行运算 除运算举例 * A B C a1 b1 c2 a2 b3 c7 a3 b4 c6 a1 b2 c3 a4 b6 c6 a2 b2 c3 a1 b2 c1 B C D b1 c2 d1 b2 c1 d1 b2 c3 d2 R÷S A a1 R S 除运算例题分析 在关系R中，A可以取四个值{a1，a2，a3，a4} a1的象集为 {(b1，c2)，(b2，c3)，(b2，c1)} 　a2的象集为 {(b3，c7)，(b2，c3)} 　a3的象集为 {(b4，c6)} 　a4的象集为 {(b6，c6)} S在(B，C)上的投影为 {(b1，c2)，(b2，c1)，(b2，c3) } 只有a1的象集包含了S在(B，C)属性组上的投影 所以 R÷S ={a1} * 除运算举例 * [例4] 查询至少选修1号课程和3号课程的学生号码? 首先建立一个临时关系K： ? 然后求：πSno.Cno(SC)÷K Cno 1 3 除运算举例（续） * [例 4]续 πSno.Cno(SC) 95001象集{1，2，3} 95002象集{2，3} πCno(K)={1，3} 于是：πSno.Cno(SC)÷K={95001} Sno Cno 95001 1 95001 2 95001 3 95002 2 95002 3 * ? 2008 Shandong University IPPR IPPR ? 2008 Shandong University 刘治 liuzhi@sdu.edu.cn 3.1 关系的相关术语 （1）域 (Domain) 域（对应于实体中的属性）是一组具有相同数据类型的集合。 例如： 性别={男，女} 职称={教授，副教授，讲师，助教} 自然数，整数，实数，等等。 * 关系的相关术语(续) （2）笛卡尔积 (Cartesian Product) 给定一组域 ,则 成为 的笛卡尔积。 笛卡尔积可表示为一个二维表。表中的每行对应一个元组，表中的每列对应一个域。 假设集合A={a,b}，集合B={0,1,2}，则两个集合的笛卡尔积为{(a,0),(a,1),(a,2),(b,0),(b,1),(b,2)}。笛卡尔积可以扩展到多个集合的情况。 * 笛卡尔积示例 例 给出三个域： D1=SUPERVISOR ={ 张清玫，刘逸 } D2=SPECIALITY={计算机专业，信息专业} D3=POSTGRADUATE={李勇，刘晨，王敏} 则D1，D2，D3的笛卡尔积为： D1×D2×D3 ＝ ｛(张清玫，计算机专业，李勇)，(张清玫，计算机专业，刘晨)， (张清玫，计算机专业，王敏)，(张清玫，信息专业，李勇)， (张清玫，信息专业，刘晨)，(张清玫，信息专业，王敏)， (刘逸，计算机专业，李勇)，(刘逸，计算机专业，刘晨)， (刘逸，计算机专业，王敏)，(刘逸，信息专业，李勇)， (刘逸，信息专业，刘晨)，(刘逸，信息专业，王敏) ｝ * * 在上例中，12个元组可列成一张二维表 关系的相关术语(续) （3）基数（Cardinal number） 若Di（i＝1，2，…，N）为有限集，其基数为mi（i＝1，2，…，N），则D1×D2×…×DN 的基数M为： 在上例中，基数：2×2×3＝12，即D1×D2×D3共有2×2×3＝12个元组 * 关系的相关术语 （4）关系 (Relationship)