XQuery語言原理和實現技術

《XQuery語言原理和實現技術》是2013年科學出版社出版的圖書，作者是廖湖聲。

基本介紹

• 書名：XQuery語言原理和實現技術
• 作者：廖湖聲
• 出版社：科學出版社
• 出版時間：2013年4月
• 頁數：217 頁
• 開本：B5
• ISBN：9787030373663

內容簡介

《XQuery語言原理和實現技術》適用於從事計算機科學與技術領域相關研究或開發工作的專業技術人員參考，也可以作為高等院校計算機軟體與理論等相關專業研究生和本科生的教學用書。本書全面介紹了對國內外遠程安全控制模型、設計及其實現技術，主要內容包含：遠程控制協定的分類和模型，緊密相關的密碼學技術，最新的典型的遠程控制協定，基於符號模型和計算模型的自動化/手工方式分析與驗證遠程控制協定安全性。

圖書目錄

前言

第亞章 緒論

1.1 引言

1.2 XQuery語言的基礎知識

1.2.1 XML

1.2.2 XPath語言

1.2.3 XQuery 1.0語言

1.3 XQuery語言相關的功能擴展

1.3.1 XML數據更新功能

1.3.2 XQuery腳本語言

1.3.3 面向分散式計算的XQuery語言擴展

1.3.4 面向Web套用的XQuery語言擴展

1.4 XQuery語言的實現技術

1.4.1 XML查詢代數

1.4.2 XML樹模式查詢

1.4.3 XQuery程式最佳化

1.4.4 XQuery語言的編譯實現

1.4.5 XQuery語言的自動並行化

參考文獻

第2章 XQuery語言的語法和語義

2.1 數據模型和上下文

2.2 處理模型

2.3 語言結構

2.3.1 整體結構與聲明部分

2.3.2 XQuery表達式

2.3.3 XPath路徑表達式

2.3.4 FLWOR和量化表達式

2.3.5 XML節點構造表達式

2.3.6 類型相關的語言結構

2。4 形式語義

2.4.1 抽象語法

2.4.2 語義的形式化描述

2.5 XQuery數據更新規範

2.6 XQuery腳本語言擴展

2.7 總結

參考文獻

第3章 中間語言與查詢代數

3.1 FXQL語言

3.1.1 FXQL程式的案例

3.1.2 FXQL/1語言的數據模型

3.1.3 FXQL/1語言的語法

3.1.4 FXQL/1語言的語義

3.2 XML查詢代數

3.2.1 XML查詢代數的發展

3.2.2 XQA查詢代數

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 總結

參考文獻

第4章 XQuery程式最佳化技術

4.工 FXQL表達式的圖形化表示

4.2 FXQL代碼最佳化

4.2.1 自動內聯

4.2.2 複製傳播

4.2.3 循環不變數外提

4.2.4 消除公共子表達式

4.3 XML數據查詢的邏輯最佳化

4.3.1 選擇移動

4.3.2排序上浮

4.3.3 消除相關性

4.3.4 消除flat

4.4 各種程式最佳化的執行順序

4.5 總結

參考文獻

第5章 XML查詢模式及其語言支持

5.1 XML樹模式查詢

5.1.1 XML樹模式查詢的概念

5.1.2 XML查詢模式的發展

5.2 GTP++樹模式查詢

5.3 FXQL/2語言

5.3.1 FXQL/2語言的語法

5.3.2 GTP++模式的語言表示案例

5.3.3 FXQL/2語言的數據模型

5.3.4 FXQL/2語言的形式語義

5.4樹模式提取算法

5.4.1 標準樹模式的提取

5.4.2 G7P++模式的生成

5.5 總結

參考文獻

第6章 XML樹模式查詢的實現方法

6.1 XML樹模式查詢算法的發展

6.2 GTP++查詢算法

6.2.1 樹模式查詢結果的表示

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 基於多級樹模式的查詢最佳化

6.6.1 內部樹模式的提升

6.6.2 樹模式提升算法

6.7 總結

參考文獻

第7章 XQuery語言編譯技術

7.1 XQuery編譯技術的發展

7.2 基於SECD抽象機的XQuery編譯方案

7.2.1 SECD抽象機模型

7.2.2 XQuery編譯系統結構

7.2.3 擴展的SECD抽象機

7.2.4 抽象機指令系統

7.2.5 作為目標代碼的Java位元組碼

7.2.6 XQuery程式的編譯案例

7.3 從FXQL語言到SECD指令的翻譯

7.3.1 FXQL表達式的翻譯

7.3.2 樹模式查詢請求的翻譯

7.3.3 XML查詢原語的翻譯

7.4 SECD抽象機的位元組碼實現

7.4.1 Java虛擬機的體系結構

7.4.2 Java棧幀和數組表示

7.4.3 Java類檔案結構

7.4.4 SECD機的實現方法

7.4.5 從SECD指令到Java位元組碼的翻譯

7.4.6 樹模式查詢的Java位元組碼實現

7.5 XQuery語言的動態編譯

7.5.1 XQuery語言的Hotspot編譯

7.5.2 XQuery程式模組的編譯實現

7.5.3 動態編譯策略

7.6 總結

參考文獻

第8章 XQuery程式的自動並行化

8.1 XQuery程式的並行化處理

8.1.1 XQuery程式的三種並行處理方式

8.1.2 XQuery並行執行引擎的結構

8.2 XQuery語言的並行查詢計畫

8.2.1 可並行任務的任務圖

8.2.2 針對XQuery語言的任務分解方法

8.3 XQuery程式並行執行的任務調度

8.3.1 XQuery程式的執行代價模型

8.3.2 XQuery程式執行的任務調度

8.3.3 XQuery並行執行引擎的實現算法

8.4 總結

參考文獻

第9章 基於XQuery的網頁開發語言

9.1 Wcb客戶端網頁開發語言

9.2 XQScript語言

9.2.1 瀏覽器對象及其文檔對象的引用

9.2.2 瀏覽器對象及其文檔對象的更新

9.2.3 JavaScript內置對象的方法激活

9.2.4 事件回響機制的支持

9.2.5 XQScript網頁開發案例

9.3 XQScript語言的實現原理

9.3.1 從XQScript程式到XHTML網頁的生成

9.3.2 XQScript軟體開發系統

9.4 XQScript語言的執行引擎

9.4.1 快照語義的實現方法

9.4.2 HTML DOM對象操作的轉換

9.4.3 事件回響函式的實現方法

9.5 XHTML網頁的生成

9.5.1 XQScript程式的預處理

9.5.2 XHTML網頁的生成過程

9.5.3 動態生成的XHTML文檔案例

9.6 XQuery語言的擴展研究

9.7 總結

參考文獻