發(fā)布時間：2020-12-11 15:43

　　高效地執(zhí)行結(jié)構(gòu)完整性檢測是基于元對象設(shè)施(meta object facility, MOF)的存儲庫系統(tǒng)一致性領(lǐng)域的研究熱點之一.借助邏輯學手段,提出了一種高效、自動地檢測結(jié)構(gòu)完整性的方法.首先針對MOF存儲庫框架的特點研究了如何將元數(shù)據(jù)的不同層次轉(zhuǎn)換進描述邏輯SROIQ(D)知識庫,在此基礎(chǔ)上研究了如何對元數(shù)據(jù)進行抽取以提高檢測過程的效率.提出了元數(shù)據(jù)邏輯無關(guān)片斷的概念,通過分別抽取屬性演繹片斷和類屬演繹片斷,給出了生成最小邏輯無關(guān)片斷的方法.由于該種片斷是給定的元數(shù)據(jù)元素邏輯蘊含的閉包,因此完整地保留了給定元數(shù)據(jù)元素的相關(guān)全部信息從而使得檢測可以在較小的元數(shù)據(jù)集上進行,而不必針對整個存儲庫,最后給出了基于邏輯無關(guān)片斷的結(jié)構(gòu)完整性檢測方法.實驗結(jié)果表明所產(chǎn)生的元數(shù)據(jù)片斷的平均規(guī)模顯著地小于其原始規(guī)模,在此基礎(chǔ)上執(zhí)行的檢測的效率提升從1.47～3.31倍不等,與相關(guān)方法的時間性能對比亦展示了所提出方法的有效性. 

【文章來源】：計算機研究與發(fā)展. 2020年09期 第1961-1970頁 北大核心

【文章頁數(shù)】：10 頁

【部分圖文】：

Mn+1層中的元-關(guān)聯(lián)類

Mn+1層中的元關(guān)聯(lián)

根據(jù)結(jié)構(gòu)完整性約束,如果某個操作修改了元層次中某元屬性的類型,若新類型不是原有類型的超類且原有類型是元層次中已存在的元類,而下級層次中該元屬性的相應實例沒有被修改則會產(chǎn)生結(jié)構(gòu)完整性沖突之一——屬性類型沖突.該類沖突可以通過定義函數(shù)1來檢測(假定元類Property的元屬性referencedType的類型由StructuredType變?yōu)镾impleType,而非DataType等超類型,如圖3所示):函數(shù)1. PropertyTypeChecking(M,referencedType).


本文編號：2910797