论文部分内容阅读
介绍在IBM—PC机上用Micro—PROLOG编程实现的基于知识的数据库概念模式自动设计系统——KACMDS的基本思想。该系统利用PROLOG语言较强的知识表达能力和知识推理能力，将Armstrong公理的语法规则与实际应用环境的语义限制紧密地结合起来，解决了多联系（MultipleAssociatons）环境下概念模式设计自动化遇到的“信息丢失”和“非法添、删联系”等问题，保证了机器设计的正确性，提高了设计的自动化程度。系统以该文提出的DAM图作为数据库设计的接口语义模型，该模型比E—R图更面向用户和设计者，而且能很容易地被映射到PROLOG数据库，是数据库设计自动化的基础。KACMDS的最后输出为最优3NF概念模式（OP—timal3NFConceptualModel）。（本刊录）