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

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

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

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

基于描述逻辑的数据挖掘元数据的一致性检验

针对目前数据挖掘元模型DMM的自然语言和图形化方式缺乏精确的语义,基于DMM的数据挖掘元数据集成中的冲突问题难以发现,提出一种描述逻辑家族的形式逻辑DLRDM,给出DLRDM的语法和语义,使用DLRDM形式化数据挖掘元模型和元数据.证明DLRDM上的推理问题可以规约到ABox上的一致性检验问题.利用描述逻辑推理引擎RacerPro,对基于DLRDM的数据挖掘元数据进行推理检测以发现不一致信息,结果表明DLRoM在处理数据挖掘元数据一致性检验问题上的正确性与有效性.     

基于模式的CWM元数据交换方法的研究

公共仓库元模型CWM是一个开放的业界标准,用于在数据仓库及业务分析领域的元数据交换,并为元数据定义公共元模型和基于XML的交换格式。为了达到基于CWM的无缝、高互操作性的元数据交换,提出了基于模式的交换方法。重点介绍了CWM元数据的交换模式及其开发方法,并通过建立一个具体的模式进行了说明。     

基于描述逻辑的元数据存储库系统的结构完整性检测

存储库系统的元数据组织方式呈现出分层、多级并且动态变化的复杂结构;存储库系统标准对确保结构完整性规定得并不充分,上述两个原因使得基于元对象设施(MOF)标准建立元数据结构的过程中经常会发生结构完整性被违背的现象,从而严重影响存储库系统的稳定性.然而MOF是以图形的方式表示元数据,缺乏精确的语义,所以如何对基于MOF的存储库系统进行结构完整性检测成为一个棘手的问题.本文采用了描述逻辑的方法来解决该问题.该方法是基于描述逻辑家族的一种特殊的形式逻辑,我们研究了如何将MOF框架的不同层次形式化进描述逻辑知识库,以及如何利用描述逻辑提供的查询推理能力自动检测冲突.对利用该方法实现的结构完整性检测原型系统进行性能评测,取得了令人满意的结果.     

基于CWM的元数据管理系统中数据交换格式的研究

通用数据仓库元模型(CWM)是为数据仓库及商业智能环境间方便地交换元数据而制定的一个标准,可望成为未来数据仓库元数据管理的规范。它采用XMI作为元数据交换的基本格式。该文给出了一个基于CWM的元数据管理原型系统MMS的逻辑框架,并重点介绍了该系统的数据转换功能,其中给出了转换的形式化描述和几种元数据的XMI编码。     

基于CWM的模型集成问题研究

公共仓库元模型(CWM)为数据仓库和业务分析领域中提供了统一的元数据标准.针对CWM的子集,即关系包(relational package)及其所依赖包,考虑关系数据库的元数据(关系模型)集成时的冲突分析及解决策略.     

一种约束CWM元数据的方法

公共仓库元模型为构造数据仓库领域的元数据提供了统一的标准。该文对元数据交换环境作了具体分析,提出了一种基于约束模型的方法来约束CWM中的元数据,并通过一个实例说明该方法可使CWM元数据满足各种交换环境。     

基于元数据的数据仓库并行方法的应用研究

提出一种并行转换元数据管理的软件体系结构,结构基于公共仓库元模型（CWM）规范,以CWM元模型规定元数据集成、交换内容,XML元数据交换提供实时元数据交换和共享机制。采用并行数据转换结构PDTS,即可实现时应分布元数据的动态读取。体系结构有效实现了对元数据互操作和实时分布存取的可行性和有效性。     

数据仓库中实时元数据管理的研究

提出一种实时分布元数据管理的软件体系结构。结构基于公共仓库元模型（CWM）规范,以CWM元模型规定元数据集成、交换内容,XML元数据交换（XMI）提供实时元数据交换和共享机制,仅需一个接口驱动程序,即可实现对应分布元数据的动态读取。原型实验已验证了体系结构对元数据互操作和实时分布存取的可行性和有效性。