強(qiáng)偏序時(shí)態(tài)模式中混合依賴集的成員籍問(wèn)題研究.pdf

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

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

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