关系数据结构和形式化定义
关系
笛卡尔积:
可表示一张二维表,行->元组 列->域
基数 :一个域的不同取值个数
候选码:某一属性的值能唯一标识一个元组,自己不能。主码 全码 主属性 非主属性。
关系三中类型
基本表,查询表和识图表
性质:
(1)列同质 每一列分量同一数据类型 来自同一域
(2)不同列可出自同一域,称每一列为一个属性,给予不同属性名
(3)行,列顺序无所谓
(4)任意两个元组候选码不能取相同值
(5)分量取原子值
关系的每一个分量必须是不可分的数据项
关系完整性
1,实体完整性
2,参照完整性
3,用户定义完整性
关系代数
选择: 从关系R中选取使逻辑表达式F为真的元组
投影:从R中选出若干属性列组成新的关系
投影之后,就取消某些列,就可能出现重复,应取这些完全相同的行。
连接:
等值连接:从关系R与S的(广义)笛卡尔积选去属性值想等的元组。
自然连接:要求两个关系中分量进行比较必须同名的属性组,并把结果重复的属性列去掉。
外链接:悬浮元组保存在结果关系中,而其它属性填空值(NULL)。
左/右外连接:只保留左/右边关系R(S)中悬浮元组
除法:
元组在X上的分量值x的象集Yx包含S在Y上投影的集合
5中基本运算
并、差、笛卡尔积、选择和投影。