全序時(shí)態(tài)模式下函數(shù)依賴集覆蓋問題的研究.pdf

1、與時(shí)間相關(guān)的數(shù)據(jù)庫應(yīng)用需求的不斷增長，使得時(shí)態(tài)數(shù)據(jù)庫設(shè)計(jì)成為非常重要的問題。由于現(xiàn)實(shí)世界中的許多應(yīng)用所涉及到的時(shí)態(tài)類型集都能滿足全序關(guān)系，而具有全序時(shí)態(tài)類型集的全序時(shí)態(tài)模式有著良好的特性，所以本文將在全序環(huán)境下對時(shí)態(tài)數(shù)據(jù)庫的邏輯設(shè)計(jì)問題進(jìn)行更深入的研究，目的是為全序時(shí)態(tài)數(shù)據(jù)庫的設(shè)計(jì)提供更有效的理論工具和方法，這對改善系統(tǒng)的性能有重要意義。 本文主要研究了全序時(shí)態(tài)模式下函數(shù)依賴集的覆蓋問題和成員籍問題。文章首先全面介紹了時(shí)態(tài)數(shù)據(jù)庫

2、，引入了全序時(shí)態(tài)模式下的函數(shù)依賴、全序模式模塊等概念，給出了全序環(huán)境下的函數(shù)依賴的推導(dǎo)規(guī)則。為了改善全序時(shí)態(tài)數(shù)據(jù)庫的系統(tǒng)性能，我們就要對數(shù)據(jù)庫進(jìn)行規(guī)范化，但是在把一個(gè)模式分解成時(shí)態(tài)三范式（T3NF）時(shí)并不能消除某些主屬性部分或傳遞函數(shù)依賴于時(shí)態(tài)候選關(guān)鍵字，而在分解成時(shí)態(tài)Boyce-codd（TBCNF）范式的關(guān)系子模式時(shí)，并不能同時(shí)保持函數(shù)依賴和無損連接性，這樣我們就不得不考慮規(guī)范程度高于T3NF而低于TBCNF的新范式研究，因此文章定

3、義了全序初等關(guān)鍵字范式（TO_TEKNF），根據(jù)相關(guān)定理和引理得出全序初等關(guān)鍵字范式的分解算法，并證明了算法的可終止性、保持依賴和無損連接性。 成員籍問題的解決對設(shè)計(jì)有效的模式分解算法必不可少的，基于全序時(shí)態(tài)模式的相關(guān)定義和推導(dǎo)規(guī)則，文章提出了全序時(shí)態(tài)函數(shù)依賴集的有效閉包等基礎(chǔ)概念，給出了閉包算法，給出了全序模式中的成員籍算法，并對各算法的正確性、有效性進(jìn)行了證明，分析了算法的時(shí)間復(fù)雜度。 由于時(shí)間維的引入，使得數(shù)據(jù)庫中