| 基于逻辑程序的逻辑信息系统 |
| |
| 引用本文： | 董英东.基于逻辑程序的逻辑信息系统[J].毕节学院学报,2017,35(1). |
| |
| 作者姓名： | 董英东 |
| |
| 作者单位： | 贵州工程应用技术学院逻辑与文化研究中心,贵州 毕节,551700 |
| |
| 基金项目： | 国家社科基金重大项目"现代逻辑的新发展、理论前沿与应用研究";项目，省级科研创新团队资助项目"逻辑与信息创新团队";项目编号:黔教合人才团队字[2012]04号.团队资助项目"逻辑与信息创新团队";项目编号:黔教合人才团队字[2012]04号.作者简介:董英东，男;河南南阳人;贵州工程应用技术学院逻辑与文化研究中心教授;博士;西南大学逻 |
| |
| 摘 要： | 逻辑信息系统采用一致的方法并利用逻辑程序对信息进行刻画、查询,最后借助信息进行导航、分析和更新.逻辑在逻辑信息系统中,尤其在数据库模型中发挥着重要的作用.为此给出了逻辑信息系统的规则以及建立在系统基础上的程序.在逻辑程序中,通过对逻辑的内涵概念和外延概念的解释,可以对不同的逻辑程序进行优劣的比较,从而为选择最佳的逻辑程序提供标准.
|
| 关 键 词： | 逻辑信息系统 逻辑程序 内涵 外延 |
Logic Information Systems for Logic Programmers |
| |
| Dong Yingdong.Logic Information Systems for Logic Programmers[J].Journal of Bijie University,2017,35(1). |
| |
| Authors: | Dong Yingdong |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ |
|
