关系数据结构及形式化定义：
关系模型的数据结构非常简单，只包含单一的数据结构——关系
现实世界的实体以及实体间的各种联系均用关系来表示
- 关系的形式化定义：
- 笛卡尔积：
- 笛卡尔积可表示为一张二维表
- 表中的每行对应一个元组，元组中的一个值叫做分量
- 表中的每列对应一个域
- 关系：关系是笛卡尔积的有限子集
- 相关概念：
- 域：是一组具有相同数据类型的值的集合
- 例：整数、实数、介于某个取值范围的整数、指定长度的字符串集合、{‘男’，‘女’}等
- 基数：一个域允许的不同取值个数
- 属性：关系中不同列称为属性，每个属性有一个名字
- 候选码：若关系中的某以属性组的值能唯一地标识一个元组，则称该属性组为候选码
- 全码：关系模式的所有属性组是这个关系模式的候选码，称为全码
- 主码：若一个关系有多个候选码，则选定其中一个为主码
- 主属性：候选码的诸属性称为主属性
- 非主属性(菲码属性)：不包含在任何候选码中的属性称为非主属性
- 域：是一组具有相同数据类型的值的集合
- 笛卡尔积：
- 关系的类型：
- 查询表：是查询结果对应的表
- 视图表：是由基本表或其他视图表导出的表，是虚表，不对应实际存储的数据
- 基本关系(基本表或基表)：
- 性质：
- 列是同质的（Homogeneous），即来自同一个属性
- 不同的列可出自同一个域，称其中的每一列为一个属性，不同的属性要给予不同的属性名
- 列的顺序无所谓,，列的次序可以任意交换
- 任意两个元组的候选码不能相同
- 行的顺序无所谓，行的次序可以任意交换
- 分量必须取原子值，即每一个分量都是不可分的数据项(规范条件中最基本的一条)
- 列是同质的（Homogeneous），即来自同一个属性
- 性质：
- 关系模式：
- 定义：关系模式是型，关系是值，关系模式是对关系的描述
- 关系模式是对关系的描述，是静态的、稳定的
- 关系是关系模式在某移时刻的状态或内容，是动态的、随时间不断变化的
- 指出关系的元组集合的结构
- 属性构成
- 属性来自的域
- 属性与域之间的映像关系
- 划出完整性约束条件
- 形式化定义：R(U，D，DOM，F)
- R：关系名
- U：组成该关系的属性名集合
- D：U中属性所来自的域
- DOM：属性向域的映像集合
- F：属性间数据的依赖关系的集合
- 定义：关系模式是型，关系是值，关系模式是对关系的描述
- 关系数据库：
- 定义：在一个给定的应用领域中，所有关系的集合构成一个关系数据库
- 型与值：
- 型：关系数据库模式，是对关系数据库的描述
- 值：关系模式在某一时刻对应的关系的集合
参考-《数据系统概论(第五版)》-人民大学-王珊