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

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

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