声明
严正声明：本站非期刊官网，非中介代理。
本站仅提供学术规范服务：快速预审、润色编辑服务、中英文查重、降重、去重服务、推荐合适的期刊投稿等学术规范服务。 如需提供学术规范服务请联系在线编辑。
国内刊号：11-1777/TP
国际刊号：1000-1239
发布日期:
作者：赵晓非,史忠植,刘建伟,
关键词：逻辑无关片断, 结构完整性, 存储库系统, 元对象设施, 元数据,
高效地执行结构完整性检测是基于元对象设施(metaobjectfacility,MOF)的存储库系统一致性领域的研究热点之一.借助逻辑学手段，提出了一种高效、自动地检测结构完整性的方法.首先针对MOF存储库框架的特点研究了如何将元数据的不同层次转换进描述逻辑SROIQ(D)知识库，在此基础上研究了如何对元数据进行抽取以提高检测过程的效率.提出了元数据逻辑无关片断的概念，通过分别抽取属性演绎片断和类属演绎片断，给出了生成最小逻辑无关片断的方法.由于该种片断是给定的元数据元素逻辑蕴含的闭包，因此完整地保留了给定元数据元素的相关全部信息从而使得检测可以在较小的元数据集上进行，而不必针对整个存储库，最后给出了基于逻辑无关片断的结构完整性检测方法.实验结果表明所产生的元数据片断的平均规模显著地小于其原始规模，在此基础上执行的检测的效率提升从1.47~3.31倍不等，与相关方法的时间性能对比亦展示了所提出方法的有效性.
来源：2020年第9期
《计算机研究与发展》期刊编辑部
严正声明：本站非期刊官网，非中介代理。
本站仅提供学术规范服务：快速预审、润色编辑服务、中英文查重、降重、去重服务、推荐合适的期刊投稿等学术规范服务。 如需提供学术规范服务请联系在线编辑。