T-tree

<h2 id="node-structures">Node structures</h2>
<p>A T-tree node usually consists of pointers to the parent node, the left and right child node, an ordered array of data pointers and some extra control data. Nodes with two <a href="/facts/Subtree/RcXz9noF">subtrees</a> are called <i>internal nodes</i>, nodes without <a href="/facts/Subtree/RcXz9noF">subtrees</a> are called <i>leaf nodes</i> and nodes with only one <a href="/facts/Subtree/RcXz9noF">subtree</a> are named <i>half-leaf</i> nodes. A node is called the <i>bounding node</i> for a value if the value is between the node's current minimum and maximum value, inclusively.
</p>

<p>For each internal node, leaf or half leaf nodes exist that contain the predecessor of its smallest data value (called the <i>greatest lower bound</i>) and one that contains the successor of its largest data value (called the <i>least upper bound</i>). Leaf and half-leaf nodes can contain any number of data elements from one to the maximum size of the data array. Internal nodes keep their occupancy between predefined minimum and maximum numbers of elements
</p>
<h2 id="algorithms">Algorithms</h2>
<h3>Search</h3>
<ul><li>Search starts at the root node</li>
<li>If the current node is the bounding node for the search value then search its data array. Search fails if the value is not found in the data array.</li>
<li>If the search value is less than the minimum value of the current node then continue search in its left subtree. Search fails if there is no left subtree.</li>
<li>If the search value is greater than the maximum value of the current node then continue search in its right subtree. Search fails if there is no right subtree.</li></ul>
<h3>Insertion</h3>
<ul><li>Search for a bounding node for the new value. If such a node exists then:
<ul><li>check whether there is still space in its data array, if so then insert the new value and finish</li>
<li>if no space is available then remove the minimum value from the node's data array and insert the new value. Now proceed to the node holding the greatest lower bound for the node that the new value was inserted to. If the removed minimum value still fits in there then add it as the new maximum value of the node, else create a new right subnode for this node.</li></ul></li>
<li>If no bounding node was found then insert the value into the last node searched if it still fits into it. In this case the new value will either become the new minimum or maximum value. If the value doesn't fit anymore then create a new left or right subtree.</li></ul>
<p>If a new node was added then the tree might need to be rebalanced, as described below.
</p>
<h3>Deletion</h3>
<ul><li>Search for bounding node of the value to be deleted. If no bounding node is found then finish.</li>
<li>If the bounding node does not contain the value then finish.</li>
<li>delete the value from the node's data array</li></ul>
<p>Now we have to distinguish by node type:
</p>
<ul><li>Internal node:</li></ul>
<p>If the node's data array now has less than the minimum number of elements then move the greatest lower bound value of this node to its data value. Proceed with one of the following two steps for the half leaf or leaf node the value was removed from.
</p>
<ul><li>Leaf node:</li></ul>
<p>If this was the only element in the data array then delete the node. Rebalance the tree if needed.
</p>
<ul><li>Half leaf node:</li></ul>
<p>If the node's data array can be merged with its leaf's data array without overflow then do so and remove the leaf node. Rebalance the tree if needed.
</p>
<h3>Rotation and balancing</h3>
<p>A T-tree is implemented on top of an underlying <a href="/facts/Self-balancing_binary_search_tree/W7WAsES0">self-balancing binary search tree</a>. Specifically, Lehman and Carey's article describes a T-tree balanced like an <a href="/facts/AVL_tree/DfexIbS6">AVL tree</a>: it becomes out of balance when a node's child trees differ in height by at least two levels. This can happen after an insertion or deletion of a node. After an insertion or deletion, the tree is scanned from the leaf to the root. If an imbalance is found, one <a href="/facts/Tree_rotation/R3SlGyI0">tree rotation</a> or pair of rotations is performed, which is guaranteed to balance the whole tree.
</p><p>When the rotation results in an internal node having fewer than the minimum number of items, items from the node's new child(ren) are moved into the internal node.
</p>
<h2 id="performance-and-storage">Performance and Storage</h2>
<p>Although T-trees were once widely used for main-memory databases because of performance benefits, recent trends for very large main-memory databases put more emphasis on provisioning cost. With modern NOSQL database systems often storing trillions of records, the memory cost to store even a single index that includes actual values can exceed tens or even hundreds of terabytes.
</p>
<h2 id="see-also">See also</h2>
<ul><li><a href="/facts/Tree_(graph_theory)/TCWk4Joy">Tree (graph theory)</a></li>
<li><a href="/facts/Tree_(set_theory)/5zkqfoz3">Tree (set theory)</a></li>
<li><a href="/facts/Tree_structure/R2vT5UIu">Tree structure</a></li>
<li><a href="/facts/Exponential_tree/IlXLv1Fn">Exponential tree</a></li></ul>
<h3>Other trees</h3>
<ul><li><a href="/facts/B-tree/IHE2l8GR">B-tree</a> (<a href="/facts/2%E2%80%933_tree/bPAFTAJP">2–3 tree</a>, <a href="/facts/2%E2%80%933%E2%80%934_tree/kFdeSPS4">2–3–4 tree</a>, <a href="/facts/B%2B_tree/pzzUL70k">B+ tree</a>, <a href="/facts/B*-tree/IHE2l8GR">B*-tree</a>, <a href="/facts/UB-tree/R8e3pdD4">UB-tree</a>)</li>
<li><a href="/facts/Dancing_tree/WLamyKeb">Dancing tree</a></li>
<li><a href="/facts/Fusion_tree/dJo3u0b0">Fusion tree</a></li>
<li><a href="/facts/K-d_tree/XuhcfKKq"><i>k</i>-d tree</a></li>
<li><a href="/facts/Octree/hNT74wvT">Octree</a></li>
<li><a href="/facts/Quadtree/6b23FQoD">Quadtree</a></li>
<li><a href="/facts/R-tree/9X5AQWln">R-tree</a></li>
<li><a href="/facts/Radix_tree/a1JKJPYc">Radix tree</a></li>
<li><a href="/facts/Top_tree/BkXWz9XF">Top tree</a></li></ul>

<h2 id="external-links">External links</h2>
<ul><li><a href="http://www.oracle.com/technology/products/timesten/htdocs/faq/technical_faq.html##6">Oracle TimesTen FAQ entry on index mentioning T-Trees</a></li>
<li><a href="http://www.oracle.com/technology/products/timesten/pdf/wp/timesten_tech_wp_dec_2005.pdf">Oracle Whitepaper: Oracle TimesTen Products and Technologies</a></li>
<li><a href="http://www.dependability.org/wg10.4/timedepend/08-Rasto.pdf">DataBlitz presentation mentioning T-Trees</a></li>
<li><a href="https://code.google.com/p/ttree/">An Open-source T*-tree Library</a></li></ul>

<h2 id="references">References</h2>

<ol>
<li id="fn:1"><p>Lehman, Tobin J.; Carey, Michael J. (25–28 August 1986). A Study of Index Structures for Main Memory Database Management Systems. Twelfth International Conference on Very Large Databases (VLDB 1986). Kyoto. ISBN 0-934613-18-4. <a href="0-934613-18-4" target="_blank">0-934613-18-4</a> <a href="#fnref:1" class="footnote-back-ref">↩</a></p></li>
</ol>

T-tree open-in-new

T-tree