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

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

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