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

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

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

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

【部分圖文】：

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

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

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


本文編號(hào)：2910797