论文部分内容阅读
数据库查询、更新、维护是PROLOG-DBMS系统的基本功能。优化方法,例如子名间优化技术,是使系统实用化的关键。在执行数据库更新操作时,优化技术引入的缓存数据库和原数据库可能产生数据不一致。文中分析了更新数据和查询历史之间的逻辑关系,指出一致性的约束条件,讨论了在单用户情况下数据库维护的有效策略。