图 书 馆
一种基于AMN形式的信息集成方法An approach to information integration based on the AMN formalism |
|
| 课程网址: | http://videolectures.net/iswc2012_manukyan_amn_formalism/ |
| 主讲教师: | Manuk Manukyan |
| 开课单位: | 埃里温州立大学 |
| 开课时间: | 信息不详。欢迎您在右侧留言补充。 |
| 课程语种: | 英语 |
| 中文简介: |  |
| 课程简介: | An original approach to integrate information is considered. In the frame of this approach an extensible canonical model is created which is based on the algebraic model of an advanced XML data model. We consider the canonical model as an intermediate model for creating our mediator and this model has been formalized by means of the Abstract Machine Notation (AMN). For each source model we formalize it by means of the AMN and create a reversible mapping into an extension of the canonical model. After this B-technology is used to prove that the AMN semantics of the source model represents a refinement of the AMN semantics of the extended canonical model. Hereby the correctness of mapping and the ability to use extended canonical model for representation of schemas of the source model are proved. Finally, in order to illustrate our approach a mapping from relational data model to canonical model has been created. |
| 关 键 词: | 代数模型; 抽象机符号手段; 扩展标准模型 |
| 课程来源: | 视频讲座网 |
| 最后编审: | 2019-11-18：cwx |
| 阅读次数: | 27 |