| PROLOG—DBMS系统实现中的子句间优化技术 |
| |
| 引用本文： | 李磊,左万历,李希春.PROLOG—DBMS系统实现中的子句间优化技术[J].软件学报,1995,6(3):136-141. |
| |
| 作者姓名： | 李磊 左万历 李希春 |
| |
| 作者单位： | 中山大学计算机科学系,广州,510275;吉林大学计算机科学系,长春,130023;吉林大学计算机科学系,长春,130023 |
| |
| 基金项目： | 此部分由霍英东教育基金资助. |
| |
| 摘 要： | 实用ＰＲＯＬＯＧ—ＤＢＭＳ系统实现中的首要问题是要保证系统的正确性．然而，从数据库中提取冗余数据不但严重地影响系统的效率，而且影响系统的正确性．本文所提出的子句间优化技术可以解决这一问题．因为采用这一技术可以保证仅从数据库中提取有用事实并且没有任何元组多于一次被提取．
|
| 关 键 词： | PROLOG，数据库，演绎数据库 |
| 收稿时间： | 1992/11/10 0:00:00 |
| 修稿时间： | 1993/3/26 0:00:00 |
THE INTER-CLAUSE OPTIMIZATION TECHNIQUE IN THE IMPLEMENTATION OF PROLOG-DBMS SYSTEMS |
| |
| Li Lei,Zuo Wanli and Li Xichun.THE INTER-CLAUSE OPTIMIZATION TECHNIQUE IN THE IMPLEMENTATION OF PROLOG-DBMS SYSTEMS[J].Journal of Software,1995,6(3):136-141. |
| |
| Authors: | Li Lei Zuo Wanli and Li Xichun |
| |
| Abstract: | In the implementation of practical PROLOG-DBMS systems,the key issue is to maintain its correctness which is,unfortunately,often affected by extracting redundant facts from data base management systems.This paper presents a new technique called "inter-clause optimization" which can not only keep the system correct but also increase its efficiency by guaranteeing that only useful facts are loaded from DBMS and no fact is loaded more than once. |
| |
| Keywords: | PROLOG DBMS deductive database |
| 本文献已被 CNKI 维普 等数据库收录！ |
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载全文 |
|
