基于元数据逻辑无关片断的结构完整性检测方法

发布时间：2020-12-11 15:43

　　高效地执行结构完整性检测是基于元对象设施(meta object facility, MOF)的存储库系统一致性领域的研究热点之一.借助逻辑学手段,提出了一种高效、自动地检测结构完整性的方法.首先针对MOF存储库框架的特点研究了如何将元数据的不同层次转换进描述逻辑SROIQ(D)知识库,在此基础上研究了如何对元数据进行抽取以提高检测过程的效率.提出了元数据逻辑无关片断的概念,通过分别抽取属性演绎片断和类属演绎片断,给出了生成最小逻辑无关片断的方法.由于该种片断是给定的元数据元素逻辑蕴含的闭包,因此完整地保留了给定元数据元素的相关全部信息从而使得检测可以在较小的元数据集上进行,而不必针对整个存储库,最后给出了基于逻辑无关片断的结构完整性检测方法.实验结果表明所产生的元数据片断的平均规模显著地小于其原始规模,在此基础上执行的检测的效率提升从1.47～3.31倍不等,与相关方法的时间性能对比亦展示了所提出方法的有效性. 

【文章来源】：计算机研究与发展. 2020年09期 第1961-1970页 北大核心

【文章页数】：10 页

【部分图文】：

Mn+1层中的元-关联类

Mn+1层中的元关联

根据结构完整性约束,如果某个操作修改了元层次中某元属性的类型,若新类型不是原有类型的超类且原有类型是元层次中已存在的元类,而下级层次中该元属性的相应实例没有被修改则会产生结构完整性冲突之一——属性类型冲突.该类冲突可以通过定义函数1来检测(假定元类Property的元属性referencedType的类型由StructuredType变为SimpleType,而非DataType等超类型,如图3所示):函数1. PropertyTypeChecking(M,referencedType).


本文编号：2910797