论文部分内容阅读
在数据库理论的发展过程中,(一阶谓词)逻辑作为数据模型的研究是富于建设性成果的。对逻辑规则涵义的理解是该项研究的基本背景。文中介绍了规则的证明论涵义、模型论涵义及计算涵义。讨论了这三种涵义之间的关系。描述了用关系代数运算求解datalog规则计算涵义的算法。从而说明用逻辑作为数据模型的可行性和有效性。(本刊录)