主页期刊介绍编委会编辑部服务介绍道德声明在线审稿编委办公编辑办公English
     
在线出版
各期目录
纸质出版
分辑系列
论文检索
论文排行
综述文章
专刊文章
美文分享
各期封面
E-mail Alerts
RSS
旧版入口
中国科学院软件研究所
  
投稿指南 问题解答 下载区 收费标准 在线投稿
李磊,左万历,李希春.PROLOG—DBMS系统实现中的子句间优化技术.软件学报,1995,6(3):136-141
PROLOG—DBMS系统实现中的子句间优化技术
THE INTER-CLAUSE OPTIMIZATION TECHNIQUE IN THE IMPLEMENTATION OF PROLOG-DBMS SYSTEMS
投稿时间:1992-11-10  修订日期:1993-03-26
DOI:
中文关键词:  PROLOG,数据库,演绎数据库
英文关键词:PROLOG,DBMS,deductive database
基金项目:此部分由霍英东教育基金资助.
作者单位
李磊 中山大学计算机科学系,广州,510275 
左万历 吉林大学计算机科学系,长春,130023 
李希春 吉林大学计算机科学系,长春,130023 
摘要点击次数: 3329
全文下载次数: 2861
中文摘要:
      实用PROLOG—DBMS系统实现中的首要问题是要保证系统的正确性.然而,从数据库中提取冗余数据不但严重地影响系统的效率,而且影响系统的正确性.本文所提出的子句间优化技术可以解决这一问题.因为采用这一技术可以保证仅从数据库中提取有用事实并且没有任何元组多于一次被提取.
英文摘要:
      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.
HTML  下载PDF全文  查看/发表评论  下载PDF阅读器
 

京公网安备 11040202500064号

主办单位:中国科学院软件研究所 中国计算机学会 京ICP备05046678号-4
编辑部电话:+86-10-62562563 E-mail: jos@iscas.ac.cn
Copyright 中国科学院软件研究所《软件学报》版权所有 All Rights Reserved
本刊全文数据库版权所有,未经许可,不得转载,本刊保留追究法律责任的权利