论文部分内容阅读
逻辑数据库的设计是设计数据库系统的最重要设计阶段。该文讨论了如何使用PROLOG设计一个计算机辅助设计系统于逻辑数据库的问题,并用Turbo-Prolog在IBMPC/XT机上实现。通过使用这个系统,在逻辑数据库设计的大多数运算,例如计算属性集闭包,关键字。最小函数依赖集等可以自动地完成。(本刊录)