2.1 关系数据结构及形式化定义

1. 关系数据结构及形式化定义

​ 按照数据模型的三个要素，关系模型由关系数据结构、关系操作集合和关系完整性约束三部分组成

1.1 关系

• 域：一组具有相同数据类型的集合

• 笛卡儿积：

  笛卡尔乘积是指在数学中，两个集合X和Y的笛卡尓积（Cartesian product），又称直积，表示为X × Y，第一个对象是X的成员而第二个对象是Y的所有可能有序对的其中一个成员 [1] 。 百度百科

• 关系：

  • 笛卡儿积的子集，表示为$R(D_1,D_2,...,D_n)$,n是关系的目或度

  • 某一属性组的值能唯一标识一个元组，而其子集不能，则称该属性组为候选码

  • 有多个候选码时选择一个为主码

  • 候选码包括所有属性时，成为全码

  • 关系可以有三种类型：

    • 基本关系（又称基本表、基表）
    • 查询表
    • 视图表

    基本关系满足6条性质，其中最基本的一条就是，每一个分量必须是一个不可再分的数据项

1.2 关系模式

在数据库中要区分型和值。关系数据库中，关系模型是型，关系是值。

​ 关系的描述称为关系模型，它可以形式化的表示为$R(U,D,DOM)$

1.3 关系数据库

• 关系数据库的型也成为关系数据库模式，是对关系数据库的描述。

• 关系数据库的值是这些关系模式在某一时刻对应的关系的集合，通常成为关系数据库