关系数据库

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

1 关系

域 是一组具有相同数据类型的值的集合。如自然数、整数、实数、{0，1}，{a,b,c}等。
笛卡儿积 是域上的一种集合运算，D1 x D2 x … x Dn，集合的每一个元素称为元组。
关系 D1 x D2 x … x Dn的子集叫做在域D1, D2, … , Dn上的关系，表示为R(D1,D2,…,Dn)，R表示关系的名字，n称为关系的目或度。
关系是笛卡儿积的有限子集，所以关系也是一张二维表，表的每一行对应一个元组，每一列对应一个域（属性）。
候选码 若关系中的某一组属性的值能唯一的表示一个元组，而其子集不能，则称该属性组为候选码。候选码的诸属性称为主属性，在不包含任何候选码中的属性称为非主属性或非码属性
主码 若一个关系有多个候选码，则选定其中一个为主码。
。

2 关系的完整性

实体完整性

若属性A（一个或一组）是基本关系R的主属性，则A不能取空值。如：学生（学号，姓名，专业）关系中学号为主码，则学号不能取空值。

参照完整性

若属性（组）F是基本关系R的外码，它与基本关系S的主码Ks相对应，则对于R中每个元组在F上的值必须：

• 取空值
• 或等于S中某个元组的主码值

用户定义的完整性

用户定义的完整性就是针对某一具体关系数据库的约束条件。

3 关系代数

关系代数是一种抽象的查询语言，它用对关系的运算来表达。

3.1 传统的集合运算

并(union)、差(except)、交(intersection)、笛卡儿积(cartesian product)。

3.2 专门的关系运算

选择、投影、连接、除。