数据库第2章

2.1 关系数据结构及形式化定义
2.1.1 关系
单一的数据结构->关系：现实世界的实体以及实体间的各种联系均用关系来表示
数据的逻辑结构->二维表:从用户角度，关系模型中数据的逻辑结构是一张二维表。
关系模型建立在集合代数的基础上

1. 域
   一组具有相同数据类型的值的集合，例如：整数、实数、介于某个取值范围的整数、指定长度的字符串集合、{‘男’，‘女’}

2. 笛卡尔积
   笛卡尔积：
   给定一组域D1，D2，…，Dn（允许其中某些域是相同的），它们的笛卡尔积为：
   D1 × D2 × … × Dn ＝ {(d1，d2，…，dn)｜di ∈ Di，i＝1，2，…，n｝
   人话就是：所有域的所有取值的一个组合，不能重复组合。

分量（Component）:
笛卡尔积元素（d1，d2，…，dn）中的每一个值di叫作一个分量。

元组（Tuple）：
笛卡尔积中每一个元素（d1，d2，…，dn）叫作一个n元组（n-tuple）或简称元组，就是组合中的一种情况，n表示属性个数。

基数（Cardinal number）：
Di（i＝1，2，…，n）为有限集，基数为mi(i＝1，2，…，n)，则D1 × D2 × … × Dn基数 M 为：

人话就是：有限集的前提下，所有不重复的组合个数。

笛卡尔积的表示方法：
笛卡尔积可表示为一个二维表。表中的每行对应一个元组，表中的每列对应一个域，每个格子为一个分量。

3.关系
关系：
D1 × D2 × … × Dn的子集叫作在域D1，D2，…，Dn上的关系，表示为：

R（D1，D2，…，Dn）
R：关系名
n：关系的目或度（Degree）。
关系是笛卡尔积的有限子集，笛卡尔积不满足交换律，关系满足交换律（关系的每个列附加一个属性名以取消关系元组的有序性）。

元组：
关系中的每个元素是关系中的元组，通常用t表示。

单元关系与二元关系：
– 当n=1时，称该关系为单元关系（Unary relation）。
– 当n=2时，称该关系为二元关系（Binary relation）。

关系的表示：
关系也是一个二维表，表的每行对应一个元组，表的每列对应一个域。

属性（Attribute）：
关系中不同列可以对应相同的域，为了加以区分，必须对每列起一个名字，称为属性（Attribute）。n目关系必有n个属性。

码（Key）：

候选码（Candidate key）：若关系中的某一属性组的值能唯一地标识一个元组，而其子集不能，则称该属性组为候选码（如学号，身份证号）。
在最简单的情况下，候选码只包含一个属性。在最极端的情况下，关系模式的所有属性是这个关系模式的候选码，称为全码（All-key）。
若一个关系有多个候选码，则选定其中一个为主码（Primary key）。候选码的诸属性称为主属性（Prime attribute）。不包含在任何侯选码中的属性称为非码属性或非主属性（Non-key attribute）。