強(qiáng)全序時(shí)態(tài)模式下函數(shù)依賴多值依賴混合集問題研究.pdf

1、與時(shí)間相關(guān)的數(shù)據(jù)庫(kù)應(yīng)用需求的不斷增長(zhǎng)，使得時(shí)態(tài)數(shù)據(jù)庫(kù)設(shè)計(jì)成為非常重要的問題。在數(shù)據(jù)庫(kù)的設(shè)計(jì)中，要充分考慮對(duì)數(shù)據(jù)依賴的處理，數(shù)據(jù)依賴是指數(shù)據(jù)之間存在的各種聯(lián)系，數(shù)據(jù)冗余的產(chǎn)生和數(shù)據(jù)依賴有著密切的聯(lián)系。數(shù)據(jù)依賴是數(shù)據(jù)庫(kù)設(shè)計(jì)理論中的一個(gè)核心概念，通過它可以規(guī)范屬性之間滿足的固有的語(yǔ)義約束。 為了更有效的研究時(shí)態(tài)數(shù)據(jù)庫(kù)中各種依賴以及各屬性之間的關(guān)系，以便將關(guān)系進(jìn)一步規(guī)范化，本文提出了時(shí)態(tài)左部屬性、時(shí)態(tài)右部屬性、時(shí)態(tài)雙部屬性、時(shí)態(tài)函數(shù)依賴

2、圖等概念。并分別利用圖論法和吸收法給出了求時(shí)態(tài)候選關(guān)鍵字集的算法，并證明其正確性。 時(shí)態(tài)函數(shù)依賴（Temporal Functional Dependency，TFD）和時(shí)態(tài)多值依賴（Temporal Multi-valued Dependency，TMVD）是時(shí)態(tài)數(shù)據(jù)庫(kù)中最重要的兩種數(shù)據(jù)依賴。對(duì)于具有TFD和TMVD混合集約束的時(shí)態(tài)模式來(lái)說(shuō)，由于多時(shí)間粒度的使用使成員籍問題的解決變得更加復(fù)雜。但成員籍問題的解決對(duì)設(shè)計(jì)有效的模式

3、分解算法必不可少，本文基于強(qiáng)全序時(shí)態(tài)模式以及全序時(shí)態(tài)函數(shù)依賴和規(guī)則時(shí)態(tài)多值依賴（RTMVD）理論提出了給定時(shí)態(tài)類型上的混合依賴基、強(qiáng)全序模式混合依賴基、TFD和RTMVD混合集閉包、強(qiáng)全序模式混合閉包等概念，并給出了求混合混依賴集中屬性的依賴基、屬性集的閉包的算法，對(duì)算法的可終止性、正確性進(jìn)行了證明，并對(duì)時(shí)間復(fù)雜度進(jìn)行了分析。在此基礎(chǔ)上，給出了解決強(qiáng)全序模式混合集成員籍問題的算法，并對(duì)算法的可終止性、正確性進(jìn)行了證明，對(duì)時(shí)間復(fù)雜度進(jìn)行了