基于元数据逻辑无关片断的结构完整性检测方法
文献类型：期刊论文
| 作者 | 赵晓非3; 史忠植1; 刘建伟1 |
| 刊名 | 计算机研究与发展
 |
| 出版日期 | 2020 |
| 卷号 | 57.0期号:009页码:1961 |
| 关键词 | 逻辑无关片断 结构完整性 存储库系统 元对象设施 元数据 |
| ISSN号 | 1000-1239 |
| 英文摘要 | 高效地执行结构完整性检测是基于元对象设施(meta object facility,MOF)的存储库系统一致性领域的研究热点之一.借助逻辑学手段,提出了一种高效、自动地检测结构完整性的方法.首先针对MOF存储库框架的特点研究了如何将元数据的不同层次转换进描述逻辑SROIQ(D)知识库,在此基础上研究了如何对元数据进行抽取以提高检测过程的效率.提出了元数据逻辑无关片断的概念,通过分别抽取属性演绎片断和类属演绎片断,给出了生成最小逻辑无关片断的方法.由于该种片断是给定的元数据元素逻辑蕴含的闭包,因此完整地保留了给定元数据元素的相关全部信息从而使得检测可以在较小的元数据集上进行,而不必针对整个存储库,最后给出了基于逻辑无关片断的结构完整性检测方法.实验结果表明所产生的元数据片断的平均规模显著地小于其原始规模,在此基础上执行的检测的效率提升从1.47~3.31倍不等,与相关方法的时间性能对比亦展示了所提出方法的有效性. |
| 语种 | 英语 |
| 源URL | [http://119.78.100.204/handle/2XEOYT63/37865]  |
| 专题 | 中国科学院计算技术研究所期刊论文_中文 |
| 作者单位 | 1.中国科学院计算技术研究所 2.苏州大学 3.天津工业大学 |
| 推荐引用方式 GB/T 7714 | 赵晓非,史忠植,刘建伟. 基于元数据逻辑无关片断的结构完整性检测方法[J]. 计算机研究与发展,2020,57.0(009):1961. |
| APA | 赵晓非,史忠植,&刘建伟.(2020).基于元数据逻辑无关片断的结构完整性检测方法.计算机研究与发展,57.0(009),1961. |
| MLA | 赵晓非,et al."基于元数据逻辑无关片断的结构完整性检测方法".计算机研究与发展 57.0.009(2020):1961. |
入库方式： OAI收割
来源：计算技术研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。