不完全信息數(shù)據(jù)庫的理論研究.pdf

1、不完全信息數(shù)據(jù)庫是數(shù)據(jù)庫領(lǐng)域的重要研究方向，不僅具有重要的理論價值，而且還具有重要的應(yīng)用價值。目前尚沒有一個完善的理論體系為不完全信息的表示和處理提供理論支撐。中介邏輯命題演算系統(tǒng)MPM和中介邏輯謂詞演算系統(tǒng)MFM是在改造原有的中介邏輯系統(tǒng)的基礎(chǔ)上提出的一種新的邏輯系統(tǒng)，該邏輯系統(tǒng)特別適用于處理不完全信息，可以作為處理不完全信息的理論基礎(chǔ)。本文通過對MPM中介邏輯命題演算系統(tǒng)進行代數(shù)抽象，建立了一個新的代數(shù)系統(tǒng)，討論了該代數(shù)系統(tǒng)的性質(zhì)，

2、并利用該代數(shù)系統(tǒng)的代數(shù)性質(zhì)構(gòu)造了中介命題演算系統(tǒng)MPM上的一個公理完備集合，使用該公理集合可以方便的推導(dǎo)出MPM上的等值和互推公式，這對于處理不完全信息數(shù)據(jù)庫的查詢優(yōu)化有著重要作用。隨后，本文在概率空間的基礎(chǔ)上，將命題真度的概念引入MPM中介命題邏輯系統(tǒng)中，并討論其上的一些性質(zhì)，證明一般真度MP規(guī)則和HS規(guī)則在MPM中介命題邏輯系統(tǒng)中是成立的。最后，本文對經(jīng)典的三值邏輯進行了總結(jié)，在此基礎(chǔ)上提出了一個四值邏輯系統(tǒng)，擴充了該系統(tǒng)的連接詞，