ER模型的逻辑表示途径

• 作者: 刘启和 李凡 李鑫
• 来源期刊: 电子科技大学学报
• 学科: 工学
• 关键词: Answer set编程 ER模型 模式 语义 语法
• 年，卷（期）: 2010,（3）
• 所属期刊栏目: 计算机工程与应用
• 页码范围: 435-439
• 分类号: TP302.2
• 字数: 5540字
• 语种: 中文
• DOI: 10.3969/j.issn.1001-0548.2010.03.024

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李鑫	电子科技大学计算机科学与工程学院	20	98	6.0	9.0
2	李凡	电子科技大学计算机科学与工程学院	16	168	6.0	12.0
3	刘启和	电子科技大学计算机科学与工程学院	23	255	9.0	15.0