XML以其強(qiáng)大的功能,在計算機(jī)領(lǐng)域得到了廣泛的應(yīng)用,已經(jīng)成為信息描述和交換的一種標(biāo)準(zhǔn)技術(shù)。XQuery被設(shè)計用來查詢XML數(shù)據(jù),樹模式查詢作為XQuery查詢的核心,其查詢效率問題成為一個重要的研究方向。樹模式查詢的效率主要與樹模式對XML文檔中結(jié)點的匹配算法以及樹模式本身的大小和復(fù)雜程度有關(guān)。目前主要有兩種提高樹模式查詢效率的方法:一是通過采用不同的數(shù)據(jù)結(jié)構(gòu)和相關(guān)的編碼技術(shù)來修改樹模式在XML文檔中的匹配算法,從而提高數(shù)據(jù)的查詢效率;二是從優(yōu)化樹模式本身出發(fā),通過樹模式最小化提高查詢效率。本文的工作是通過對樹模式進(jìn)行優(yōu)化從而提高查詢效率的。樹模式優(yōu)化包括無約束和有約束的樹模式優(yōu)化方法,其中有約束的優(yōu)化方法主要基于XML Schema特征進(jìn)行優(yōu)化,該方法存在的主要問題是針對不同的約束,需要編寫不同的算法,方法的可擴(kuò)展性和正確性得不到保證。時態(tài)邏輯及模型檢查技術(shù)已經(jīng)成功用于XML查詢領(lǐng)域,本文主要研究基于時態(tài)邏輯的樹模式優(yōu)化技術(shù)。針對研究組已經(jīng)提出的樹模式優(yōu)化規(guī)則描述語言O(shè)RS在優(yōu)化類別方面的局限性:僅支持四種優(yōu)化動作,本文首先對ORS語言從語法和語義兩方面進(jìn)行了擴(kuò)充,增加了8條新的優(yōu)化規(guī)...

【文章頁數(shù)】：66 頁

【學(xué)位級別】：碩士

【文章目錄】：
摘要
Abstract
第1章 緒論
    1.1 研究背景與研究意義
    1.2 相關(guān)工作
        1.2.1 樹模式
        1.2.2 樹模式優(yōu)化
        1.2.3 時態(tài)邏輯應(yīng)用
        1.2.4 現(xiàn)有研究工作不足
    1.3 本文研究工作
    1.4 本文組織結(jié)構(gòu)
第2章 背景知識及相關(guān)技術(shù)
    2.1 XQuery查詢
        2.1.1 XQuery
        2.1.2 樹模式
        2.1.3 樹模式形式化定義
    2.2 時態(tài)邏輯
        2.2.1 CTL簡介
        2.2.2 模型檢查
    2.3 XML Schema特征
        2.3.1 特征定義
        2.3.2 特征表示與提取
    2.4 樹模式優(yōu)化規(guī)則
        2.4.1 概述
        2.4.2 優(yōu)化規(guī)則列表
        2.4.3 樹模式優(yōu)化舉例
    2.5 本章小結(jié)
第3章 優(yōu)化規(guī)則描述語言及其擴(kuò)展
    3.1 ORS語言
        3.1.1 ORS簡介
        3.1.2 ORS語言的局限性
    3.2 擴(kuò)展后的語言O(shè)RS+
        3.2.1 ORS+語法
        3.2.2 ORS+語義
    3.3 本章小結(jié)
第4章 樹模式優(yōu)化規(guī)則及其ORS+表示
    4.1 已有優(yōu)化規(guī)則表示
    4.2 新增加的優(yōu)化規(guī)則及其表示
        4.2.1 擴(kuò)展的優(yōu)化規(guī)則列表
        4.2.2 帶弱綁定優(yōu)化規(guī)則表示
        4.2.3 帶AND/OR謂詞的優(yōu)化規(guī)則表示
    4.3 樹模式優(yōu)化舉例
        4.3.1 帶弱綁定的樹模式優(yōu)化
        4.3.2 帶AND/OR謂詞的樹模式優(yōu)化
    4.4 本章小結(jié)
第5章 樹模式優(yōu)化工具實現(xiàn)
    5.1 開發(fā)環(huán)境
    5.2 樹模式優(yōu)化架構(gòu)
    5.3 ORS+語言解析模塊
        5.3.1 詞法分析模塊
        5.3.2 語法分析模塊
    5.4 優(yōu)化動作輸出模塊
    5.5 用戶界面
    5.6 本章小結(jié)
結(jié)論
參考文獻(xiàn)
攻讀碩士學(xué)位期間發(fā)表的學(xué)術(shù)論文
致謝



本文編號：4056592