引用本文: | 邓铁清,王志英,吴泉源.逻辑程序设计与关系数据库集成的一种基于预编译的解释方法.[J].国防科技大学学报,1991,13(4):8-14.[点击复制] |
Deng Tieqing,Wang Zhiying,Wu Quanyuan.A Precompilation-Based Interpretive Approach for the Integration of Logic Programming and Relational Database[J].Journal of National University of Defense Technology,1991,13(4):8-14[点击复制] |
|
|
|
本文已被:浏览 5973次 下载 5635次 |
逻辑程序设计与关系数据库集成的一种基于预编译的解释方法 |
邓铁清, 王志英, 吴泉源 |
(电子计算机系)
|
摘要: |
本文在研究逻辑程序设计与关系数据库的两种集成方法(解释和编译)的基础上,提出了一种新的基于预编译的解释方法,该方法保持了前两种方法的优点,克服了它们的不足。基于此方法,文中介绍了一个相应的集成系统的原型及主要实现技术,其中包括物理级的耦合连接,逻辑级的语言合成,源程序级的部分计算和静态优化,以及动态执行过程中的事实调度和版本管理等。目前,该原型作为知识库管理系统 GKBMS的内核,已投入实际应用。 |
关键词: 解释,编译,基于预编译的解释,逻辑程序设计,关系数据库 |
DOI: |
投稿日期:1990-12-15 |
基金项目:国家高技术发展计划资助课题 |
|
A Precompilation-Based Interpretive Approach for the Integration of Logic Programming and Relational Database |
Deng Tieqing, Wang Zhiying, Wu Quanyuan |
(Department of Computer Science)
|
Abstract: |
Based on two integrated methods (interpretation and compiling)of logic programming and relational database,this paper presents a new precompilation-based interpretive approach. This approach retains the advantages of the previous two methods and overcomes their drawbacks. A prototype of a corresponding integrated system based on this approach is introduced in the paper,and its chief imprementation techniques are also discussed which include the coupling at the physical level,the compound of languages at the logical level,the source-level partial evaluation and static optimization,and the fact scheduling and version management during the dynamic execution. At present,this prototype has been put into practical applications as the kernel of the Knowledge Base Management System GKBMS. |
Keywords: compiling,interpretation,precompilation-based interpretation,logic programming,relational database |
|
|