ER模型的逻辑表示途径

留言板

尊敬的读者、作者、审稿人, 关于本刊的投稿、审稿、编辑和出版的任何问题, 您可以本页添加留言。我们将尽快给您答复。谢谢您的支持!

姓名
邮箱
手机号码
标题
留言内容
验证码

ER模型的逻辑表示途径

李鑫, 李凡, 刘启和

文章导航 > 电子科技大学学报 > 2010 > 39(3): 435-439

李鑫, 李凡, 刘启和. ER模型的逻辑表示途径[J]. 电子科技大学学报, 2010, 39(3): 435-439. doi: 10.3969/j.issn.1001-0548.2010.03.024

引用本文:

李鑫, 李凡, 刘启和. ER模型的逻辑表示途径[J]. 电子科技大学学报, 2010, 39(3): 435-439. doi: 10.3969/j.issn.1001-0548.2010.03.024

LI Xin, LI Fan, LIU Qi-he. Approach to Logical Representation for ER Model[J]. Journal of University of Electronic Science and Technology of China, 2010, 39(3): 435-439. doi: 10.3969/j.issn.1001-0548.2010.03.024

Citation:

LI Xin, LI Fan, LIU Qi-he. Approach to Logical Representation for ER Model[J]. Journal of University of Electronic Science and Technology of China, 2010, 39(3): 435-439. doi: 10.3969/j.issn.1001-0548.2010.03.024

ER模型的逻辑表示途径

doi: 10.3969/j.issn.1001-0548.2010.03.024

1.
电子科技大学计算机科学与工程学院成都 610054

作者简介:
李鑫(1973-)，男，博士生，主要从事知识工程、逻辑编程和数据库理论方面的研究.

中图分类号: TP302.2

Approach to Logical Representation for ER Model

1.
School of Computer Science and Engineering,University of Electronic Science and Technology of China Chengdu 610054

摘要: 利用Answerset编程表示ER模型，从而为ER模型提供了一种新颖的逻辑表示途径。首先，完成ER模式的语法与语义定义；其次，利用Answerset编程实现ER模式的逻辑编程表示，并且这里的编程可自动实现；最后，完成以上表示的合理性证明。工作不仅克服了ER模型作为图形化工具的缺陷，使得它具有了自动推理能力，而且也为利用ER模型实现异构数据库之间的语义协作奠定了理论基础。
- Answer set编程 /
- ER模型 /
- 模式 /
- 语义 /
- 语法
Abstract: Through utilizing answer set programming to represent ER model, this paper proposes a novel approach of logical representation for ER model. First, the syntax and semantic of ER schema are defined. Second, answer set programming is utilized to realize logic programming representation for the ER schema, and the programming here can be automatically completed. Finally, the rationality of this representation is proved. The research result of this paper not only overcomes the defects of the ER model as a graphical tool but also establishes the theoretic base for applying ER model to realize semantic interoperability among heterogeneous databases.
- Answer set programming /
- ER model /
- schema /
- semantics /
- syntax

[1]	代翔. 基于事件模式及类型的事件检测模型 . 电子科技大学学报, 2022, 51(4): 592-599. doi: 10.12178/1001-0548.2021377
[2]	吴睿智, 朱大勇, 王春雨, 秦科. 基于图卷积神经网络的位置语义推断 . 电子科技大学学报, 2020, 49(5): 739-744. doi: 10.12178/1001-0548.2020152
[3]	杨越, 黄瑞章, 魏琴, 陈艳平, 秦永彬. 基于上下文语义的新闻人名纠错方法 . 电子科技大学学报, 2019, 48(6): 809-814. doi: 10.3969/j.issn.1001-0548.2019.06.002
[4]	钱志森, 黄瑞章, 魏琴, 秦永彬, 陈艳平. 半监督语义动态文本聚类算法 . 电子科技大学学报, 2019, 48(6): 803-808. doi: 10.3969/j.issn.1001-0548.2019.06.001
[5]	董航, 刘洋, 李承泽, 付戈, 张淼, 杨义先. 基于语义的Android敏感行为静态分析方法 . 电子科技大学学报, 2017, 46(2): 434-440. doi: 10.3969/j.issn.1001-0548.2017.02.019
[6]	边奕心, 赵松, 杜军. 保持语义不变的C克隆代码预处理方法 . 电子科技大学学报, 2017, 46(6): 926-933. doi: 10.3969/j.issn.1001-0548.2017.06.023
[7]	陈莉, 刘弘. 基于跨本体语义相关的三维模型检索方法 . 电子科技大学学报, 2017, 46(4): 585-590. doi: 10.3969/j.issn.1001-0548.2017.04.018
[8]	牛新征, 牛嘉郡, 苏大壮, 佘堃. 基于FP-Tree模型的频繁轨迹模式挖掘方法 . 电子科技大学学报, 2016, 45(1): 86-90. doi: 10.3969/j.issn.1001-0548.2016.01.014
[9]	任金胜, 贾海涛. 基于改进目标检测能量项的联合语义分割和目标检测 . 电子科技大学学报, 2014, 43(5): 749-753. doi: 10.3969/j.issn.1001-0548.2014.05.020
[10]	刘伟, 胡志刚, 刘宏韬. 基于抽象语法树和多态机制的复杂条件语句自动重构研究 . 电子科技大学学报, 2014, 43(5): 736-741. doi: 10.3969/j.issn.1001-0548.2014.05.018
[11]	邢玲, 马强, 朱敏. 基于神经网络的数字音频双重语义水印算法 . 电子科技大学学报, 2013, 42(2): 260-265. doi: 10.3969/j.issn.1001-0548.2013.02.016
[12]	张昌利, 龚建国, 闫茂德. 基于复杂网络的社会化标签语义相似度分析 . 电子科技大学学报, 2012, 41(5): 642-648. doi: 10.3969/j.issn.1001-0548.2012.05.001
[13]	蒋运承, 谭红艳. 面向语义Web的Expressive格值描述逻辑 . 电子科技大学学报, 2012, 41(3): 322-335. doi: 10.3969/j.issn.1001-0548.2012.03.001
[14]	陈文宇, 张忠全, 向涛, 桑楠. 基于相似度的语义Web服务发现技术研究 . 电子科技大学学报, 2010, 39(6): 896-899,910. doi: 10.3969/j.issn.1001-0548.2010.06.019
[15]	张佩云, 黄波, 孙亚民. 面向服务组合的服务语义匹配机制 . 电子科技大学学报, 2008, 37(6): 917-921.
[16]	姜群, 李祖枢, 欧阳, 董世都, 邱小平. 在子集条件约束下的最大熵分布及其应用 . 电子科技大学学报, 2008, 37(1): 94-96,123.
[17]	李向阳, 张亚非. 一种基于遗传算法的语义标注 . 电子科技大学学报, 2007, 36(1): 86-89.
[18]	雷朝军, 喻胜, 鄢然, 刘迎辉, 黄勇. 注-波互作用中的功率流隐含信息分析 . 电子科技大学学报, 2007, 36(5): 921-923.
[19]	何元清, 孙世新, 傅彦. 并行编程模式及分析 . 电子科技大学学报, 2002, 31(2): 173-175.
[20]	傅彦. 关于限制性手写体汉字预处理探索 . 电子科技大学学报, 1997, 26(3): 279-282.

WeChat

点击查看大图

计量

文章访问数: 3411
HTML全文浏览量: 139
PDF下载量: 70
被引次数: 0

ER模型的逻辑表示途径

doi: 10.3969/j.issn.1001-0548.2010.03.024

1. 电子科技大学计算机科学与工程学院成都 610054

作者简介:
李鑫(1973-)，男，博士生，主要从事知识工程、逻辑编程和数据库理论方面的研究.

收稿日期: 2008-09-15
修回日期: 2009-07-23
刊出日期: 2010-06-15

中图分类号: TP302.2

关键词:

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

English Abstract

李鑫, 李凡, 刘启和. ER模型的逻辑表示途径[J]. 电子科技大学学报, 2010, 39(3): 435-439. doi: 10.3969/j.issn.1001-0548.2010.03.024

引用本文:

李鑫, 李凡, 刘启和. ER模型的逻辑表示途径[J]. 电子科技大学学报, 2010, 39(3): 435-439. doi: 10.3969/j.issn.1001-0548.2010.03.024

LI Xin, LI Fan, LIU Qi-he. Approach to Logical Representation for ER Model[J]. Journal of University of Electronic Science and Technology of China, 2010, 39(3): 435-439. doi: 10.3969/j.issn.1001-0548.2010.03.024

Citation:

LI Xin, LI Fan, LIU Qi-he. Approach to Logical Representation for ER Model[J]. Journal of University of Electronic Science and Technology of China, 2010, 39(3): 435-439. doi: 10.3969/j.issn.1001-0548.2010.03.024

全文HTML

/

下载: 全尺寸图片幻灯片

分享

用微信扫码二维码

分享至好友和朋友圈

返回

期刊在线

编辑办公

友情链接

电子科技大学

版权所有 © 《电子科技大学学报》编辑部

地址: 成都市建设北路二段四号电子科技大学主楼中350室电话: 028-83202308,83207559 Email: xuebao@uestc.edu.cn

本系统由北京仁和汇智信息技术有限公司开发