本文關(guān)鍵詞：微函數(shù)依賴及其推理

  更多相關(guān)文章： 微函數(shù)依賴 提取函數(shù) 可滿足性問題 蘊含問題 推理系統(tǒng)

【摘要】：起初,作為一個數(shù)據(jù)庫模式設(shè)計的工具,函數(shù)依賴理論得到了很多的關(guān)注,而在數(shù)據(jù)修復(fù)中,該理論并不是十分有效.近年來,針對不一致數(shù)據(jù)的檢測和修復(fù)問題,更多的約束被提出來,包括條件函數(shù)依賴、修復(fù)規(guī)則以及編輯規(guī)則等.然而,這些方法都只關(guān)注了屬性整體之間的依賴關(guān)系,而實際應(yīng)用中的數(shù)據(jù)通常有屬性部分之間的依賴關(guān)系.例如,某單位員工的工號前兩位決定了其所屬的部門,而此類依賴信息就被已有方法忽略.該文首先提出了一類更一般化的約束——微函數(shù)依賴,微函數(shù)依賴引入提取函數(shù),用來表示屬性的部分信息.利用提取函數(shù)之間的依賴關(guān)系,能夠檢測出更多的不一致數(shù)據(jù).理論方面,該文首先研究了微函數(shù)依賴的可滿足性問題和蘊含問題,然后提供了一個正確且完備的推理系統(tǒng).最后,通過實驗證實了微函數(shù)依賴能夠在可接受的時間開銷內(nèi)檢測出更多的錯誤數(shù)據(jù).
【作者單位】： 哈爾濱工業(yè)大學(xué)計算機科學(xué)與技術(shù)學(xué)院;哈爾濱工業(yè)大學(xué)軟件學(xué)院;
【關(guān)鍵詞】： 微函數(shù)依賴 提取函數(shù) 可滿足性問題 蘊含問題 推理系統(tǒng)
【基金】：國家“九七三”重點基礎(chǔ)研究發(fā)展規(guī)劃項目基金(2012CB316202) 中央高�；究蒲袠I(yè)務(wù)費專項資金(HIT.NSRIF.201649) 國家自然科學(xué)基金(61502121)資助~~
【分類號】：TP311.13
【正文快照】： 1引言 相關(guān)資料表明,臟數(shù)據(jù)正在變得越來越普遍且不可避免,例如,在信息產(chǎn)業(yè)還沒有特別發(fā)達的1998年就已經(jīng)有1%~5%的商業(yè)數(shù)據(jù)存在錯誤,在有些企業(yè)中甚至達到了30%[1];國際著名科技咨詢機構(gòu)Gartner的調(diào)查顯示,全球財富1000強企業(yè)中超過25%的企業(yè)信息系統(tǒng)中的數(shù)據(jù)不正確或不準確

【相似文獻】

中國期刊全文數(shù)據(jù)庫 前10條

1 熊中敏;郝忠孝;;基于路徑函數(shù)依賴和鍵約束的復(fù)雜對象嵌套結(jié)構(gòu)規(guī)范化[J];計算機工程;2006年04期

2 衛(wèi)強;周曉滄;;基于屬性預(yù)掃描的不確定性函數(shù)依賴挖掘[J];清華大學(xué)學(xué)報(自然科學(xué)版);2009年06期

3 程錄慶;;條件函數(shù)依賴與數(shù)據(jù)質(zhì)量控制[J];信息系統(tǒng)工程;2009年11期

4 彭湘凱;陳富強;;函數(shù)依賴對商覆蓋立方體生成效率的影響[J];計算機工程與應(yīng)用;2009年34期

5 安秋生;;粒計算支持的粗糙函數(shù)依賴的研究[J];計算機工程與應(yīng)用;2010年10期

6 程錄慶;;數(shù)據(jù)約束表達研究——比較條件函數(shù)依賴與傳統(tǒng)函數(shù)依賴[J];洛陽師范學(xué)院學(xué)報;2011年11期

7 耿寅融;劉波;;基于條件函數(shù)依賴的數(shù)據(jù)庫一致性檢測研究[J];計算機工程與應(yīng)用;2012年03期

8 杜曉昕;王波;戴學(xué)豐;;函數(shù)依賴判定可行域的人工魚群屬性約簡[J];計算機工程與應(yīng)用;2012年09期

9 李丁月;劉建勛;翟海軍;;一種增量發(fā)現(xiàn)條件函數(shù)依賴的算法[J];計算機工程與科學(xué);2013年08期

10 馬垣;屬性集合函數(shù)依賴的半序同構(gòu)集[J];計算機學(xué)報;1987年10期

中國重要會議論文全文數(shù)據(jù)庫 前10條

1 陳長清;馮劍琳;向隆剛;馮玉才;;維之間帶函數(shù)依賴關(guān)系的數(shù)據(jù)立方的有效計算[A];第十九屆全國數(shù)據(jù)庫學(xué)術(shù)會議論文集（技術(shù)報告篇）[C];2002年

2 張忠平;曹順良;李榮;朱揚勇;;基于約束的XML模式規(guī)范化研究[A];第二十屆全國數(shù)據(jù)庫學(xué)術(shù)會議論文集（研究報告篇）[C];2003年

3 馬垣;張小平;白雪;王旭;劉楊;楊鴻雁;;函數(shù)依賴作用域及分類規(guī)則的挖掘[A];第二十一屆中國數(shù)據(jù)庫學(xué)術(shù)會議論文集（技術(shù)報告篇）[C];2004年

4 趙相國;王國仁;張恩德;丁大斌;霍歡;;XML函數(shù)依賴的定義及分析[A];第二十三屆中國數(shù)據(jù)庫學(xué)術(shù)會議論文集（研究報告篇）[C];2006年

5 馬垣;;動態(tài)Fuzzy函數(shù)依賴[A];第十二屆全國數(shù)據(jù)庫學(xué)術(shù)會議論文集[C];1994年

6 劉云峰;楊冬青;唐世渭;王騰蛟;;基于XML數(shù)據(jù)交換中的函數(shù)依賴轉(zhuǎn)換方法[A];第二十屆全國數(shù)據(jù)庫學(xué)術(shù)會議論文集（研究報告篇）[C];2003年

7 張忠平;余靖;朱揚勇;;基于函數(shù)依賴的XML鍵的推理及其求解算法[A];第二十一屆中國數(shù)據(jù)庫學(xué)術(shù)會議論文集（研究報告篇）[C];2004年

8 張小峰;張福增;趙永升;李明;;基于函數(shù)依賴關(guān)系的約簡算法研究[A];第二十二屆中國數(shù)據(jù)庫學(xué)術(shù)會議論文集（研究報告篇）[C];2005年

9 彭玉青;何華;顧軍華;;基于粗集理論的歸納依賴關(guān)系的研究[A];第十七屆全國數(shù)據(jù)庫學(xué)術(shù)會議論文集（技術(shù)報告篇）[C];2000年

10 岳昆;郭志懋;胥正川;周傲英;;從XML鍵到關(guān)系數(shù)據(jù)庫函數(shù)依賴[A];第十九屆全國數(shù)據(jù)庫學(xué)術(shù)會議論文集（技術(shù)報告篇）[C];2002年

中國重要報紙全文數(shù)據(jù)庫 前1條

1 記者 何屹;美籍華裔科學(xué)家獲英計算機最高獎[N];科技日報;2008年

中國博士學(xué)位論文全文數(shù)據(jù)庫 前1條

1 呂騰;XML文檔的規(guī)范化問題研究[D];復(fù)旦大學(xué);2003年

中國碩士學(xué)位論文全文數(shù)據(jù)庫 前10條

1 吳佳;多態(tài)依賴蘊含判定方法的研究[D];北京工業(yè)大學(xué);2015年

2 葉杰敏;不確定數(shù)據(jù)庫及相關(guān)理論研究[D];東華大學(xué);2014年

3 李高仕;XML數(shù)據(jù)庫的規(guī)范化理論研究[D];湖南師范大學(xué);2008年

4 閆淵;基于信息論和函數(shù)依賴的半監(jiān)督學(xué)習(xí)[D];吉林大學(xué);2013年

5 覃事東;基于函數(shù)依賴改進隱含樸素貝葉斯的性能和魯棒性[D];吉林大學(xué);2014年

6 蘇杰;基于編輯距離和條件函數(shù)依賴的酒店數(shù)據(jù)清洗方法研究[D];南昌大學(xué);2014年

7 張峰;XML不完全信息的動態(tài)發(fā)現(xiàn)[D];山東大學(xué);2009年

8 侯林嬌;基于函數(shù)依賴的成批處理模式挖掘方法研究[D];湖南科技大學(xué);2011年

9 曹穎;云計算環(huán)境下分布式數(shù)據(jù)不一致的研究[D];中國海洋大學(xué);2013年

10 周莉;帶約束的XML與RDB數(shù)據(jù)轉(zhuǎn)換關(guān)鍵技術(shù)的研究[D];江西師范大學(xué);2005年

，

本文編號：964784