论文部分内容阅读
该文主要研究数据库的数学理论，提出一种比较适合于描述数据库系统的数学工具——扩充模型论，它以模型论为基础，能表示数据库的功能且又具有演绎功能。该文对这种扩充模型论的一些性质与定义作了较为详细的讨论，并给出了13个定义与5个定理，同时，将这个理论应用于关系数据库并给出了15个例子。最后，文章指出了这种理论在数据库系统中应用的意义与价值。（本刊录）