XQuery語言原理和實(shí)現(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)的功能擴(kuò)展
1.3.1 XML數(shù)據(jù)更新功能
1.3.2 XQuery腳本語言
1.3.3 面向分布式計(jì)算的XQuery語言擴(kuò)展
1.3.4 面向Web應(yīng)用的XQuery語言擴(kuò)展
1.4 XQuery語言的實(shí)現(xiàn)技術(shù)
1.4.1 XML查詢代數(shù)
1.4.2 XML樹模式查詢
1.4.3 XQuery程序優(yōu)化
1.4.4 XQuery語言的編譯實(shí)現(xiàn)
1.4.5 XQuery語言的自動并行化
參考文獻(xiàn)
第2章 XQuery語言的語法和語義
2.1 數(shù)據(jù)模型和上下文
2.2 處理模型
2.3 語言結(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)的語言結(jié)構(gòu)
2.4 形式語義
2.4.1 抽象語法
2.4.2 語義的形式化描述
2.5 XQuery數(shù)據(jù)更新規(guī)范
2.6 XQuery腳本語言擴(kuò)展
2.7 總結(jié)
參考文獻(xiàn)
第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 查詢計(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 自動內(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 選擇移動
4.3.2 排序上浮
4.3.3 消除相關(guān)性
4.3.4 消除flat
4.4 各種程序優(yōu)化的執(zhí)行順序
4.5 總結(jié)
參考文獻(xiàn)
第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 標(biāo)準(zhǔn)樹模式的提取
5.4.2 GTP++模式的生成
5.5 總結(jié)
參考文獻(xiàn)
第6章 XML樹模式查詢的實(shí)現(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é)
參考文獻(xiàn)
第7章 XQuery語言編譯技術(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語言到SECD指令的翻譯
7.3.1 FXQL表達(dá)式的翻譯
7.3.2 樹模式查詢請求的翻譯
7.3.3 XML查詢原語的翻譯
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 樹模式查詢的Java字節(jié)碼實(shí)現(xiàn)
7.5 XQuery語言的動態(tài)編譯
7.5.1 XQuery語言的Hotspot編譯
7.5.2 XQuery程序模塊的編譯實(shí)現(xiàn)
7.5.3 動態(tài)編譯策略
7.6 總結(jié)
參考文獻(xiàn)
第8章 XQuery程序的自動并行化
8.1 XQuery程序的并行化處理
8.1.1 XQuery程序的三種并行處理方式
8.1.2 XQuery并行執(zhí)行引擎的結(jié)構(gòu)
8.2 XQuery語言的并行查詢計(jì)劃
8.2.1 可并行任務(wù)的任務(wù)圖
8.2.2 針對XQuery語言的任務(wù)分解方法
8.3 XQuery程序并行執(zhí)行的任務(wù)調(diào)度
8.3.1 XQuery程序的執(zhí)行代價模型
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)頁開發(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 事件響應(yīng)機(jī)制的支持
9.2.5 XQScript網(wǎng)頁開發(fā)案例
9.3 XQScript語言的實(shí)現(xiàn)原理
9.3.1 從XQScript程序到XHTML網(wǎng)頁的生成
9.3.2 XQScript軟件開發(fā)系統(tǒng)
9.4 XQScript語言的執(zhí)行引擎
9.4.1 快照語義的實(shí)現(xiàn)方法
9.4.2 HTML DOM對象操作的轉(zhuǎn)換
9.4.3 事件響應(yīng)函數(shù)的實(shí)現(xiàn)方法
9.5 XHTML網(wǎng)頁的生成
9.5.1 XQScript程序的預(yù)處理
9.5.2 XHTML網(wǎng)頁的生成過程
9.5.3 動態(tài)生成的XHTML文檔案例
9.6 XQuery語言的擴(kuò)展研究
9.7 總結(jié)
參考文獻(xiàn)