演绎数据库系统相关论文
现有的演绎数据库系统如ＬＤＬ，Ｎａｉｌ！ＣＯＲＡＬ等都采用分层的否定，以确保能计算出程序的完美不动点，事实上，否定的分层只是确保程序含完善不动点的充分条件......
演绎推理是有效实现演绎数据库系统的关键与核心.该文针对一种结构合理的演绎数据库系统的设计方案,介绍了系统中实现递归查询的推......
主要介绍了一种演绎数据库系统SD－DDBS的设计思想和实现技术，重点阐述了规则的表示及实际机制。......
分析了演绎数据库的理论基础和实现机制，重点介绍设计和实现的基于SQL Server的演绎数据库系统，对系统进行了分析和评价.......
