会议专题

DATALOG编译器的设计和实现

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

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

董淳 李孟恒 王敏慧

复旦大学计算机科学系(上海)

国内会议

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

南京

中文

189-191

1998-08-01(万方平台首次上网日期,不代表论文的发表时间)