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

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