关系数据模型与关系运算.pptVIP

2.2 关系代数 2.除法运算 设关系R和S的元数分别为r和s（设rs0），那么R÷S是一个（r-s）元的元组的集合。（R÷S）是满足下列条件的最大关系：其中每个元组t与S中每个元组u组成的新元组t，u必在关系R中。 第二十九页，共四十三页，2022年，8月28日 第三十页，共四十三页，2022年，8月28日 3.连接运算（join） 联接有两种：θ联接和自然联接（这里θ是算术比较符）。 （1） θ联接 ≡{t︱ t=tr，ts ∧ tr∈R ∧ ts∈S ∧triθtsj } 第三十一页，共四十三页，2022年，8月28日 第一页，共四十三页，2022年，8月28日 Example of a Relation 第二页，共四十三页，2022年，8月28日 2.1 关系数据模型 关系数据结构描述 关系的笛卡尔积乘积定义 Domain（域）/datatype（数据类型） Cartesian Product （笛卡尔积） 定义 :设有一组域D1，D2，…，Dn，这些域可以部分或者全部相同。域D1，D2，…，Dn的笛卡尔乘积（Cartesian Products）定义为如下集合： D1×D2×…×Dn = {（d1，d2，…，dn）| di?Di，i=1，2，…，n} 其中每一个元素（d1，d2，…，dn）称为一个元组（Tuple），通常用t表示；元组中每一个值称为一个分量（Component）。 例子：总分登记表中的四个域 第三页，共四十三页，2022年，8月28日 2.1 关系数据模型 a relation is a subset of a Cartesian product 例子1：总分登记表? Domain(学号) ? Domain(姓名) ? Domain(性别) ? Domain(总分) 例子2：if relation t have 4 attributes, A1 , A2 , A3 , and A4, 则 T ? Domain(A1 ) x Domain(A2 ) x Domain(A3 ) x Domain(A4 ) 关系的二维表格描述 关系是满足特定规范性要求的二维表格 关系的规范化限定 关系的其他一些概念：数据库、关系（表）、属性、元组、基数、度数 第四页，共四十三页，2022年，8月28日 2.1 关系数据模型 键 超键、候选键、主键、外键 设X是关系R的一个或一组属性，但不是关系R的键。如果X与关系S的主键KS相对应，则称X是关系R的外键（Foreign key)。关系R为参照关系(Referencing Relation)。关系S为被参照关系(Referenced Relation)或目标关系(Target Relation)。 关系模式和关系实例 关系模式 关系模式（Relation Schema）。它是一个5元组： R (U, D, dom, F) 关系实例 第五页，共四十三页，2022年，8月28日 候选键（键）：{A,B}；{B,C}；{A,C}； 超键举例： {A,B,C}； {A,C,D}；{A,B} ；{B,C}；{A,C}； 订单关系中的货品号定义为外键 第六页，共四十三页，2022年，8月28日 关系的性质 在关系模型中，对关系作了下列规范性限制： （1）关系中每一个属性值都是不可分解的； （2）关系中不允许出现重复元组（即不允许出现相同的元组）； （3）由于关系是一个集合，因此不考虑元组间的顺序，即没有行序； （4）元组中的属性在理论上也是无序的，但使用时按习惯考虑列的顺序。 第七页，共四十三页，2022年，8月28日 2.1 关系数据模型 完整性约束 （1）实体完整性约束 实体完整性约束（Entity Integrity）要求组成主键的属性不能为空值， （2）参照完整性约束 参照完整性规则：如果X是关系R的外键,它与关系S的主键KS相对应，则对于R中每个元组在X上的值必须为： 或者为空值（X包含的所有属性都为空值） 或者等于S中某个元组的主键值 （3）用户定义完整性约束 例如：订货数不得小于0；订货数不得小于存货量 第八页，共四十三页，2022年，8月28日 例1 下面各种情况说明了参照完整性规则在关系中如何实现的。 ① 在关系数据库中有下列两个关系模式： S（S#，SNAME，AGE，SEX） SC（S#，C#，GRADE） 这里带下划线者为主键，SC关系中的S属性为外键。据规则要求关系SC中的S# 值应该在关系S中出现。如果关系SC中有一个元组（S7,C4,80），而学号S7却在关系S中找不到，那么我们就认为在关系SC中引用了一个不存在的学生实体，这就违反了参照完整性规则。 另外，在关系SC中S# 不仅是外键