关系可以有三种类型:基本类型(基本表或者基表)、查询表和视图表
基本类型具有以下6条性质:
1.列是同质的(homogeneous),即每一列中的分量是同一类型的数据,来自同一个域;
2.不同的列可出自同一个域,称其中的每一列为一个属性,不同的属性要给予不同的属性名。当两种不同的属性的值取自同一个域时,要赋予属性不同的属性名;
3.列的顺序无所谓;
4.任意两个元组的候选码不能取相同的值;
5.行的顺序无所谓;
6.分量必须去原子值,即每一个分量都必须是不可分的数据项。
关系模型要求关系必须是规范化(normalization)的,最基本的条件是关系的每一个分量必须是一个不可分的数据项。规范化的关系简称为范式(Normal Form,NF)。
关系的描述成为关系模式(relation schema)。它可以形式化的表示为R(U,D,DOM,F)——其中R为关系名,U为组成该关系的属性名集合,D为U中属性所来自的域,DOM为属性向域的映像集合,F为属性间数据的依赖关系集合。