1.3.1　邏輯結構

數據的邏輯結構（logical structure）是指在數據對象中數據元素之間的相互關系。數據元素之間存在不同的邏輯關系構成了以下4種結構類型。

（1）集合。結構中的數據元素除了同屬于一個集合外，數據元素之間沒有其他關系。這就像數學中的自然數集合，集合中的所有元素都屬于該集合，除此之外，沒有其他特性。例如，數學中的正整數集合{5,67,978,20,123,18}，集合中的數除了屬于正整數外，元素之間沒有其他關系。數據結構中的集合關系就類似于數學中的集合。集合表示如圖1.5所示。

（2）線性結構。結構中的數據元素之間是一對一的關系。線性結構如圖1.6所示。數據元素之間有一種先后的次序關系，a、b、c是一個線性表，其中，a是b的前驅，b是a的后繼。

（3）樹形結構。結構中的數據元素之間存在一種一對多的層次關系。樹形結構如圖1.7所示。這就像學校的組織結構圖，學校下面是教學的院系、行政機構及一些研究所。

（4）圖結構。結構中的數據元素是多對多的關系。圖1.8所示就是一個圖結構。城市之間的交通路線圖就是多對多的關系，a、b、c、d、e、f、g是7個城市，城市a和城市b、e、f都存在一條直達路線，而城市b也和a、c、f存在一條直達路線。

圖1.5　集合結構

圖1.6　線性結構

圖1.7　樹形結構

圖1.8　圖結構