全部 标题 作者 关键词 摘要
Keywords: 面向对象数据库系统,推理查询,Datalog.
Full-Text Cite this paper Add to My Lib
本文基于复旦大学开发的一个面向对象数据库系统FOOD,提出一种推理查询语言O—Datalog.该语言能方便地表达对面向对象数据的各种查询和推理要求;它可以转换成类Datalog形式,能运用各种高效计值算法,比其它一些基于非Horn子句逻辑的语言更易于实现.O—Datalog在形式上是一种Datalog的扩充,本文着重介绍其语法和语义
Full-Text
Contact Us
service@oalib.com
QQ:3279437679
WhatsApp +8615387084133