ER模型的逻辑表示途径

摘要：

利用Answer set编程表示ER模型,从而为ER模型提供了一种新颖的逻辑表示途径.首先,完成ER模式的语法与语义定义;其次,利用Answer set编程实现ER模式的逻辑编程表示,并且这里的编程可自动实现;最后,完成以上表示的合理性证明.工作不仅克服了ER模型作为图形化工具的缺陷,使得它具有了自动推理能力,而且也为利用ER模型实现异构数据库之间的语义协作奠定了理论基础.

关键词：Answer set编程、ER模型、模式、语义、语法

所属期刊栏目：39

分类号：TP302.2(计算技术、计算机技术)

在线出版日期：2010-07-13（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：435-439