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

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

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

【文章目錄】：
摘要
Abstract
第1章 緒論
    1.1 研究背景與研究意義
    1.2 相關(guān)工作
        1.2.1 樹模式
        1.2.2 樹模式優(yōu)化
        1.2.3 時(shí)態(tài)邏輯應(yīng)用
        1.2.4 現(xiàn)有研究工作不足
    1.3 本文研究工作
    1.4 本文組織結(jié)構(gòu)
第2章 背景知識(shí)及相關(guān)技術(shù)
    2.1 XQuery查詢
        2.1.1 XQuery
        2.1.2 樹模式
        2.1.3 樹模式形式化定義
    2.2 時(shí)態(tài)邏輯
        2.2.1 CTL簡(jiǎn)介
        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ī)則描述語(yǔ)言及其擴(kuò)展
    3.1 ORS語(yǔ)言
        3.1.1 ORS簡(jiǎn)介
        3.1.2 ORS語(yǔ)言的局限性
    3.2 擴(kuò)展后的語(yǔ)言O(shè)RS+
        3.2.1 ORS+語(yǔ)法
        3.2.2 ORS+語(yǔ)義
    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)化工具實(shí)現(xiàn)
    5.1 開發(fā)環(huán)境
    5.2 樹模式優(yōu)化架構(gòu)
    5.3 ORS+語(yǔ)言解析模塊
        5.3.1 詞法分析模塊
        5.3.2 語(yǔ)法分析模塊
    5.4 優(yōu)化動(dòng)作輸出模塊
    5.5 用戶界面
    5.6 本章小結(jié)
結(jié)論
參考文獻(xiàn)
攻讀碩士學(xué)位期間發(fā)表的學(xué)術(shù)論文
致謝



本文編號(hào)：4056592