0.思维导图![在这里插入图片描述](https://i-blog.csdnimg.cn/blog_migrate/5bb43dfa215d2f0fd6031f63a6ec5566.png)
1.关系
什么是关系?
- 单一的数据结构----关系
现实世界的实体以及实体间的各种联系
均用关系来表示 - 逻辑结构----二维表
从用户角度,关系模型中数据的逻辑结构是一张二维表
- 建立在集合代数的基础上
(1)域(Domain)
- 域是一组具有
相同数据类型
的值的集合
。例:
整数
实数
介于某个取值范围的整数
长度指定长度的字符串集合
{‘男’,‘女’}
………………
(2)笛卡尔积(Cartesian Product)
笛卡尔积
给定一组域D1,D2,…,Dn,这些域中可以有相同的。(即D1,D2可以均是整数域)
D1,D2,…,Dn的笛卡尔积
为:
所有域的所有取值的一个组合
不能重复元组(Tuple)
笛卡尔积中每一个元素
(d1,d2,…,dn)叫作一个n元组(n-tuple)或简称元组
(Tuple);
(张清玫,计算机专业,李勇)、(张清玫,计算机专业,刘晨)等都是元组 ;分量(Component)
每一个元组由n个值组成
笛卡尔积元素(d1,d2,…,dn)中的每一个值di
叫作一个分量
;
张清玫、计算机专业、李勇、刘晨等都是分量 ;基数(Cardinal number)
可以把基数看做笛卡尔积元素的个数,即元组的个数;
若Di(i=1,2,…,n)为有限集,其基数为mi(i=1,2,…,n),则D1×D2×…×Dn的基数M为:
- 笛卡尔积的表示方法:
笛卡尔积可表示为一个二维表
;
表中的每行对应一个元组
,表中的每列对应一个域
;
关系(Relation)
关系
·笛卡尔积·D1×D2×…×Dn的子集
叫作在域D1,D2,…,Dn上的关系,表示为:
R:关系名
n:关系的目或度(Degree)
码
候选码(Candidate key)
若关系中的某一属性组
的值能唯一地标识
一个元组,则称该属性组为候选码;
如学号,若名字不重名名字也可以作为候选码
简单的情况:候选码只包含一个属性;全码(All-key)
最极端的情况:关系模式的所有属性组是这个关系模式的候选码,称为全码(All-key);
//不是每一个属性都可以确定,是所有属性加一起才能确定一个元组主码
若一个关系有多个候选码
,则选定其中一个
为主码(Primary key);主属性
候选码的诸属性称为主属性(
Prime attribute);
不包含在任何侯选码中的属性称为非主属性
(`Non-Prime attribute)或非码属性(Non-key attribute) ;
- D1,D2,…,Dn的笛卡尔积的
某个子集才有实际含义
·例:上图·表 的笛卡尔积没有实际意义
取出有实际意义的元组来构造关系
关系:SAP(SUPERVISOR,SPECIALITY,POSTGRADUATE)
假设:导师与专业:1:1, 导师与研究生:1:n
主码:POSTGRADUATE(假设研究生不会重名)
SAP关系可以包含三个元组:{ (张清玫,计算机专业,李勇), (张清玫,计算机专业,刘晨),(刘逸,信息专业,王敏) }
(4)三类关系
基本关系
(基本表或基表)
实际存在的表,是实际存储数据的逻辑表示查询表
查询结果对应的表视图表
由基本表或其他视图表导出的表,是虚表,不对应实际存储的数据基本关系(二维表)的性质
① 列是同质的(Homogeneous);
② 不同的列可出自同一个域,- 其中的每一列称为一个属性,
- 不同的属性要给予不同的属性名;
③列的顺序无所谓
,列的次序可以任意交换;
④ 任意两个元组的候选码不能相同; - 候选码相同了,相当于同一个实体
- 候选码确定元组的其他值,候选码相同,表明两个元组重复
⑤ 行的顺序无所谓,行的次序可以任意交换;
⑥分量必须取原子值
,这是规范条件中最基本的一条;
2.关系模式
(1)什么是关系模式
关系模式(Relation Schema)是型
是描述关系的结构
关系是值
- 元组集合的结构
- 属性构成
- 属性来自的域
- 属性与域之间的映象关系
- 元组语义以及完整性约束条件
- 属性间的数据依赖关系集合
(2)定义关系模式
形式化地表示关系模式:
- R(U,D,DOM,F)
- R 关系名
- U 组成该关系的属性名集合
- D 属性组U中属性所来自的域
- DOM 属性向域的映象集合
- F 属性间的数据依赖关系集合