互聯(lián)網(wǎng)技術(shù)關(guān)系數(shù)據(jù)結(jié)構(gòu)及形式化定義[1]

8.2.2 關(guān)系數(shù)據(jù)結(jié)構(gòu)及形式化定義

在關(guān)系模型中，無論是實體還是實體之間的聯(lián)系均由單一的結(jié)構(gòu)類型即關(guān)系（表）來表示。前面己經(jīng)非形式化地介紹了關(guān)系模型及有關(guān)的基本概念。關(guān)系模型是建立在集合代數(shù)的基礎(chǔ)上的，這里從集合論角度給出關(guān)系數(shù)據(jù)結(jié)構(gòu)的形式化定義。

1.關(guān)系

(1)域（Domain)

定義8.1域是一組具有相同數(shù)據(jù)類型的值的集合。

例如，自然數(shù)、整數(shù)、實數(shù)、長度小于25字節(jié)的字符串集合、{0,1}、大于等于0且小于等于100的正整數(shù)等，都可以是域。

　　(2)笛卡爾積（CartesianProduct)

其中，（張三，計算機專業(yè)，李四）、（張三，計算機專業(yè)，錢六）等都是元組。張三、計算機專業(yè)、李四、錢六等都是分量。

[1]  [2]