基于描述逻辑的元数据存储库系统的结构完整性检测

来源 :小型微型计算机系统 | 被引量 : 0次 | 上传用户:hulin510
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
存储库系统的元数据组织方式呈现出分层、多级并且动态变化的复杂结构;存储库系统标准对确保结构完整性规定得并不充分,上述两个原因使得基于元对象设施(MOF)标准建立元数据结构的过程中经常会发生结构完整性被违背的现象,从而严重影响存储库系统的稳定性.然而MOF是以图形的方式表示元数据,缺乏精确的语义,所以如何对基于MOF的存储库系统进行结构完整性检测成为一个棘手的问题.本文采用了描述逻辑的方法来解决该问题.该方法是基于描述逻辑家族的一种特殊的形式逻辑,我们研究了如何将MOF框架的不同层次形式化进描述逻辑知识库,
其他文献
近年来,全球气候变化下由极端降雨等诱因导致洪涝过程频发,雨水本身作为资源现如今却变成了一大安全隐患,我国作为水灾害频发的国家之一。因此,解决洪涝问题是中国当下的重大社会需求。调蓄设施作为一种可以减轻洪涝灾害,控制面源污染的重要技术措施已被广泛使用。实践证明,调蓄设施具有显著的社会,环境和经济效益,是三者的有效统一。目前对于调蓄设施的研究主要集中在合理确定适合具体地方调蓄设施的容积和调蓄设施经济效益
采用干酪素平板透明圈法从垃圾附近的土壤中分离得到1株产蛋白酶的优良菌株,通过测定其16S r DNA基因序列,鉴定该菌为铜绿假单胞菌(Pseudomonas aeruginosa)。以酪蛋白为底物对
“云展览”是互联网环境下通过资源集成和服务共享方式向公众传播文物数字化信息及相关知识图谱的信息服务系统。根据“云展览”的实现技术与呈现形态,有图文在线展、实景三
仁化县锦江河原名“仁化河”,这一优渥的水上资源孕育着粤北地区的百姓们,人们在水运、打渔、摇橹、船务等不同的劳作下产生了水上船歌。“仁化河”的水上船歌是中国粤北地区
我科自1994年以来,应用雷公藤口服加复方丹参注射液静脉滴注治疗银屑病41例,取得较好疗效,现报告如下。1 临床资料1.1 一般资料本文抽选121例患者,其中男74例,女性47例;年龄1
乔治·莫兰迪是意大利著名的版画家、油画家,在他的画作中,以细小的事物作为绘画题材,体现其对世界的思考。简约是莫兰迪的绘画风格,平视是莫兰迪画作中常采用的观察视点
交响乐队是由多种乐器组合而成的团体,双簧管是交响乐中的调音基准乐器,在交响乐队演奏中具有非常重要的作用。为丰富交响乐队的表现力,提高交响乐的艺术感染力,本文分析了交
临床上把尿失禁分为完全性尿失禁和相对性尿失禁。相对性尿失禁是指膀胱不能排空,当尿液不断积聚。膀胱受到一定压迫时。即可排出少量尿液。但当膀胱内压力减轻,排尿即行停止。
Xen由于其很低的性能损失,而逐渐成为最受欢迎的虚拟化管理工具之一.但是,它的SEDF调度算法存在在SMP下不能支持全局负载平衡的问题.本文针对此问题提出一种名为IEDF的改进算
目的探讨在对重症呼吸机相关性肺炎患者呼吸力学及血清炎性因子的观察中纤维支气管镜所发挥出的作用。方法选取江苏省常熟市中医院(常熟市新区医院)2017年6月至2019年6月收治