演绎对象数据库SD-DOOD系统更新的设计与实现

SD-DOOD是一个演绎对象数据库实验系统。论文主要是设计并实现了系统的动态更新数据库功能,文中首先给出了详细的实现更新的算法,进而对算法进行了简单分析,最后通过举例说明了这个功能。系统中采用自底向上和自顶向下相结合的更新方式,增强了系统的安全性。