论文部分内容阅读
本文基于复旦大学开发的一个面向对象数据库系统FOOD,提出一种推理查询语言O-Datalog,语言能方便地表达对面向对象数据的各种查询和推理要求,它可以转换 Datalog形式,能运用各种高效计值算法,比其它一些基于非Horn子句逻辑的语言更易于O-Datalog在形式上是一种Dataog的扩充,本文着重介绍其语法和语义。