DATALOG编译器的设计和实现

摘要：

本文以简单的办法实现了一个比较完整的DATALOG编译器,比较高效地解决了DAT-ALOG编译中的谓词属性定位,谓词属性类型,递归谓词求解,否定谓词处理等问题.编译器结构简单,易于扩展,执行效率比较高.同时,编译器的工作采用了标准的数据库接口,实现了数据库平台的透明性.

关键词： 编译器 知识库 谓词处理 数据查询

作者: 董淳 李孟恒 王敏慧

作者单位: 复旦大学计算机科学系(上海)

会议类型: 国内会议

会议名称: 第十五届全国数据库学术会议

会议地点: 南京

会议语种:中文

页码: 189-191

在线出版日期: 1998-08-01（万方平台首次上网日期，不代表论文的发表时间）