術語索引

在計算機科學中，術語索引是一種數據結構，用于促進邏輯程序、演繹數據庫或自動定理檢驗器中的術語和條款的快速查找。

自動定理證明器中的許多操作需要在巨大的術語和條款集合中進行搜索。這類操作通常分為以下幾種情況。給定一個集合根據某種檢索條件。大多數有趣的檢索條件被表述為存在一個替換，該替換以一種特殊的方式將查詢和被檢索的對象聯系起來的子集/子多集。更多的時候，而不是僅僅為了確定這種替換的存在。很多時候，需要搜索的術語集規模很大，檢索調用頻繁，檢索條件測試也相當復雜。

中的線性搜索，當檢索條件被測試在每一個術語上時，每一個術語進行測試時，在S中進行線性搜索的成本過高。為了克服這個問題，我們設計了特殊的數據結構，稱為索引，以支持快速檢索。這樣的數據結構，以及伴隨的索引維護和檢索算法，被稱為術語索引技術。

鑒別樹替換樹路徑索引替換樹的性能優于路徑索引、鑒別樹索引和抽象樹。鑒別樹術語索引將其信息存儲在一個trie數據結構中。