面向对象数据库的推理查询语言*
, PP. 30-37
Keywords: 面向对象数据库系统,推理查询,datalog．
Abstract:
本文基于复旦大学开发的一个面向对象数据库系统food，提出一种推理查询语言o—datalog．该语言能方便地表达对面向对象数据的各种查询和推理要求；它可以转换成类datalog形式，能运用各种高效计值算法，比其它一些基于非horn子句逻辑的语言更易于实现．o—datalog在形式上是一种datalog的扩充，本文着重介绍其语法和语义．
Full-Text
