一个演绎的面向对象数据库语言SD-DOOL

摘要

演绎的面向对象数据库(简称演绎对象数据库)是演绎数据库和面向对象数据库结合的产物,它集成了演绎数据库的推理能力和面向对象数据库强大的建模能力.我们提出了一种演绎对象库语言SD-DOOL,它支持类、类层次、集合、部分集、方法.本文重点讨论了它的语法和语义.