DATALOG编译器的设计和实现
本文以简单的办法实现了一个比较完整的DATALOG编译器,比较高效地解决了DAT-ALOG编译中的谓词属性定位,谓词属性类型,递归谓词求解,否定谓词处理等问题.编译器结构简单,易于扩展,执行效率比较高.同时,编译器的工作采用了标准的数据库接口,实现了数据库平台的透明性.
编译器 知识库 谓词处理 数据查询
董淳 李孟恒 王敏慧
复旦大学计算机科学系(上海)
国内会议
南京
中文
189-191
1998-08-01(万方平台首次上网日期,不代表论文的发表时间)