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

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

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

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