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

关系模型由关系数据结构、关系操作集合和关系完整性约束三部分组成。

1. 域
   定义：域是一组具有相同数据类型的值的集合。

2. 笛卡尔积
   笛卡尔积是域上的一种集合运算。

一个域允许的不同取值个数称为这个域的基数。

3. 关系

D1XD2X...XDn 的子集叫做在域D1XD2X...XDn 上的关系，表示为：
            R(D1, D2, ..., Dn)
这里R表示关系的名字，n是关系的目和度。
关系中的每个元素是关系中的元组，通常用 t 表示
    当t = 1时，称该关系为单元关系，或一元关系。
    当t = 2时，称该关系为二元关系。

若关系中的某一属性组的值能唯一地标识一个元组，而其子集不能，则称该属性组为候选码（Condidate key）

若一个关系有多个候选码，则选定其中一个为主码（Primary key）
候选码的诸属性称为主属性。不包含在候选码中的属性称为非主属性，或非码属性。

关系可以有三种类型：基本关系，查询表和视图表。

关系是关系模式在某一时刻的状态或内容。关系模式是静态的、稳定的，而关系是动态的，随时间的变化而变化，因为关系操作在不断地更新着数据库中的数据。

关系数据库

关系数据库的型也称为关系数据库模式，是对关系数据库的描述。 关系数据库的值是这些关系模式在某一时刻对应的关系的集合，通常称为关系数据库。