摘要： 在分析了现有数据库用户查询界面和条件生成在数据库应用中存在的问题后,基于面向对象的概念,提出了可视对象数据描述表结构、信息来源和取值方式等约束的用户查询界面和条件的生成方法,并给予了形式化描述。查询条件的生成采用的是合取范式的标准形式,用户界面的生成采用了标准的可视对象。该方法已经得到了实现,并在实际系统中获得了应用。

关键词: 软件自动化, 代码生成, 图形用户界面, 数据库查询, 软件形式化方法

Abstract: After the discussion of problems presented in the design of database query and its graphic user interfaces(GUI), this paper proposes a formal method for the code generation of database query and its GUI implementation. The method is based on the information description of table structures, information sources and other constraints of database tables. The logic of disjoint-well-formed-formula is adopted in the generation of query conditions, and standard visual objects are used in the generation of GUI. This method has been implemented and applied in practical applications. ;;;;

中图分类号: 

• TP311.13