PAR方法中關(guān)系數(shù)據(jù)庫(kù)機(jī)制的描述與實(shí)現(xiàn).pdf

1、軟件的可靠性差和開(kāi)發(fā)效率低一直是困擾軟件產(chǎn)業(yè)界的兩大難題，高效率地開(kāi)發(fā)正確、可靠的軟件已成為軟件產(chǎn)業(yè)的迫切要求。軟件開(kāi)發(fā)的形式化與自動(dòng)化方法被認(rèn)為是克服軟件危機(jī)、提高軟件開(kāi)發(fā)效率和可靠性的有效方法。 如今數(shù)據(jù)庫(kù)技術(shù)的應(yīng)用已經(jīng)深入到每個(gè)領(lǐng)域，隨著各種大型數(shù)據(jù)庫(kù)處理系統(tǒng)，商業(yè)網(wǎng)站特別是一些尖端應(yīng)用領(lǐng)域(國(guó)防、醫(yī)療等)對(duì)數(shù)據(jù)庫(kù)應(yīng)用程序的可靠性、安全性和開(kāi)發(fā)效率的要求不斷提高，傳統(tǒng)的數(shù)據(jù)庫(kù)應(yīng)用程序的開(kāi)發(fā)方法已經(jīng)無(wú)法滿足最終用戶的需求。為

2、了解決這些問(wèn)題以及使PAR方法能更全面地應(yīng)用到實(shí)際的軟件開(kāi)發(fā)中去，本文嘗試在PAR方法中加入數(shù)據(jù)庫(kù)機(jī)制的描述并初步實(shí)現(xiàn)。 薛錦云教授的PAR方法對(duì)于快速開(kāi)發(fā)可靠的算法程序已經(jīng)取得了巨大的成功，但是，PAR方法還缺少對(duì)數(shù)據(jù)庫(kù)數(shù)據(jù)操作和管理服務(wù)機(jī)制的描述和支持。目前以關(guān)系數(shù)據(jù)模型為基礎(chǔ)的主流數(shù)據(jù)庫(kù)技術(shù)中，無(wú)論是關(guān)系代數(shù)，關(guān)系演算(元組或域)，或者是介于這兩者之間的SQL語(yǔ)言，它們都是建立在嚴(yán)格的集合代數(shù)理論或數(shù)理邏輯中謂詞演算理論基

3、礎(chǔ)之上。正是這樣具有嚴(yán)格數(shù)學(xué)基礎(chǔ)的關(guān)系模型，才使得在PAR方法中加入數(shù)據(jù)庫(kù)管理操作機(jī)制成為可能。 為此，本文以成熟的關(guān)系代數(shù)理論為基礎(chǔ)，在PAR方法(PAR方法的Apla語(yǔ)言)中加入關(guān)系數(shù)據(jù)庫(kù)管理操作的形式化描述，制定可靠的Java數(shù)據(jù)庫(kù)部件庫(kù)包類leeko．Table支持轉(zhuǎn)換后得到的Java數(shù)據(jù)庫(kù)程序的正確運(yùn)行，并給出每條Apla數(shù)據(jù)庫(kù)操作描述所對(duì)應(yīng)的SQL語(yǔ)句和庫(kù)類Table中的方法。然后以SQLServer2000為后臺(tái)D

4、BMS，以PAR方法中原Apla—Java算法程序轉(zhuǎn)換系統(tǒng)為基礎(chǔ)，構(gòu)建了一個(gè)由Apla描述的數(shù)據(jù)庫(kù)程序到Java數(shù)據(jù)庫(kù)程序的自動(dòng)轉(zhuǎn)換系統(tǒng)。最后制定了大量有代表性的Apla數(shù)據(jù)庫(kù)程序?qū)ξ覀兊腁pla—Java數(shù)據(jù)庫(kù)程序轉(zhuǎn)換系統(tǒng)進(jìn)行測(cè)試，通過(guò)這些測(cè)試，證明該研究工作基本達(dá)到了我們預(yù)期的目標(biāo)。 PAR方法中關(guān)系數(shù)據(jù)庫(kù)機(jī)制的描述與實(shí)現(xiàn)是以PAR方法為指導(dǎo)思想，以關(guān)系代數(shù)為理論基礎(chǔ)，通過(guò)制定可靠數(shù)據(jù)庫(kù)部件庫(kù)，使得數(shù)據(jù)庫(kù)應(yīng)用程序的開(kāi)發(fā)容易得