基于逻辑程序的逻辑信息系统

逻辑信息系统采用一致的方法并利用逻辑程序对信息进行刻画、查询,最后借助信息进行导航、分析和更新。逻辑在逻辑信息系统中,尤其在数据库模型中发挥着重要的作用。为此给出了逻辑信息系统的规则以及建立在系统基础上的程序。在逻辑程序中,通过对逻辑的内涵概念和外延概念的解释,可以对不同的逻辑程序进行优劣的比较,从而为选择最佳的逻辑程序提供标准。