摘要
本文在研究逻辑程序设计与关系数据库的两种集成方法(解释和编译)的基础上,提出了一种新的基于预编译的解释方法,该方法保持了前两种方法的优点,克服了它们的不足。基于此方法,文中介绍了一个相应的集成系统的原型及主要实现技术,其中包括物理级的耦合连接,逻辑级的语言合成,源程序级的部分计算和静态优化,以及动态执行过程中的事实调度和版本管理等。目前,该原型作为知识库管理系统GKBMS 的内核,已投入实际应用。
Based on two integrated methods(interpretation and compiling)of logic programming and re-lational database,this paper presents a new precompilation-based interpretive approach.This ap-proach retains the advantages of the previous two methods and overcomes their drawbacks.A pro-totype of a corresponding integrated system based on this approach is introduced in the paper,andits chief imprementation techniques are also discussed which include the coupling at the physicallevel,the compound of languages at the logical level,the source-level partial evaluation and staticoptimization,and the fact scheduling and version management during the dynamic execution. Atpresent,this prototype has been put into practical applications as the kernel of the Knowledge BaseManagement System GKBMS.
出处
《国防科技大学学报》
EI
CAS
CSCD
北大核心
1991年第4期8-14,共7页
Journal of National University of Defense Technology
基金
国家高技术发展计划资助课题
关键词
逻辑程序设计
关系数据库
解释
compiling
interpretation
precompilation-based interpretation
logic programming
relational database
