XQuery語(yǔ)言原理和實(shí)現(xiàn)技術(shù)

前言
第1章 緒論
1.1 引言
1.2 XQuery語(yǔ)言的基礎(chǔ)知識(shí)
1.2.1 XML
1.2.2 XPath語(yǔ)言
1.2.3 XQuery 1.0語(yǔ)言
1.3 XQuery語(yǔ)言相關(guān)的功能擴(kuò)展
1.3.1 XML數(shù)據(jù)更新功能
1.3.2 XQuery腳本語(yǔ)言
1.3.3 面向分布式計(jì)算的XQuery語(yǔ)言擴(kuò)展
1.3.4 面向Web應(yīng)用的XQuery語(yǔ)言擴(kuò)展
1.4 XQuery語(yǔ)言的實(shí)現(xiàn)技術(shù)
1.4.1 XML查詢代數(shù)
1.4.2 XML樹(shù)模式查詢
1.4.3 XQuery程序優(yōu)化
1.4.4 XQuery語(yǔ)言的編譯實(shí)現(xiàn)
1.4.5 XQuery語(yǔ)言的自動(dòng)并行化
參考文獻(xiàn)
第2章 XQuery語(yǔ)言的語(yǔ)法和語(yǔ)義
2.1 數(shù)據(jù)模型和上下文
2.2 處理模型
2.3 語(yǔ)言結(jié)構(gòu)
2.3.1 整體結(jié)構(gòu)與聲明部分
2.3.2 XQuery表達(dá)式
2.3.3 XPath路徑表達(dá)式
2.3.4 FLWOR和量化表達(dá)式
2.3.5 XML節(jié)點(diǎn)構(gòu)造表達(dá)式
2.3.6 類型相關(guān)的語(yǔ)言結(jié)構(gòu)
2.4 形式語(yǔ)義
2.4.1 抽象語(yǔ)法
2.4.2 語(yǔ)義的形式化描述
2.5 XQuery數(shù)據(jù)更新規(guī)范
2.6 XQuery腳本語(yǔ)言擴(kuò)展
2.7 總結(jié)
參考文獻(xiàn)
第3章 中間語(yǔ)言與查詢代數(shù)
3.1 FXQL語(yǔ)言
3.1.1 FXQL程序的案例
3.1.2 FXQL/1語(yǔ)言的數(shù)據(jù)模型
3.1.3 FXQL/1語(yǔ)言的語(yǔ)法
3.1.4 FXQL/1語(yǔ)言的語(yǔ)義
3.2 XML查詢代數(shù)
3.2.1 XML查詢代數(shù)的發(fā)展
3.2.2 XQA查詢代數(shù)
3.3 查詢計(jì)劃的生成
3.3.1 FLWOR表達(dá)式的翻譯
3.3.2 具有Orderby子句的FLWOR表達(dá)式的翻譯
3.3.3 XPath表達(dá)式的翻譯
3.3.4 其他XQuery表達(dá)式的翻譯
3.3.5 XQuery程序的翻譯案例
3.4 總結(jié)
參考文獻(xiàn)
第4章 XQuery程序優(yōu)化技術(shù)
4.1 FXQL表達(dá)式的圖形化表示
4.2 FXQL代碼優(yōu)化
4.2.1 自動(dòng)內(nèi)聯(lián)
4.2.2 復(fù)制傳播
4.2.3 循環(huán)不變量外提
4.2.4 消除公共子表達(dá)式
4.3 XML數(shù)據(jù)查詢的邏輯優(yōu)化
4.3.1 選擇移動(dòng)
4.3.2 排序上浮
4.3.3 消除相關(guān)性
4.3.4 消除flat
4.4 各種程序優(yōu)化的執(zhí)行順序
4.5 總結(jié)
參考文獻(xiàn)
第5章 XML查詢模式及其語(yǔ)言支持
5.1 XML樹(shù)模式查詢
5.1.1 XML樹(shù)模式查詢的概念
5.1.2 XML查詢模式的發(fā)展
5.2 GTP++樹(shù)模式查詢
5.3 FXQL/2語(yǔ)言
5.3.1 FXQL/2語(yǔ)言的語(yǔ)法
5.3.2 GTP++模式的語(yǔ)言表示案例
5.3.3 FXQL/2語(yǔ)言的數(shù)據(jù)模型
5.3.4 FXQL/2語(yǔ)言的形式語(yǔ)義
5.4 樹(shù)模式提取算法
5.4.1 標(biāo)準(zhǔn)樹(shù)模式的提取
5.4.2 GTP++模式的生成
5.5 總結(jié)
參考文獻(xiàn)
第6章 XML樹(shù)模式查詢的實(shí)現(xiàn)方法
6.1 XML樹(shù)模式查詢算法的發(fā)展
6.2 GTP++查詢算法
6.2.1 樹(shù)模式查詢結(jié)果的表示
6.2.2 GTP++樹(shù)模式查詢算法
6.3 多級(jí)樹(shù)模式查詢
6.4 FXQL/3語(yǔ)言
6.4.1 多級(jí)樹(shù)模式的語(yǔ)言表示
6.4.2 多級(jí)樹(shù)模式的生成
6.4.3 FXQL/3語(yǔ)言的形式語(yǔ)義
6.5 多級(jí)樹(shù)模式的查詢算法
6.6 基于多級(jí)樹(shù)模式的查詢優(yōu)化
6.6.1 內(nèi)部樹(shù)模式的提升
6.6.2 樹(shù)模式提升算法
6.7 總結(jié)
參考文獻(xiàn)
第7章 XQuery語(yǔ)言編譯技術(shù)
7.1 XQuery編譯技術(shù)的發(fā)展
7.2 基于SECD抽象機(jī)的XQuery編譯方案
7.2.1 SECD抽象機(jī)模型
7.2.2 XQuery編譯系統(tǒng)結(jié)構(gòu)
7.2.3 擴(kuò)展的SECD抽象機(jī)
7.2.4 抽象機(jī)指令系統(tǒng)
7.2.5 作為目標(biāo)代碼的Java字節(jié)碼
7.2.6 XQuery程序的編譯案例
7.3 從FXQL語(yǔ)言到SECD指令的翻譯
7.3.1 FXQL表達(dá)式的翻譯
7.3.2 樹(shù)模式查詢請(qǐng)求的翻譯
7.3.3 XML查詢?cè)Z(yǔ)的翻譯
7.4 SECD抽象機(jī)的字節(jié)碼實(shí)現(xiàn)
7.4.1 Java虛擬機(jī)的體系結(jié)構(gòu)
7.4.2 Java棧幀和數(shù)組表示
7.4.3 Java類文件結(jié)構(gòu)
7.4.4 SECD機(jī)的實(shí)現(xiàn)方法
7.4.5 從SECD指令到Java字節(jié)碼的翻譯
7.4.6 樹(shù)模式查詢的Java字節(jié)碼實(shí)現(xiàn)
7.5 XQuery語(yǔ)言的動(dòng)態(tài)編譯
7.5.1 XQuery語(yǔ)言的Hotspot編譯
7.5.2 XQuery程序模塊的編譯實(shí)現(xiàn)
7.5.3 動(dòng)態(tài)編譯策略
7.6 總結(jié)
參考文獻(xiàn)
第8章 XQuery程序的自動(dòng)并行化
8.1 XQuery程序的并行化處理
8.1.1 XQuery程序的三種并行處理方式
8.1.2 XQuery并行執(zhí)行引擎的結(jié)構(gòu)
8.2 XQuery語(yǔ)言的并行查詢計(jì)劃
8.2.1 可并行任務(wù)的任務(wù)圖
8.2.2 針對(duì)XQuery語(yǔ)言的任務(wù)分解方法
8.3 XQuery程序并行執(zhí)行的任務(wù)調(diào)度
8.3.1 XQuery程序的執(zhí)行代價(jià)模型
8.3.2 XQuery程序執(zhí)行的任務(wù)調(diào)度
8.3.3 XQuery并行執(zhí)行引擎的實(shí)現(xiàn)算法
8.4 總結(jié)
參考文獻(xiàn)
第9章 基于XQuery的網(wǎng)頁(yè)開(kāi)發(fā)語(yǔ)言
9.1 Web客戶端網(wǎng)頁(yè)開(kāi)發(fā)語(yǔ)言
9.2 XQScript語(yǔ)言
9.2.1 瀏覽器對(duì)象及其文檔對(duì)象的引用
9.2.2 瀏覽器對(duì)象及其文檔對(duì)象的更新
9.2.3 JavaScript內(nèi)置對(duì)象的方法激活
9.2.4 事件響應(yīng)機(jī)制的支持
9.2.5 XQScript網(wǎng)頁(yè)開(kāi)發(fā)案例
9.3 XQScript語(yǔ)言的實(shí)現(xiàn)原理
9.3.1 從XQScript程序到XHTML網(wǎng)頁(yè)的生成
9.3.2 XQScript軟件開(kāi)發(fā)系統(tǒng)
9.4 XQScript語(yǔ)言的執(zhí)行引擎
9.4.1 快照語(yǔ)義的實(shí)現(xiàn)方法
9.4.2 HTML DOM對(duì)象操作的轉(zhuǎn)換
9.4.3 事件響應(yīng)函數(shù)的實(shí)現(xiàn)方法
9.5 XHTML網(wǎng)頁(yè)的生成
9.5.1 XQScript程序的預(yù)處理
9.5.2 XHTML網(wǎng)頁(yè)的生成過(guò)程
9.5.3 動(dòng)態(tài)生成的XHTML文檔案例
9.6 XQuery語(yǔ)言的擴(kuò)展研究
9.7 總結(jié)
參考文獻(xiàn)