全序時(shí)態(tài)初等關(guān)鍵字范式研究.pdf

1、時(shí)態(tài)信息存在于生活中的每一角落,計(jì)算機(jī)技術(shù)總是科技發(fā)展的前沿,因此時(shí)態(tài)信息與數(shù)據(jù)庫(kù)技術(shù)結(jié)合的應(yīng)用需求越來(lái)越廣泛,時(shí)態(tài)數(shù)據(jù)庫(kù)也就應(yīng)運(yùn)而生。關(guān)系數(shù)據(jù)庫(kù)理論中,關(guān)系模式的分解是消除數(shù)據(jù)冗余及存儲(chǔ)異常的有效途徑。在時(shí)態(tài)數(shù)據(jù)庫(kù)設(shè)計(jì)中,時(shí)態(tài)模塊模式分解問(wèn)題同樣值得深入研究。實(shí)際上在應(yīng)用中遇到的大部分時(shí)間粒度之間都具有全序關(guān)系,這種全序關(guān)系使得全序時(shí)態(tài)類(lèi)型集具有重要特性,所以本文針對(duì)全序時(shí)態(tài)數(shù)據(jù)庫(kù)的模式分解問(wèn)題進(jìn)行分析研究。
　　 為了更有效

2、的研究時(shí)態(tài)數(shù)據(jù)庫(kù)模式分解問(wèn)題,以便進(jìn)一步規(guī)范化,本文首先對(duì)全序時(shí)態(tài)候選關(guān)鍵字的求解進(jìn)行研究,概括了全序時(shí)態(tài)左、右部和雙部屬性。結(jié)合關(guān)系型數(shù)據(jù)庫(kù)理論給出替換算法和時(shí)態(tài)屬性相關(guān)表法求全部全序候選關(guān)鍵詞,并對(duì)相關(guān)定理推論進(jìn)行證明。
　　 當(dāng)把一個(gè)全序時(shí)態(tài)模塊模式分解成全序時(shí)態(tài)三范式時(shí)并不能消除某些時(shí)態(tài)數(shù)據(jù)的冗余,對(duì)于分解成全序時(shí)態(tài)BC范式的情況則只能保證全序無(wú)損連接性,對(duì)于保持依賴(lài)則很難做到。這樣我們就有必要定義一種新的范式來(lái)解決以上