【摘要】 随着计算机信息处理量的日益增长,数据处理部门的能力愈发不能满足需要,这就要求向数据处理专业人员提供新工具以提高其生产力。对关系数据库的自动生成与维护的研究就是出于这个目的。本文将基于假说演算的逻辑程序自动设计技术引入关系数据库之中,并使其成为关系数据库应用系统自动生成与自动维护的核心技术。利用这一技术,可以把自动设计出的逻辑程序通过程序变换途径转换为数据库查询语句。目前,我们已利用这一技术建立了一个实验系统,利用它已可以自动构造和维护一些小规模的数据系统。更多还原

【Abstract】 With the growth of computer information processing,the capability of data processing department can’t meet this requirement,this make it very important to give the professional person of data processing new tools in order to improve the capability of production.The research of au-toconstruction and maintenace of.relation database comes out to meet this aim.In this paper automatic logical programming theory based on hypothesis calculus is used into relation database,and it becomes the kernal technique of the autoconstruction and maintenace of relation database.With this technique,the logic program which was constructed by automatic logic programming system can be transformed into data base query statements.An experimental system based on this technique has been built by us by using this lechnique.Right now,the experimental system can construct and maintain some small scale database.更多还原