数据库关系模型基础:从域、关系到关系代数的完整解析

发布时间:2026/7/19 18:08:47
数据库关系模型基础:从域、关系到关系代数的完整解析
一.与关系相关的名词1.域具有相同类型值的集合例整数实数介于某一个取值范围的整数指定长度的字符串集合等。2.笛卡尔积1元组笛卡尔积中每一个元素的d1d2d3称为一个n元组简称元组。2分量笛卡尔积元素中的每一个值都可以称为分量。3笛卡尔积的表示方法笛卡尔积可以表示成一个二维表表中每一行表示一个元组每一列 对应一个域。注笛卡尔积的结果不一定都有意义。一个导师只可以教一个专业3.基数域中的可能取值数量。若D i i 1,2...,n为有限集它的基数为m i i 1,2...,n则D1*D2*...D n的基数为 M m1*m2*...m n。其中Di指的是域。二.关系1.关系D1*D2*...*D n的子集称作在域D1D2...D n上的关系表示为关系名称属性1属性 2...属性n。其中n称为关系的目或者度n目关系必有n个属性。n取一时称为单元关系n取二时称二元关系。例学生信息学号姓名...2.元组关系中的每个元素是关系中的元组通常用t表示。3.码码是一个属性1候选码能够唯一确定一个元组的属性组。注候选码可以包含多个属性。2全码最极端的情况关系模型中的所有属性组是这个关系的候选码。3主码从候选码中选择一个作为主码。4主属性候选码中的属性都称为主属性。5非主属性不是主属性的属性。4.三类关系表1基本关系基本表.基表实际存在的表实际存储数据在数据库里真实存在。2查询表查询结果对应的表。3视图表由基本表或者其他视图表导出的表虚表不对应实际存储的数据。5.基本关系的性质1列是同质的即有相同的性质。2不同列可以出自相同的域每一列称为一个属性不同属性应给予不同名称。3列和行的顺序无所谓。4任意两个元组的候选码不可以相同。5分量必须取原子值。三.关系模式1.定义表的框架结构列名、数据类型、约束等是对于关系的描述。2.表示方法RU,D,DOM,FR关系名U组成该关系的属性名集合D域取值范围DOM取值范围和属性之间的映象F属性中的数据依赖关系集合3.关系模型的三类完整性约束。1实体完整性若属性A为关系的主属性则A不能取空。2参照完整性各个表中的数据必须能够对上。注关系R与S不一定相同外码不一定与相应的主码同名。3用户定义完整性用户根据现实生活需要来定义。4.关系模式与关系1关系模式是静态的稳定的。2关系随着时间不断变化。四.关系代数1.并关系R与关系S有相同的目R U S { t | t ∈ R V t ∈ S}。2.差关系R与关系S有相同的目R - S { t | t ∈ R ^ t ∉ S}。3.交关系R与关系S有相同的目R ∩ S { t | t ∈ R ^ t ∈ S}。R ∩ S R - R - S4.笛卡尔积(广义的笛卡尔积)Rn目关系k1个元组Sm目关系k2个元组。5.选择选择符合条件的行x1与y1之间用比较运算符连接x1y1为属性名或常量亦或简单函数也可以用编号来表示属性。6.投影从R中选择若干属性列组成新的关系A 表示R中的属性列7.连接表示从两个关系的笛卡尔积中选取属性之间满足一定关系的元组AB分别为R与S上面度数相等并且可比的属性组1等值连接AB用等于关系连接2自然连接一种特殊的等值连接两个关系进行比较的必须是相同属性在结果中把相同的属性列去掉行与列角度同时进行计算悬浮元组在RS进行自然连接时被舍弃的元组外连接将舍弃的元组也保存在结果关系中其他属性填写空值左外连接只保留左边关系R的悬浮元组右外连接只保留右边关系S的悬浮元组8.除给定两个关系 R(X, Y) 和 S(Y, Z)其中 X、Y、Z 是属性组R 与 S 的除运算结果是一个新关系 P(X)其元组满足在 R 中这些元组在 X 上的分量值 x 所对应的 Y 值集合称为“象集”必须完全包含 S 在 Y 上的投影集合。五.关系数据库1.定义在给定的一个应用领域中所有的关系的集合构成一个关系数据库。2.关系数据库的型与值1关系数据库的型规定了每一列从哪一个域取值。2关系数据库模式所有关系数据库的型的集合。3关系数据库的值带着具体数据的二维表。3.常用关系操作增删改查。查询选择投影连接除交并差。