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

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

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

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