1. 程式人生 > 其它 >B樹、B-樹、B+樹、B*樹之間的關係

B樹、B-樹、B+樹、B*樹之間的關係

B樹、B-樹、B+樹、B*樹之間的關係

根節點、子節點,以及葉子節點的區別

所謂的樹形結構就是各個元素之間具有分層關係的資料結構,常用一棵倒置的樹來表示邏輯關係。

所謂的根節點就是樹的最頂端的節點,

繼續往下分為子節點,

當不斷細分直到不再有子節點時為葉子節點。

聚簇索引與非聚簇索引

Mysql的innodb中,B+樹索引只有兩種,一個是聚簇索引(主鍵索引)一個是非聚簇索引(非主鍵的其他索引,無論是否唯一),聚簇索引索引葉子節點 key 為主鍵 value 包含整行資料,非聚簇索引的葉子節點的 key 為索引欄位 value 是主鍵的值。所以當命中普通索引時查詢的欄位不在索引中,會先獲取到主鍵的值後再去主鍵的索引樹中獲取整行資料,這個稱之為回表。然後覆蓋索引(聯合索引)就是因為不用回表所以會更快一些。

B樹就是B-樹

B-tree樹即B樹,B即Balanced,平衡的意思。因為B樹的原英文名稱為B-tree,而國內很多人喜歡把B-tree譯作B-樹,其實,這是個非常不好的直譯,很容易讓人產生誤解。如人們可能會以為B-樹是一種樹,而B樹又是另一種樹。而事實上是,B-tree就是指的B樹

二叉搜尋樹

  1. 所有非葉子結點至多擁有兩個兒子(Left和Right);

    1. 所有結點儲存一個關鍵字;

      1. 非葉子結點的左指標指向小於其關鍵字的子樹,右指標指向大於其關鍵字的子樹;

示例:

二叉搜尋樹的搜尋,從根結點開始,如果查詢的關鍵字與結點的關鍵字相等,那麼就命中;

否則,如果查詢關鍵字比結點關鍵字小,就進入左兒子;

如果比結點關鍵字大,就進入右兒子;

如果左兒子或右兒子的指標為空,則報告找不到相應的關鍵字;

如果二叉搜尋樹的所有非葉子結點的左右子樹的結點數目均保持差不多(平衡),那麼B樹的搜尋效能逼近二分查詢;

但它比連續記憶體空間的二分查詢的優點是,改變二叉搜尋樹結構(插入與刪除結點)不需要移動大段的記憶體資料,甚至通常是常數開銷;

示例:

但二叉搜尋樹在經過多次插入與刪除後,有可能導致不同的結構:

右邊也是一個二叉搜尋樹,但它的搜尋效能已經是線性的了;

同樣的關鍵字集合有可能導致不同的樹結構索引;

所以,使用二叉搜尋樹還要考慮儘可能讓B樹保持左圖的結構,和避免右圖的結構,也就是所謂的“平衡”問題;

實際使用的二叉搜尋樹都是在原二叉搜尋樹的基礎上加上平衡演算法,即“平衡二叉樹”;

如何保持B樹結點分佈均勻的平衡演算法是平衡二叉樹的關鍵;

平衡演算法是一種在二叉搜尋樹中插入和刪除結點的策略;

B樹(B-樹)

是一種多路搜尋樹(並不是二叉的):

  1. 定義任意非葉子結點最多隻有M個兒子;且M>2;

  2. 根結點的兒子數為[2, M];

  3. 除根結點以外的非葉子結點的兒子數為[M/2, M];

  4. 每個結點存放至少M/2-1(取上整)和至多M-1個關鍵字;(至少2個關鍵字)

  5. 非葉子結點的關鍵字個數=指向兒子的指標個數-1;

  6. 非葉子結點的關鍵字:K[1], K[2], …, K[M-1];且K[i] < K[i+1];

  7. 非葉子結點的指標:P[1], P[2], …, P[M];其中P[1]指向關鍵字小於K[1]的子樹,P[M]指向關鍵字大於K[M-1]的子樹,其它P[i]指向關鍵字屬於(K[i-1], K[i])的子樹;

  8. 所有葉子結點位於同一層;

示例:(M=3)

B-樹的搜尋,從根結點開始,對結點內的關鍵字(有序)序列進行二分查詢,如果命中則結束,否則進入查詢關鍵字所屬範圍的兒子結點;重複,直到所對應的兒子指標為空,或已經是葉子結點;

B-樹的特性

  1. 關鍵字集合分佈在整顆樹中;

  2. 任何一個關鍵字出現且只出現在一個結點中;

  3. 搜尋有可能在非葉子結點結束;

  4. 其搜尋效能等價於在關鍵字全集內做一次二分查詢;

  5. 自動層次控制;

由於限制了除根結點以外的非葉子結點,至少含有M/2個兒子,確保了結點的至少 利用率,其最底搜尋效能為:

其中,M為設定的非葉子結點最多子樹個數,N為關鍵字總數;

所以B-樹的效能總是等價於二分查詢(與M值無關),也就沒有B樹平衡的問題;

由於M/2的限制,在插入結點時,如果結點已滿,需要將結點分裂為兩個各佔M/2的結點;刪除結點時,需將兩個不足M/2的兄弟結點合併;

來模擬下查詢檔案29的過程

(1) 根據根結點指標找到檔案目錄的根磁碟塊1,將其中的資訊匯入記憶體。【磁碟IO操作1次】

(2) 此時記憶體中有兩個檔名17,35和三個儲存其他磁碟頁面地址的資料。根據演算法磁碟塊3,並將其中的資訊匯入記憶體。【磁碟IO操作2次】

(4) 此時記憶體中有兩個檔名26,30和三個儲存其他磁碟頁面地址的資料。根據演算法我們發現26<29<30,因此我們找到指標p2。

(5) 根據p2指標,我們定位到磁碟塊8,並將其中的資訊匯入記憶體。【磁碟IO操作3次】

(6) 此時記憶體中有兩個檔名28,29。根據演算法我們查詢到檔案29,並定位了該檔案記憶體的磁碟地址。

B+ 樹

B+樹是B-樹的變體,也是一種多路搜尋樹:

  1. 其定義基本與B-樹同,除了:
  2. 非葉子結點的子樹指標與關鍵字個數相同;
  3. 非葉子結點的子樹指標P[i],指向關鍵字值屬於[K[i], K[i+1])的子樹(B-樹是開區間);
  4. 為所有葉子結點增加一個鏈指標;
  5. 所有關鍵字都在葉子結點出現;

示例:(M=3)

B+的搜尋與B-樹也基本相同,區別是B+樹只有達到葉子結點才命中(B-樹可以在非葉子結點命中),其效能也等價於在關鍵字全集做一次二分查詢;

B+的特性

  1. 所有關鍵字都出現在葉子結點的連結串列中(稠密索引),且連結串列中的關鍵字恰好是有序的;

  2. 不可能在非葉子結點命中;

  3. 非葉子結點相當於是葉子結點的索引(稀疏索引),葉子結點相當於是儲存(關鍵字)資料的資料層;

  4. 更適合檔案索引系統;

B*樹

是B+樹的變體,在B+樹的非根和非葉子結點再增加指向兄弟的指標;

B * 定義了非葉子結點關鍵字個數至少為(2/3)*M,即塊的最低使用率為2/3(代替B+樹的1/2);

B+樹的分裂

當一個結點滿時,分配一個新的結點,並將原結點中1/2的資料複製到新結點,最後在父結點中增加新結點的指標;

B+樹的分裂隻影響原結點和父結點,而不會影響兄弟結點,所以它不需要指向兄弟的指標;

B*樹的分裂

當一個結點滿時,如果它的下一個兄弟結點未滿,那麼將一部分資料移到兄弟結點中,再在原結點插入關鍵字,最後修改父結點中兄弟結點的關鍵字(因為兄弟結點的關鍵字範圍改變了);

如果兄弟也滿了,則在原結點與兄弟結點之間增加新結點,並各複製1/3的資料到新結點,最後在父結點增加新結點的指標;

所以,B*樹分配新結點的概率比B+樹要低,空間使用率更高;

總結

二叉搜尋樹

二叉樹,每個結點只儲存一個關鍵字,等於則命中,小於走左結點,大於走右結點;

B(B-)樹

多路搜尋樹,每個結點儲存M/2到M個關鍵字,非葉子結點儲存指向關鍵字範圍的子結點;所有關鍵字在整顆樹中出現,且只出現一次,非葉子結點可以命中;

B+樹

在B-樹基礎上,為葉子結點增加連結串列指標,所有關鍵字都在葉子結點中出現,非葉子結點作為葉子結點的索引;B+樹總是到葉子結點才命中;

B*樹

在B+樹基礎上,為非葉子結點也增加連結串列指標,將結點的最低利用率從1/2提高到2/3;