-
题名基于元数据逻辑无关片断的结构完整性检测方法
被引量：3
- 1
-
-
作者
赵晓非
史忠植
刘建伟
-
机构
天津工业大学计算机科学与技术学院
江苏省计算机信息处理技术重点实验室(苏州大学)
中国科学院计算技术研究所智能信息处理重点实验室
-
出处
《计算机研究与发展》
EI
CSCD
北大核心
2020年第9期1961-1970,共10页
-
基金
国家自然科学基金项目(61035003,61972456)
江苏省计算机信息处理技术重点实验室开放基金项目(KJS1737)。
-
文摘
高效地执行结构完整性检测是基于元对象设施(meta object facility,MOF)的存储库系统一致性领域的研究热点之一.借助逻辑学手段,提出了一种高效、自动地检测结构完整性的方法.首先针对MOF存储库框架的特点研究了如何将元数据的不同层次转换进描述逻辑SROIQ(D)知识库,在此基础上研究了如何对元数据进行抽取以提高检测过程的效率.提出了元数据逻辑无关片断的概念,通过分别抽取属性演绎片断和类属演绎片断,给出了生成最小逻辑无关片断的方法.由于该种片断是给定的元数据元素逻辑蕴含的闭包,因此完整地保留了给定元数据元素的相关全部信息从而使得检测可以在较小的元数据集上进行,而不必针对整个存储库,最后给出了基于逻辑无关片断的结构完整性检测方法.实验结果表明所产生的元数据片断的平均规模显著地小于其原始规模,在此基础上执行的检测的效率提升从1.47~3.31倍不等,与相关方法的时间性能对比亦展示了所提出方法的有效性.
-
关键词
逻辑无关片断
结构完整性
存储库系统
元对象设施
元数据
-
Keywords
logically independent fragment
structural integrity
repository system
meta object facility(MOF)
metadata
-
分类号
TP311.13
[自动化与计算机技术—计算机软件与理论]
-
