| 大型PROLOG系统查询优化技术 |
| |
| 引用本文： | 糜荣,邢汉承.大型PROLOG系统查询优化技术[J].东南大学学报(自然科学版),1987(6). |
| |
| 作者姓名： | 糜荣 邢汉承 |
| |
| 作者单位： | 南京工学院计算机科学与工程系，南京工学院计算机科学与工程系 |
| |
| 摘 要： | 一、引言逻辑程序设计语言 PROLOG 是一种描述性语言,用户只需将问题求解所需的知识以子句形式提交系统,系统依靠自身的演绎求解机制可根据用户提供的知识求解出用户期望的结果。正因为如此,PROLOG 求解机制对用户查询的处理效率就成了构造实用 PROLOG 系统
|
Query Optimization Technique for Large PROLOG Systems |
| |
| Mi Rong Xing Hancheng.Query Optimization Technique for Large PROLOG Systems[J].Journal of Southeast University(Natural Science Edition),1987(6). |
| |
| Authors: | Mi Rong Xing Hancheng |
| |
| Institution: | Department of Computer Science and Engineering |
| |
| Abstract: | Inefficiency of query processing is the main obstacle to the wide applica- tion of PROLOG.As the PROLOG clause is a conjunction of the goals,the efficiency for solving the query is closely related to the solving order of the goals in the clause.In this paper,based on some simplified statistical data, a method for evaluating the sovling cost of the goals is given.Then,in light of the cost,an algorithm for constructing the best order of goals is presented, which improve the efficiency especially for those largy PROLOG systems. |
| |
| Keywords: | inference optimization virtual storage |
| 本文献已被 CNKI 等数据库收录！ |
