|
|||||
|
|
| 关于分布式PROLOG演绎数据库 | |
| 作者姓名： | 鲁汉榕 |
| 作者单位： | 空军雷达学院 |
| 摘 要： | 只要注意完整性限制的处理,PROLOG用来实现(关系型)演绎数据库系统是很合适的,因为它为表达数据库、查询、以及完整性限制提供一种统一和简洁的一体化表述体系;查询计值就通过PROLOG定理证明过程来实现,查询值作为机械定理证明过程的副效应之一而生成.PROLOG系统用来实现演绎数据库使得建立系统的代价降至最小. |
| 本文献已被 CNKI 等数据库收录！ | |
|
||||||||||||||||
|
||||||||||||||||
|
||||||||||||||||
|
|
|
|
| 设为首页 | 免责声明 | 关于勤云 | 加入收藏 |
|
Copyright©北京勤云科技发展有限公司 京ICP备09084417号-23 |
