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

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

1.1.1 关系
关系模型的数据结构只包含单一的数据结构—关系，在用户看来，关系模型中数据结构的逻辑结构是一张扁平的二维表。现实世界的实体以及实体间的各种联系均用单一的结构类型，即关系表示。
1.域（domain）
域是一种具有相同数据类型的值的集合。例如：自然数、指数、{男，女}、{0，1}。
2.笛卡尔积
笛卡尔积是域上的一种集合运算，是不可重复的。D1×D2×…×Dn={(d1,d2,…,dn)|di∈Di,i=1,2,…,n}，其中，每一个元素（d1,d2,…,dn）叫做一个n元组，简称元组。元素中的每一个值di叫做一个分量。
一个域允许的不同取值个数成为这个域的基数。若Di(i=1,2,…,n）为有限集，其基数为mi(i=1,2，…，n)，则D1×D2×…×Dn的基数M为
笛卡尔积的表示方法：可表示为一个二维表，表中的每行对应一个元组，表中的每列对应一个域。
3.关系（relation）
D1×D2×…×Dn的自己叫做在域D1,D2,…,Dn上的关系，表示为R