基于CWM的元数据集成中形式化推理技术的研究

计算机科学 ›› 2006, Vol. 33 ›› Issue (12): 177-182.

• 计算机网络与信息安全 • 上一篇下一篇

基于CWM的元数据集成中形式化推理技术的研究

赵晓非黄志球

南京航空航天大学计算机科学与工程系,南京210016

出版日期:2018-11-17 发布日期:2018-11-17
基金资助:
航空科学基金（01152058）资助.

ZHAO Xiao-Fei, HUANG ZHi-Qiu （Department of Computer Science and Engineering, Nanjing University of Aeronautics and Astronautics, Nanjing 210016）

Online:2018-11-17 Published:2018-11-17

摘要/Abstract

摘要： 在使用公共仓库元模型（CWM）进行元数据集成的过程中，参与集成的团体的不同经验以及描述数据的不同视角不可避免地带来元数据的冲突和冗余等问题，然而CWM的图形化特点使之缺乏精确的语义，所以如何在其上进行推理以自动发现这些问题至今没有得到很好的解决。本文研究了利用描述逻辑，一个一阶谓词逻辑的可判定子集，形式化CWM元模型和模型并进行推理的方法，将一致性检测分为水平一致性和演化一致性进行分别处理，在处理演化一致性的过程中对CWM元模型进行了扩展，使之支持元数据的版本能力从而能够推理由于演化引起的不一致问题，然后

关键词: 公共仓库元模型（CWM）描述逻辑元数据集成元数据演化水平一致性演化一致性

Abstract: During the metadata integration based on Common Warehouse Metamodel（CWM）, the different experiences and views of describing data of organizations involved in integration bring metadata on some problems inevitably, such as ineonsistencies and redundancies.

Key words: Common warehouse metamodel （CWM）, Description logics, Metadata integration, Metadata evolution, Horizontal consistency, Evolution consistency

赵晓非黄志球. 基于CWM的元数据集成中形式化推理技术的研究[J]. 计算机科学, 2006, 33(12): 177-182. https://doi.org/

ZHAO Xiao-Fei, HUANG ZHi-Qiu （Department of Computer Science and Engineering, Nanjing University of Aeronautics and Astronautics, Nanjing 210016）. [J]. Computer Science, 2006, 33(12): 177-182. https://doi.org/

参考文献

Metrics

Viewed

Full text

Abstract

Cited

Shared

Discussed

基于CWM的元数据集成中形式化推理技术的研究

PDF (PC)

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 0

Metrics

本文评价

推荐阅读 0