摘要：邏輯信息系統(tǒng)采用一致的方法并利用邏輯程序?qū)π畔⑦M行刻畫、查詢,最后借助信息進行導(dǎo)航、分析和更新。邏輯在邏輯信息系統(tǒng)中,尤其在數(shù)據(jù)庫模型中發(fā)揮著重要的作用。為此給出了邏輯信息系統(tǒng)的規(guī)則以及建立在系統(tǒng)基礎(chǔ)上的程序。在邏輯程序中,通過對邏輯的內(nèi)涵概念和外延概念的解釋,可以對不同的邏輯程序進行優(yōu)劣的比較,從而為選擇最佳的邏輯程序提供標準。