強偏序時態(tài)模式中混合依賴集的成員籍問題研究.pdf

1、隨著國內(nèi)外學者們研究的深入以及科技的迅猛發(fā)展，如今時態(tài)數(shù)據(jù)庫技術(shù)的應用與研究越來越變得活躍，成為非常熱門的研究領(lǐng)域之一。包含歷史信息又同時包含當前信息的數(shù)據(jù)庫可以稱為時態(tài)數(shù)據(jù)庫。時態(tài)數(shù)據(jù)庫不僅能夠存儲對象任何時刻和時間段的狀態(tài)，還能夠經(jīng)過分析、對比并預測將來可能的狀態(tài)。
　　本文主要研究了時態(tài)數(shù)據(jù)庫中部分時態(tài)候選關(guān)鍵字的求解以及強偏序時態(tài)模式下成員籍的判定問題。在時態(tài)數(shù)據(jù)庫應用系統(tǒng)的設計中，開發(fā)人員需要根據(jù)需求使數(shù)據(jù)庫模式實現(xiàn)規(guī)范

2、化，不管需求是要實現(xiàn)哪一級范式，終將需要解決“時態(tài)主屬性”和“時態(tài)候選關(guān)鍵字”的難題。因此，時態(tài)候選關(guān)鍵字的研究目的是以保證時態(tài)數(shù)據(jù)庫中各屬性以及各種依賴之間關(guān)系的研究與規(guī)范化更為深入有效，因此，本文提出了最大相關(guān)塊，時態(tài)相關(guān)屬性等概念及時態(tài)屬性分析表的定義與構(gòu)造規(guī)則，分別利用最大相關(guān)塊法和時態(tài)屬性分析表法給出兩種求解基數(shù)為M的時態(tài)候選關(guān)鍵字集的算法，并證明了理論的正確性。
　　有效的模式分解算法的設計中應著重考慮和解決成員籍問題

3、，時態(tài)類型間偏序關(guān)系在強偏序時態(tài)模式中的存在給解決成員籍問題帶來了極大困難。因此，本文給出了偏序TFDs和偏序RTMVDs的混合依賴集的閉包，強偏序時態(tài)模式混合依賴基，強偏序模式混合閉包以及在給定時態(tài)類型上的偏序混合依賴基等定義，細致的求解了強偏序模式(R，μ)下的混合依賴基的算法，強偏序時態(tài)模式屬性集的閉包算法，并在此基礎(chǔ)上，給出并證明了強偏序時態(tài)模式混合依賴集成員籍問題的算法的正確性及可終止性，對該算法的時間復雜度進行了分析。