基于延遲求值的XQuery語言實現(xiàn)技術(shù).pdf

1、XML事實上已經(jīng)成為萬維網(wǎng)上的數(shù)據(jù)的通用格式標準，無論是消息、網(wǎng)頁、本地文件還是數(shù)據(jù)庫，都把XML作為一種數(shù)據(jù)存儲和交換的格式。面對網(wǎng)絡上大量的XML資源，如何才能有效地獲取感興趣的XML片段，以及如何把這些XML片斷組織起來這些問題變得尤為重要。XQuery語言的出現(xiàn)解決了上述問題。XQuery是一種能夠簡潔和清晰地表達XML查詢的函數(shù)式語言。延遲求值是函數(shù)式語言的一種重要優(yōu)化手段。在數(shù)學表述方面，延遲求值對應著入演算的規(guī)范規(guī)約，有著

2、深刻的數(shù)學背景。在程序設計方面，延遲求值語義下的程序更具有聲明性。對于典型的函數(shù)式語言，一些優(yōu)化方式，例如不變計算的提升和死代碼的移除，不經(jīng)仔細分析，在脫離延遲求值語義的情況下是無法采用的，因為這樣會改變程序執(zhí)行的終止性。對于XQuery語言的處理器，延遲求值是一種可用的并且是主要的優(yōu)化技術(shù)。通過延遲求值，可以消除不必要的計算，可以構(gòu)造和訪問數(shù)據(jù)量很大的有限、無限的序列。對于XML數(shù)據(jù)流的處理，使用延遲求值方式可以顯著地減小XML中間數(shù)

3、據(jù)的存儲空間開銷，提高系統(tǒng)的執(zhí)行效率。 本文介紹了XQuery語言的延遲求值器-XML Query Lazy Evaluator(XQLE)。系統(tǒng)采用形式簡潔的函數(shù)式語言-Functional XML Query Language(FXQL)作為中間語言。在數(shù)據(jù)模型上，XQLE使用可以容納閉包和XML結(jié)點的廣義表，支持廣義表結(jié)點的延遲計算。對于XML數(shù)據(jù)的獲取，采用延遲模式消除了與計算結(jié)果無關(guān)的數(shù)據(jù)的獲取開銷。在相當多的程序平均