%0 Journal Article
%T THE INTER-CLAUSE OPTIMIZATION TECHNIQUE IN THE IMPLEMENTATION OF PROLOG-DBMS SYSTEMS<br>PROLOG—DBMS系统实现中的子句间优化技术
%A Li Lei
%A Zuo Wanli
%A Li Xichun
%A <br>李磊
%A 左万历
%A 李希春
%J 软件学报
%D 1995
%I 
%X 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.
%K PROLOG
%K DBMS
%K deductive database<br>PROLOG，数据库，演绎数据库
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=0C5CBEF1418E1812A0BFBC55ABCDF790&yid=BBCD5003575B2B5F&vid=B31275AF3241DB2D&iid=38B194292C032A66&sid=58F693790F887B3B&eid=A8DE7703CC9E390F&journal_id=1000-9825&journal_name=软件学报&referenced_num=7&reference_num=18