- 关系数据库的数据结构
- 关系的形式化定义及有关概念
- 域:域是一组具有相同数据类型的值的集合。
- 笛卡尔积:D1×D2×…×Dn ={(d1,d2,…,dn)|diÎDi,i=1,2,…,n}
- 关系:笛卡尔积的任一子集称为定义在域D1,D2.....Dn上的n元关系
- 关系的性质
- 1、列是同质的,即每一列中的分量来自同一个域,必须是同一类型的数据
- 2、不同的属性可以来自同一个域,但不同的属性必须有不同的名字
- 3、列的顺序可以随意交换
- 4、元组的顺序可以任意
- 5、不允许出现相同的元组
- 6、所有属性值都是原子的
- 关系模式
- 在关系数据库中,关系模式是型,关系是值。
- 关系模式是对关系的描述
- 关系模式静态的、稳定的
- 关系是关系模式在某一时刻的状态或内容,是动态的、随时间不断变化的
- 关系的形式化定义及有关概念
- 关系的码
- 候选码(键)
- 若关系中的某一属性组的值能唯一地标识一个元组,则称该属性组为候选码
- 简单的情况:候选码只包含一个属性
- 主码(键)
- 若一个关系有多个候选码,则人为选定其中一个为主码(Primary key)
- 主属性
- 候选码的诸属性称为主属性,不包含在任何侯选码中的属性称为非主属性
- 外码
- 设F是基本关系R的一个或一组属性,但不是关系R的码。如果F与基本关系S的主码Ks相对应,则称F是基本关系R的外码
- 全码(All-key)
- 最极端的情况:关系模式的所有属性组是这个关系模式的候选码,称为全码(All-key)
- 候选码(键)
- 关系的完整性
- 实体完整性:若属性A是基本关系R的主属性,则属性A不能取空值
- (1) 实体完整性规则是针对基本关系而言的。一个基本表通常对应现实世界的一个实体集。
- (2) 现实世界中的实体是可区分的,即它们具有某种唯一性标识。
- (3) 关系模型中以主码作为唯一性标识。
- (4) 主码中的属性即主属性不能取空值。
- 主属性取空值,就说明存在某个不可标识的实体,即存在不可区分的实体,这与第(2)点相矛盾,因此这个规则称为实体完整性
- 参照完整性
- 若属性(或属性组)F是基本关系R的外码它与基本关系S的主码Ks相对应(基本关系R和S不一定是不同的关系),则对于R中每个元组在F上的值必须为:
- 或者取空值(F的每个属性值均为空值)
- 或者等于S中某个元组的主码值
- 若属性(或属性组)F是基本关系R的外码它与基本关系S的主码Ks相对应(基本关系R和S不一定是不同的关系),则对于R中每个元组在F上的值必须为:
- 用户定义的完整性
- 针对某一具体关系数据库的约束条件,反映所涉及的数据必须满足的语义要求。
- 实体完整性:若属性A是基本关系R的主属性,则属性A不能取空值
- 关系代数
- 传统的集合运算
- 并 R∪S
- 前提 (R和S)
- 具有相同的目n(即两个关系都有n个属性)
- 相应的属性取自同一个域
- R∪S :仍为n目关系,由属于R或属于S的元组组成
- 前提 (R和S)
- 差 R-S
- 仍为n目关系,由属于R而不属于S的所有元组组成
- 交 R∩S
- 仍为n目关系,由既属于R又属于S的元组组成
- 笛卡尔积 R×S
- 行:k1×k2个元组
- 列:(n+m)列元组的集合
- 后m列是关系S的一个元组
- 元组的前n列是关系R的一个元组
- 并 R∪S
- 传统的集合运算
- 专门的关系运算
- 选择
- 投影
- 连接
- 除
关系数据库
最新推荐文章于 2022-10-20 15:06:23 发布