高级检索
    赵晓非, 史忠植, 刘建伟. 基于元数据逻辑无关片断的结构完整性检测方法[J]. 计算机研究与发展, 2020, 57(9): 1961-1970. DOI: 10.7544/issn1000-1239.2020.20190493
    引用本文: 赵晓非, 史忠植, 刘建伟. 基于元数据逻辑无关片断的结构完整性检测方法[J]. 计算机研究与发展, 2020, 57(9): 1961-1970. DOI: 10.7544/issn1000-1239.2020.20190493
    Zhao Xiaofei, Shi Zhongzhi, Liu Jianwei. Structural Integrity Checking Based on Logically Independent Fragment of Metadata[J]. Journal of Computer Research and Development, 2020, 57(9): 1961-1970. DOI: 10.7544/issn1000-1239.2020.20190493
    Citation: Zhao Xiaofei, Shi Zhongzhi, Liu Jianwei. Structural Integrity Checking Based on Logically Independent Fragment of Metadata[J]. Journal of Computer Research and Development, 2020, 57(9): 1961-1970. DOI: 10.7544/issn1000-1239.2020.20190493

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

    Structural Integrity Checking Based on Logically Independent Fragment of Metadata

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

       

      Abstract: Checking the structural integrity efficiently is one of the research hotspots in the field of MOF(meta object facility) repository system consistency. In this paper, we propose an efficient and automatic approach for checking the structural integrity by means of description logics. Firstly, according to the characteristics of MOF architecture, we study how to transform different levels of metadata into SROIQ(D) knowledge base. Then we study how to extract metadata to improve the efficiency of the checking process. We propose the concept of logically independent fragment of metadata. By extracting property deductive fragment and classification deductive fragment respectively, we present the algorithm to generate the minimum logically independent fragment. Since this kind of fragment is the closure of logical implication for a given metadata element, all relevant information about the given metadata element is completely preserved, thus the checking process can be performed on a smaller set of metadata rather than on the entire repository. Finally, we study how to perform checking based on logically independent fragment. The experimental results show that the average size of the metadata fragment generated by our approach is significantly smaller than its original size, and the efficiency improvement of the checking on the metadata fragment ranges from 1.47 times to 3.31 times. The time performance comparison with the related approaches also shows the effectiveness of our approach.

       

    /

    返回文章
    返回