基于邏輯程序的邏輯信息系統

摘要：邏輯信息系統采用一致的方法并利用邏輯程序對信息進行刻畫、查詢,最后借助信息進行導航、分析和更新。邏輯在邏輯信息系統中,尤其在數據庫模型中發揮著重要的作用。為此給出了邏輯信息系統的規則以及建立在系統基礎上的程序。在邏輯程序中,通過對邏輯的內涵概念和外延概念的解釋,可以對不同的邏輯程序進行優劣的比較,從而為選擇最佳的邏輯程序提供標準。