一、 关系数据结构及形式化定义
1. 关系
关系模型的数据结构只包含单一的数据结构——关系,逻辑结构——二维表,是建立在集合代数的基础上
-
域是一组具有相同数据类型的值的集合。例:
- 整数
- 实数
- 介于某个取值范围的整数
- 指定长度的字符串集合
- {‘男’,‘女’}
-
笛卡尔积
2. 关系模式
- 什么是关系模式
- 关系模式(Relation Schema)是型
- 关系是值
- 关系模式是对关系的描述
- 元组集合的结构
- 属性的构成
- 属性来自的域
- 属性与域之间的映像关系
- 完整性约束条件
- 元组集合的结构
- 定义关系模式
关系模式可以形式化地表示为:
R(U,D,DOM,F)
R:关系名
U:组成该关系地属性名集合
D:U中属性所来自地域
DOM:属性向域地映像集合
F:属性间数据的依赖关系的集合
- 关系模式与关系
- 关系模式
- 对关系的描述
- 静态的、稳定的
- 关系
- 关系模式在某一时刻的状态或内容
- 动态的、随时间不断变化的
- 关系模式和关系往往笼统称为关系
3.关系数据库
- 关系数据库
- 在一个给定的应用领域中,所有关系的集合构成一个关系数据库
- 关系数据库的型与值
- 关系数据库的型:关系数据库模式,是对关系数据库的描述
- 关系数据库的值:关系模式在某一时刻对应关系的集合,通常称为关系数据库
4. 关系模型的存储结构
关系数据库的物理组织
- 有的关系数据库管理系统中一个表对应一个操作系统文件,将物理数据组织交给操作系统完成
- 有的关系数据库管理系统从操作系统哪里申请若干个大的文件,自己划分文件空间,组织表、索引等存储结构,并进行存储管理
二、基本关系操作
-
常用的关系操作
- 查询操作:选择、投影、链接、除、并、差、交、笛卡尔积
- 选择、投影、并、差、笛卡儿积是5种基本操作
- 数据库更新:插入、删除、修改
- 查询操作:选择、投影、链接、除、并、差、交、笛卡尔积
-
关系操作的特点
- 集合操作方式:操作的对象和结果都是集合,一次一集合的方式
-
关系代数语言
- 用对关系的运算来表达查询要求
- 代表:ISBL
-
关系演算语言:用谓词来表达查询要求
- 元组关系演算语言
- 谓词变元的基本对象是元组变量
- 代表:APLHA、QUEL
- 域关系演算语言
- 谓词变元基本对象是域变量
- 代表:QBE
- 元组关系演算语言
-
具有关系代数和关系演算双重特点的语言
- 代表;SQL(Structured Query Language)
三、关系的完整性
- 实体的完整性和参照完整性
- 关系模型必须满足的完整性约束条件称为关系的两个不变性,应该由关系系统自动支持
- 用户定义的完整性
- 应用领域需要遵守需要遵循的约束条件,体现了具体领域中的语义约束
1. 实体完整性
-
实体完整性规则:
-
若属性A是基本关系R的主属性,则属性A不能取空值
-
空值就是”不知道“或”不存在“或”无意义“的值
-
-
实体完整性规则的说明
(1)实体完整性规则是针对基本关系而言的。一个基本表通常对应现实世界的一个实体集。
(2)现实世界中的实体是可区分的,即它们具有某种唯一性标识。
(3)关系模型中以主码作为唯一性标识。
(4)主码中的属性即主属性不能取空值。主属性取空值,就说明存在某个不可标识的实体,即存在不可区分的实体,这与第(2)点相矛盾,因此这个规则称为实体完整性
2. 参照完整性
1、关系间的引用
- 在关系模型中实体及实体间的联系都是用关系来描述的,自然存在着关系域盥洗间的引用。
2、外码(Foreogn Key)
-
设F是基本关系R的一个或一组属性,但不是关系R的码。如果F与基本关系S的主码Ks相对应,则称F是R的外码
-
基本关系R称为参照关系(Referencing Relation)
-
基本关系S称为被参照关系(Refrenced Relation)或目标关系(Target Relation)
-
关系R和S不一定是不同的关系
-
目标关系S的主码Ks 和参照关系的外码F必须定义在同一个(或一组)域上
-
外码并不一定要与相应的主码同名
当外码与相应的主码属于不同关系时,往往取相同的名 字,以便于识别
3、参照完整性规则
若属性(或属性组)F是基本关系R的外码它与基本关系S的主码Ks相对应(基本关系R和S不一定是不同的关系),则对于R中每个元组在F上的值必须为:
- 或者取空值(F的每个属性值均有空值)
- 或者等于S中某个元组的主码值
3. 用户定义的完整性
- 针对某一具体关系数据库的约束条件,反映某一具体应用所涉及的数据必须满足的语义要求
- 关系模型应提供定义和检验这类完整性的机制,以便用统一的系统的方法处理它们,而不需由应用程序承担这一功能
三、关系代数
未完待续