关系代数→关系演算转换系统的研制

摘要	第1-4页
ABSTRACT	第4-7页
第一章 引言	第7-9页
·研究的背景、问题及意义	第7页
·主要研究内容	第7-8页
·论文的组织结构	第8-9页
第二章 PAR 方法与关系代数	第9-26页
·软件形式化方法	第9-10页
·著名的软件形式化研究方法PAR	第10-22页
·PAR 方法(Xue Jin-yun)	第10-16页
·PAR 方法实例开发	第16-22页
·PAR 方法中的数据库机制与关系代数	第22-25页
·PAR 方法的新进展	第25-26页
第三章 转换系统的理论研究	第26-34页
·关系代数理论	第26页
·关系数据库中的关系代数语言	第26-27页
·转换系统的理论依据	第27-34页
第四章 关系代数→关系演算转换系统设计与实现	第34-47页
·转换系统后台模块设计	第34-35页
·转换系统后台模块实现	第35-39页
·DLL 概述	第36-37页
·转换系统后台模块DLL 的构建	第37-39页
·图形用户界面(GUI)设计与实现	第39-41页
·转换系统的组装实现	第41-43页
·系统测试与完善	第43-45页
·测试理论及技术	第43-45页
·转换系统的测试	第45页
·转换系统移植到PAR 平台	第45-47页
第五章 关系代数→关系演算转换系统的应用	第47-52页
·应用实例开发	第47-50页
·应用实例分析	第50-52页
第六章 总结和展望	第52-53页
·总结	第52页
·进一步工作	第52-53页
参考文献	第53-55页
致谢	第55-56页
在读期间科研情况及公开发表论文(著	第56页