全序模塊模式下范式分解問題研究.pdf

1、人類現(xiàn)實(shí)生活的世界是一個(gè)四維的世界，任何事件都與時(shí)間緊密相關(guān)。然而，現(xiàn)實(shí)應(yīng)用領(lǐng)域的需求已經(jīng)不能夠僅僅用關(guān)系數(shù)據(jù)庫來滿足。那么，對(duì)與時(shí)間有關(guān)聯(lián)的數(shù)據(jù)庫的需要變得緊迫。對(duì)時(shí)態(tài)數(shù)據(jù)庫的應(yīng)用需求快速的增長(zhǎng)，由于這種增長(zhǎng)的存在，使得研究理論基礎(chǔ)，并且基于理論來設(shè)計(jì)時(shí)態(tài)數(shù)據(jù)庫變成了極度重要的項(xiàng)目。
　　時(shí)態(tài)范式在設(shè)計(jì)時(shí)態(tài)數(shù)據(jù)庫的過程之中擔(dān)當(dāng)著非常重要的角色。通過分解時(shí)態(tài)模式，可以使其滿足某些范式。在實(shí)際的應(yīng)用中，絕大部分應(yīng)用領(lǐng)域所涉及的時(shí)態(tài)類

2、型之間的關(guān)系通常都是全序的，說明全序時(shí)態(tài)模塊模式與其他的時(shí)態(tài)模塊模式相比較，其具有更好的特性。時(shí)態(tài)函數(shù)依賴、時(shí)態(tài)多值依賴是時(shí)態(tài)數(shù)據(jù)庫中非常重要的兩種數(shù)據(jù)依賴。而強(qiáng)全序時(shí)態(tài)模塊模式同時(shí)具有全序的時(shí)態(tài)函數(shù)依賴集與全序的多值依賴集。所以，本文針對(duì)強(qiáng)全序時(shí)態(tài)模式下范式分解問題進(jìn)行分析研究。
　　為滿足實(shí)際應(yīng)用而設(shè)計(jì)系統(tǒng)時(shí)，根據(jù)實(shí)際應(yīng)用所在環(huán)境要設(shè)計(jì)時(shí)態(tài)模式，并對(duì)模式進(jìn)行規(guī)范化處理。對(duì)時(shí)態(tài)數(shù)據(jù)庫的設(shè)計(jì)來講，其中一個(gè)比較重要的約束就是候選關(guān)鍵

3、字約束。無論需要滿足哪種范式，都涉及候選關(guān)鍵字問題。目前已提出的時(shí)態(tài)初等候選關(guān)鍵字，時(shí)態(tài)簡(jiǎn)單候選關(guān)鍵字都有其相對(duì)應(yīng)的范式TEKNF和TSNF。
　　論文在此基礎(chǔ)之上，在強(qiáng)全序模塊模式下，提出了時(shí)態(tài)強(qiáng)簡(jiǎn)單候選關(guān)鍵字的概念，給出明確的定義。并且給出了強(qiáng)全序候選關(guān)鍵字算法以及求取強(qiáng)簡(jiǎn)單候選關(guān)鍵字集算法，對(duì)該算法的可以終止性以及其正確性進(jìn)行了證明。并且對(duì)該算法的復(fù)雜度進(jìn)行詳細(xì)的分析。同時(shí)初步定義了相對(duì)應(yīng)的時(shí)態(tài)強(qiáng)簡(jiǎn)單范式，同時(shí)給出了相應(yīng)的時(shí)