時空數(shù)據(jù)庫函數(shù)依賴問題的研究.pdf

1、時空信息在越來越多的應(yīng)用中顯得越為重要。時空數(shù)據(jù)庫技術(shù)是一個新興的研究領(lǐng)域，對當(dāng)今信息快速更新的時代，發(fā)揮著很大的作用。自20世紀(jì)90年代開始，空間數(shù)據(jù)庫和時態(tài)數(shù)據(jù)庫的研究者逐漸認(rèn)識到各自研究領(lǐng)域里存在的一些問題以及兩者之間存在的聯(lián)系，開始探索將空間數(shù)據(jù)庫和時態(tài)數(shù)據(jù)庫相結(jié)合的相關(guān)技術(shù)。從新的角度對能表達(dá)空間對象隨時間發(fā)生位置及范圍變化的時空數(shù)據(jù)庫規(guī)范化問題進(jìn)行深入而系統(tǒng)的研究是非常有意義的。 本文主要研究了時空數(shù)據(jù)庫函數(shù)依賴問題

2、。為了更系統(tǒng)的了解時空數(shù)據(jù)庫，文章首先從時間、空間再到時空，對時空數(shù)據(jù)庫的主要屬性進(jìn)行了整理，引入了時態(tài)類型的概念，對空間類型、時空類型、時空模式與時空模型進(jìn)行了定義。為了改善時空數(shù)據(jù)庫的系統(tǒng)性能，我們就要對時空數(shù)據(jù)庫進(jìn)行規(guī)范化。但是目前尚未有對時空函數(shù)依賴?yán)碚摰难芯砍晒虼宋恼露x了時空函數(shù)依賴、時空關(guān)鍵字以及時空碼，給出了時空函數(shù)依賴的推導(dǎo)規(guī)則。 由于時間維和空間維的引入，使得時空數(shù)據(jù)庫中存儲的信息量變得非常龐大，冗余信息

3、也隨之增大，如何有效的減少時空數(shù)據(jù)庫存儲的冗余信息，變得非常重要?；谏鲜鲅芯砍晒恼聦r空一范式，時空二范式，時空三范式，時空BC范式進(jìn)行了定義，并對規(guī)范化程度的高低進(jìn)行了證明。 綜上所述，本文對以下幾個方面的理論和技術(shù)進(jìn)行了研究： 1.本文對時空函數(shù)依賴，時空關(guān)鍵字進(jìn)行了定義。 2.給出了時空函數(shù)依賴的推導(dǎo)規(guī)則，并證明了時空函數(shù)依賴推導(dǎo)規(guī)則的有效性和完備性。 3.在此基礎(chǔ)上對時空數(shù)據(jù)庫進(jìn)行了規(guī)范化研