強(qiáng)偏序時態(tài)模式下數(shù)據(jù)依賴問題的研究.pdf

1、因為與時間相關(guān)的關(guān)系型數(shù)據(jù)庫系統(tǒng)的應(yīng)用需求在各個領(lǐng)域都在不斷的增長，使得時態(tài)數(shù)據(jù)庫系統(tǒng)的設(shè)計問題變得十分重要。但是，由于在傳統(tǒng)的關(guān)系型數(shù)據(jù)庫中引入時間維度之后，數(shù)據(jù)庫中所存儲的數(shù)據(jù)信息量隨之變得非常的龐大，這就使得數(shù)據(jù)庫中的數(shù)據(jù)冗余信息量亦隨之增大。所以，繼而導(dǎo)致了一個迫切需要解決的問題，那就是如何才能夠更加有效的減少數(shù)據(jù)庫中因時間維度的引入而帶來的大量的數(shù)據(jù)冗余。對于強(qiáng)偏序時態(tài)數(shù)據(jù)庫的設(shè)計更是如此。
　　 本文將在強(qiáng)偏序時態(tài)模

2、式下，對時態(tài)數(shù)據(jù)庫的邏輯設(shè)計問題以及數(shù)據(jù)依賴問題進(jìn)行深入探討和研究，目的是能夠為強(qiáng)偏序時態(tài)數(shù)據(jù)庫的設(shè)計提供理論基礎(chǔ)，找到更為有效的理論工具和設(shè)計方法。
　　 由于強(qiáng)偏序時態(tài)數(shù)據(jù)庫的理論研究是以偏序環(huán)境下的時態(tài)數(shù)據(jù)庫的理論研究為基礎(chǔ)的，所以本文首先介紹了時態(tài)數(shù)據(jù)庫的研究意義和研究背景，并引入了時態(tài)類型、時態(tài)模塊模式、細(xì)于關(guān)系以及偏序時態(tài)模式等相關(guān)概念，并給出了強(qiáng)偏序時態(tài)模塊模式下的數(shù)據(jù)依賴推導(dǎo)規(guī)則，即函數(shù)依賴推導(dǎo)規(guī)則和多值依賴推導(dǎo)

3、規(guī)則，在函數(shù)依賴推導(dǎo)規(guī)則的完備性證明的基礎(chǔ)上，對函數(shù)依賴以及多值依賴推導(dǎo)規(guī)則的正確性和有效性做了相關(guān)證明，從而改善了時態(tài)數(shù)據(jù)庫系統(tǒng)的規(guī)范化，繼而提高了強(qiáng)偏序模式下的時態(tài)數(shù)據(jù)庫的系統(tǒng)性能。
　　 本文在偏序時態(tài)模式的研究中做了進(jìn)一步探討，針對偏序時態(tài)的簡單候選關(guān)鍵字進(jìn)行了研究，提出了偏序時態(tài)的簡單候選關(guān)鍵字和偏序時態(tài)的時態(tài)類型集TFD集的非時態(tài)版的定義，并對相關(guān)定理做了證明。在此基礎(chǔ)上，由于偏序時態(tài)第三范式即POT3NF并不能夠完