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

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

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

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