基于PAR平台的信息系统应用软件若干共性关键技术研究

本项目基于申请者在9个国家级课题连续资助下形成的软件形式化开发的PAR方法和PAR平台，对信息系统应用软件的可靠性、开发效率和查询优化这三项共性关键技术进行深入研究，建立PAR平台中关系代数表达式和PAR平台生成 的SQL语句之间的对应关系和转换规则,进而建立Apla语言应用程序和内嵌SQL语言的C++、Java等OOP语言程序的语义等价关系，并给出基于范畴论的解释；对Apla语言关系代数表达式进行系统的研究，提出基于Apla关系代数的高效查询优化算法；将PAR平台生成"小规模"算法程序的功能，扩展成能生成"大规模"信息系统应用程序，形成信息系统应用软件形式化和自动化开发的理论体系和支撑平台，并在军事指挥和管理、高炉工长管理等方面获得应用。使我国这方面的研究进入世界先进行列，产生显著的理论和应用价值。