The Description And Realization Of RelatioalDatabase Mechanism In PAR Method

The poor reliability of software and low efficiency of development are the two main problems of software industry. To develop correct, reliable software efficiently is an urgent requirement of software industry nowadays. Formalization and automatization in software development are viewed as the effective ways to solve software crisis and improve the efficiency of development and the reliability of software.Nowadays, the application of database technology has already gone deep into to each realm. Along with the increasingly demand for the reliability, security and development efficiency of database application of various large database processing systems and business websites especially some advanced application fields (national defence, medical treatment etc.), the traditional development methods of database application can not satisfy the demands of end users any more. To resolve these problems and make PAR method be applied to software development more comprehensively, this paper tries to add description of database mechanism to PAR method and implement it preliminary.Pro. Xue Jinyun's PAR method has already achieved great success on developing reliable algorithmic program rapidly. However, PAR method lacks in description and support of database operation and management services. Now among the relational data model-based database technology, which is still the main database technology, relational algebra, relational calculus (tuple and domain) and SQL, which is between the two languages, are all based on strict aggregate algebra theory or predication calculation in symbolic logic. Just because of the strict mathematic basis of relational model, Adding database manipulation mechanism to PAR method is possible and suitable.Therefore, this paper tries to add formal description of relational database manipulation to PAR method (Apla in PAR), which is based on mature relational algebra theory. And the reliable Java database library package class leeko.Table that support the Java database program transformed to run correctly was developed. And the corresponding SQL and Method in Table to the description of every relational database manipulation were also given. Then we take SQL Server 2000 as background DBMS and base on Aplaâ†'Java algorithmic program transformation system in former PAR method to construct an auto-transformation system which transform database program described by Apla to Java database program. At last, large numbers of representative Apla database programs were developed to test the Aplaâ†'Java database program auto-transformation system. Through these tests, it is proved that we have achieved our prospective goal basically.The description and implementation of relational database mechanism in PAR method are instructed by PAR method and based on relational algebra theory. By the reliable database class libraries we developed, the database program development...