基于CWM的元数据的形式化推理框架研究

来源 :计算机研究与发展 | 被引量 : 0次 | 上传用户：jason008_xu

【摘要】

：

在基于公共仓库元模型（CWM）建立元数据的过程中，参与建立元数据的团体的不同经验以及描述数据的不同视角不可避免地带来元数据的冲突和冗余等问题，然而CWM的图形化特点使之缺乏精

【作者】

：

赵晓非黄志球

【机构】

：

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

【出处】

：

计算机研究与发展

【发表日期】

：

2007年5期

【关键词】

：

公共仓库元模型(CWM) 描述逻辑元数据集成元数据演化水平一致性演化一致性 common warehouse metamodel（CWM） descri

【基金项目】

：

航空科学基金项目（01I52058）

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

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

其他文献

镍电解精炼阳极泥处理方法的改进

一、绪言住友金属矿山新居滨镍厂,从1986年起,以彻底改善阳极泥处理工序为目标,采用氯气浸出法。本文综述了采用的经过,实验室规模的研究,成套生产设备的设计,实际操作等问题

期刊

电解精炼氯气浸出浸出渣实验室规模溶解反应处理方法镍冶炼工序图镍电解硫黄

完善农业科技服务体系推动农村经济持续发展

近年来，新城区紧紧把握国家、自治区、呼市的农业科技发展方向，认真落实科学发展观，按照构建和谐社会．建设社会主义新农村的要求．强化农业科技服务基础。努力搭建农业科技服务平台

期刊

农业科技发展科技服务体系经济持续发展新农村社会责任感农业科技服务农业科技创新信息服务网络

商业连锁经营的高效率配送

本文主要针对高频率、小批量配送，共同型配送及一体化配送三种配送形式进行比较分析，在对日本三种配送形式进行调研的基础上，论证了一体化配送作为连锁经营的配送方式是一种发展

期刊

准时供应配送频率共同配送一体化配送供应链

探索科技扶贫项目的参与性决策途径

初步总结了“科技扶贫参与性方法示范研究”项目。主要介绍了“云南省科技扶贫示范工程”的总体目标和任务，论述了在“科技扶贫示范工程”中进行参与性决策途径探索与示范的理

期刊

科技扶贫参与性决策示范研究扶贫项目云南

从航片上观察点苍山冰川地貌

本文利用点苍山地区1:3.8万黑白航空像片,通过目视判读初步查明大理点苍山晚更新世冰川作用的特征,其冰蚀地貌主要沿北北西向主山脊线两侧分布,发现大小冰斗、冰盆和雪蚀洼地共约70处;冰斗冰湖、角峰和刃脊是其主要的冰蚀形态;根据冰斗分布高度、形态规模和后期的侵蚀破坏程度,将点苍山的古冰川作用划分为大小海子冰期、大理冰期Ⅰ期和大理冰期Ⅱ期,它们的雪线高度分别为:3250—3550m、3700—3800m

期刊