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

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

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