不完全信息系統(tǒng)的理論研究.pdf

1、不完全信息數(shù)據(jù)庫與SQL語言的語義是數(shù)據(jù)庫理論的兩個(gè)重要研究方向,不僅具有重要的理論價(jià)值,而且還具有很高的應(yīng)用價(jià)值.本文借助中介邏輯謂詞演算系統(tǒng)MF<'M>,對不完全信息系統(tǒng)的理論和應(yīng)用進(jìn)行了研究.為了更好地處理不完全信息數(shù)據(jù)庫的查詢,在對目前數(shù)據(jù)庫處理空值所存在的問題進(jìn)行分析的基礎(chǔ)上,對SQL查詢進(jìn)行了修改和擴(kuò)充,構(gòu)造了針對不完全信息數(shù)據(jù)庫的查詢語言,使之能夠比較正確地處理不完全信息.同時(shí),本文將SQL查詢結(jié)果分為確定信息和可能信息兩

2、種類型,并針對產(chǎn)生不同結(jié)果的SQL查詢進(jìn)行描述,并且在Linux系統(tǒng)下,通過使用Yacc語法分析工具和Lex詞法分析工具實(shí)現(xiàn)了不完全信息數(shù)據(jù)庫基本的查詢功能.其次,以MF<'M>為理論基礎(chǔ),構(gòu)造了一個(gè)針對可能信息的SQL查詢的形式的三值元組關(guān)系演算MFPC,在對此演算進(jìn)行構(gòu)造的基礎(chǔ)上通過語法轉(zhuǎn)化規(guī)則把SQL查詢轉(zhuǎn)化為MFPC,從而完整地定義了SQL查詢的形式語義.最后,建立了中介邏輯謂詞演算系統(tǒng)MF<'M>的表推演系統(tǒng),并證明了該系統(tǒng)的