用逻辑方法提高数据库技术研究水平

数据库技术的发展需要有合适的数学工具与方法的支撑以提高其研究水平。目前,数理逻辑的一些分支正被用于数据库研究,其中有证明论的方法、模型论的方法以及函数的方法。这些方法的应用从观念上、思想上及方法上对数据库的研究进行了革新,并且从统一表示形式、扩大功能、简化实现方法等方面为数据库发展作出了贡献。在这些方法基础上目前已研制成功一些试验性数据库系统,同时,商品化系统也相继问世。