第二章 关系数据库：关系数据结构及形式化定义

关系：

1.域（Domain）：是一组具有相同数据类型的值的集合

2.笛卡尔积（Cartesain Product）：/*参考离散数学*/

元组（Tuple）：笛卡尔积中每一个元素<d1,d2......dn>叫做一个n元组

分量（Component）：笛卡尔积元素中每一个值di叫做一个分量

基数（Cardinal number）：可能的元组的个数的max

3.关系：D1,D2...Dn的笛卡尔积的某个子集叫做在域D1XD2...Dn上的关系

候选码（Candidate Key）：若关系中某一属性组的值唯一的标识一个元组，则该属性为候选码

全码（All Key）：最极端的情况，关系模式的所有属性组是这个关系模式的候选码，为全码

主码（Primary Key）：若一个关系有多个候选码，则选定一个为主码

主属性（Primary altribute）：候选码的诸属性

三类关系：

基本关系（基本表）：实际存在的表，是实际存储数据的逻辑表示

查询表：查询结果对应的表

视图表：由基本表或其他视图表导出的表，是虚表

基本关系的性质：

1.列是同质的（Homogeneous）

2.不同的列可出自同一个域

3.列的顺序无所谓，次序可以随意调换

4.任意两个元组的候选码不能相同

5.行的顺序无所谓，次序可以随意调换

关系模式：

关系模式是型，关系是值，关系模式是对关系的描述

关系模式可以形式化地表示为：R（U,D,DOM,F）

R：关系名

U：组成该关系的属性名集合

D：属性组U中属性来自的域

DOM：属性向域的映像集合

F：属性之间的数据依赖关系集合

关系数据库：

关系数据库的型：关系数据库模式

关系数据库的值：关系模式在某一时刻对应的关系的集合，简称为关系数据库