A uniform formal description of data base management systems

摘要

This paper attempts for the first time to formulate the majority of data base functions in an homogeneous and formal manner, in contrast to other methods which treat little more than the data manipulation functions. The main task of a data base management system is to execute certain uniform operations on a given set of data resources. Most problems of data base management systems can be deducted from this main task, in that a framework is provided both for investigating existing systems or designing new ones.