软件学报
軟件學報
연건학보
JOURNAL OF SOFTWARE
2014年
4期
863-879
,共17页
王梁%周光焱%王黎维%彭智勇
王樑%週光焱%王黎維%彭智勇
왕량%주광염%왕려유%팽지용
不确定性%属性表达式%溯源表达式%概率计算%共享路径
不確定性%屬性錶達式%溯源錶達式%概率計算%共享路徑
불학정성%속성표체식%소원표체식%개솔계산%공향로경
uncertainty%attribute expression%lineage expression%probabilistic computation%share path
传统的数据库应用中,数据往往被假定是精确可用的,而实际中数据普遍存在不确定性.以往许多利用溯源信息追踪数据不确定性的方法往往关注元组或单一属性存在不确定性的情况,通过对元组添加唯一变量标识,用变量标识所表示的溯源信息构造布尔表达式计算结果元组概率.当元组中多个属性存在不确定性时,对元组进行标识不能帮助用户快速而准确地找到造成不确定性的源属性值.定义属性表达式,并通过属性表达式构造溯源表达式.利用该溯源表达式不仅可以准确地追溯不确定性产生的具体位置,同时还可以实现结果元组的概率计算.为保证概率计算结果的正确性,提出溯源表达式的转换算法.通过分析影响结果元组概率计算效率的因素,还提出构建共享路径表的方法,在构建过程中对原子析取式进行预计算,以提高概率计算的效率.实验部分将该方法与现有的元组级溯源信息表示方法在时间代价和空间代价方面进行比较,验证其可行性和有效性.此外,实验部分还对利用共享路径加快结果元组概率计算的有效性进行了评估.
傳統的數據庫應用中,數據往往被假定是精確可用的,而實際中數據普遍存在不確定性.以往許多利用溯源信息追蹤數據不確定性的方法往往關註元組或單一屬性存在不確定性的情況,通過對元組添加唯一變量標識,用變量標識所錶示的溯源信息構造佈爾錶達式計算結果元組概率.噹元組中多箇屬性存在不確定性時,對元組進行標識不能幫助用戶快速而準確地找到造成不確定性的源屬性值.定義屬性錶達式,併通過屬性錶達式構造溯源錶達式.利用該溯源錶達式不僅可以準確地追溯不確定性產生的具體位置,同時還可以實現結果元組的概率計算.為保證概率計算結果的正確性,提齣溯源錶達式的轉換算法.通過分析影響結果元組概率計算效率的因素,還提齣構建共享路徑錶的方法,在構建過程中對原子析取式進行預計算,以提高概率計算的效率.實驗部分將該方法與現有的元組級溯源信息錶示方法在時間代價和空間代價方麵進行比較,驗證其可行性和有效性.此外,實驗部分還對利用共享路徑加快結果元組概率計算的有效性進行瞭評估.
전통적수거고응용중,수거왕왕피가정시정학가용적,이실제중수거보편존재불학정성.이왕허다이용소원신식추종수거불학정성적방법왕왕관주원조혹단일속성존재불학정성적정황,통과대원조첨가유일변량표식,용변량표식소표시적소원신식구조포이표체식계산결과원조개솔.당원조중다개속성존재불학정성시,대원조진행표식불능방조용호쾌속이준학지조도조성불학정성적원속성치.정의속성표체식,병통과속성표체식구조소원표체식.이용해소원표체식불부가이준학지추소불학정성산생적구체위치,동시환가이실현결과원조적개솔계산.위보증개솔계산결과적정학성,제출소원표체식적전환산법.통과분석영향결과원조개솔계산효솔적인소,환제출구건공향로경표적방법,재구건과정중대원자석취식진행예계산,이제고개솔계산적효솔.실험부분장해방법여현유적원조급소원신식표시방법재시간대개화공간대개방면진행비교,험증기가행성화유효성.차외,실험부분환대이용공향로경가쾌결과원조개솔계산적유효성진행료평고.