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

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

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

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