| ER模型的逻辑表示途径 |
| |
| 引用本文： | 李鑫,李凡,刘启和. ER模型的逻辑表示途径[J]. 电子科技大学学报(社会科学版), 2010, 0(3) |
| |
| 作者姓名： | 李鑫 李凡 刘启和 |
| |
| 作者单位： | 电子科技大学计算机科学与工程学院; |
| |
| 摘 要： | 利用Answer set编程表示ER模型,从而为ER模型提供了一种新颖的逻辑表示途径。首先,完成ER模式的语法与语义定义;其次,利用Answer set编程实现ER模式的逻辑编程表示,并且这里的编程可自动实现;最后,完成以上表示的合理性证明。工作不仅克服了ER模型作为图形化工具的缺陷,使得它具有了自动推理能力,而且也为利用ER模型实现异构数据库之间的语义协作奠定了理论基础。
|
| 关 键 词： | Answer set编程 ER模型 模式 语义 语法 |
Approach to Logical Representation for ER Model |
| |
| 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(Social Sciences Edition), 2010, 0(3) |
| |
| Authors: | LI Xin LI Fan LIU Qi-he |
| |
| Affiliation: | LI Xin,LI Fan,, LIU Qi-he(School of Computer Science , Engineering,University of Electronic Science , Technology of China Chengdu 610054) |
| |
| 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 ... |
| |
| Keywords: | Answer set programming ER model schema semantics syntax |
| 本文献已被 CNKI 等数据库收录！ |
|
