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

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

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

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

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