互联网技术关系数据结构及形式化定义[1]

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

在关系模型中，无论是实体还是实体之间的联系均由单一的结构类型即关系（表）来表示。前面己经非形式化地介绍了关系模型及有关的基本概念。关系模型是建立在集合代数的基础上的，这里从集合论角度给出关系数据结构的形式化定义。

1.关系

(1)域（Domain)

定义8.1域是一组具有相同数据类型的值的集合。

例如，自然数、整数、实数、长度小于25字节的字符串集合、{0,1}、大于等于0且小于等于100的正整数等，都可以是域。

　　(2)笛卡尔积（CartesianProduct)

其中，（张三，计算机专业，李四）、（张三，计算机专业，钱六）等都是元组。张三、计算机专业、李四、钱六等都是分量。

[1]  [2]