1、隨著數(shù)據(jù)庫(kù)技術(shù)的不斷發(fā)展，查詢優(yōu)化技術(shù)已經(jīng)形成了一個(gè)相對(duì)成熟的研究領(lǐng)域。查詢優(yōu)化的目的是為所給定的查詢表達(dá)式的計(jì)算選擇一個(gè)高效的執(zhí)行策略。XML查詢優(yōu)化涉及多個(gè)方面，主要包括邏輯優(yōu)化和物理優(yōu)化。邏輯優(yōu)化通過(guò)一系列等價(jià)轉(zhuǎn)換規(guī)則改寫查詢表達(dá)式，達(dá)到簡(jiǎn)化查詢的調(diào)優(yōu)執(zhí)行順序的目的。物理優(yōu)化通過(guò)估計(jì)不同執(zhí)行策略的代價(jià)，找到最優(yōu)的執(zhí)行策略。XML查詢執(zhí)行的效率與查詢本身的復(fù)雜度和查詢的大小有很大的關(guān)系，查詢最小化可通過(guò)刪除冗余部分或者改寫來(lái)精簡(jiǎn) X

2、ML查詢語(yǔ)句，降低查詢的大小，從源頭上降低查詢的大小以及查詢的復(fù)雜性，為查詢的進(jìn)一步優(yōu)化打下了基礎(chǔ)。
　　本文主要對(duì)XML查詢最小化的國(guó)內(nèi)外現(xiàn)狀進(jìn)行了分析，基于模式進(jìn)行了模式樹(shù)最小化技術(shù)研究：
　　1.分析了XML模式的約束信息，基于{-，？，*，+}約束，研究了三種完整性約束：準(zhǔn)孩子約束、準(zhǔn)后裔約束、同步約束，并運(yùn)用形式化的語(yǔ)言給出了這三種完整性約束的定義；
　　2.研究了時(shí)間復(fù)雜度為O(n2m2)的結(jié)點(diǎn)刪除算法，該

3、算法利用三種完整性約束刪除模式樹(shù)中的冗余結(jié)點(diǎn)。結(jié)點(diǎn)刪除算法主程序分為三步，分別實(shí)現(xiàn)了：簡(jiǎn)單葉結(jié)點(diǎn)冗余判斷、葉結(jié)點(diǎn)冗余判斷、非葉結(jié)點(diǎn)冗余判斷，達(dá)到了降低模式樹(shù)的規(guī)模的目的，并研究了算法正確性的證明過(guò)程；
　　3.在XML模式完整性約束的基礎(chǔ)上，通過(guò)廣泛研究查詢優(yōu)化算法，分別給出了準(zhǔn)后裔約束以及同步約束產(chǎn)生算法，對(duì)模式掃描過(guò)程進(jìn)行優(yōu)化。準(zhǔn)后裔約束產(chǎn)生算法和同步約束算法利用了二維表高效的數(shù)據(jù)結(jié)構(gòu)，成功的減少了對(duì)模式的反復(fù)遍歷，使用擴(kuò)展的