[1]糜荣,邢汉承.大型PROLOG系统查询优化技术[J].东南大学学报(自然科学版),1987,17(6):141-146.[doi:10.3969/j.issn.1001-0505.1987.06.016]
 Mi Rong Xing Hancheng (Department of Computer Science and Engineering).Query Optimization Technique for Large PROLOG Systems[J].Journal of Southeast University (Natural Science Edition),1987,17(6):141-146.[doi:10.3969/j.issn.1001-0505.1987.06.016]
点击复制

大型PROLOG系统查询优化技术()
分享到:

《东南大学学报(自然科学版)》[ISSN:1001-0505/CN:32-1178/N]

卷:
17
期数:
1987年第6期
页码:
141-146
栏目:
本刊信息
出版日期:
1987-11-20

文章信息/Info

Title:
Query Optimization Technique for Large PROLOG Systems
作者:
糜荣邢汉承
南京工学院计算机科学与工程系; 南京工学院计算机科学与工程系
Author(s):
Mi Rong Xing Hancheng (Department of Computer Science and Engineering)
关键词:
inference optimization virtual storage
Keywords:
inference optimization virtual storage
分类号:
+
DOI:
10.3969/j.issn.1001-0505.1987.06.016
摘要:
<正> 一、引言逻辑程序设计语言 PROLOG 是一种描述性语言,用户只需将问题求解所需的知识以子句形式提交系统,系统依靠自身的演绎求解机制可根据用户提供的知识求解出用户期望的结果。正因为如此,PROLOG 求解机制对用户查询的处理效率就成了构造实用 PROLOG 系统
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.

相似文献/References:

[1]鲍顺光.电子线路的多目标优化设计[J].东南大学学报(自然科学版),1994,24(1):112.[doi:10.3969/j.issn.1001-0505.1994.01.021]
 Bao Shunguang.Multiple Objective Optimization for the Design of Electronic Circuits[J].Journal of Southeast University (Natural Science Edition),1994,24(6):112.[doi:10.3969/j.issn.1001-0505.1994.01.021]
[2]倪明放,盛昭瀚,徐南荣.多目标优化的交互式定界搜索法[J].东南大学学报(自然科学版),1993,23(1):137.[doi:10.3969/j.issn.1001-0505.1993.01.022]
 Ni Mingfang,Sheng Zhaohan,Xu Nanrong.An Interactive Bound Search Method for Multiobjective Optimization[J].Journal of Southeast University (Natural Science Edition),1993,23(6):137.[doi:10.3969/j.issn.1001-0505.1993.01.022]
[3]王福建,邓学钧,李方.互通式立交平面线形整参数求解计算方法[J].东南大学学报(自然科学版),1996,26(1):121.[doi:10.3969/j.issn.1001-0505.1996.01.023]
 Wang Fujian,Deng,Xuejun,et al.Computational Methods for Integer Parameters of Interchange Horizontal Alignment[J].Journal of Southeast University (Natural Science Edition),1996,26(6):121.[doi:10.3969/j.issn.1001-0505.1996.01.023]
[4]丁志峰,王革私,王国雄,等.聚醚氨酯模型化合物的伸缩振动谱带计算[J].东南大学学报(自然科学版),1994,24(5):136.[doi:10.3969/j.issn.1001-0505.1994.05.027]
 Ding Zhifeng,Wang,et al.Calculation on N-H and C=O Strenching Vibration of Polyurethane Model Compounds[J].Journal of Southeast University (Natural Science Edition),1994,24(6):136.[doi:10.3969/j.issn.1001-0505.1994.05.027]

更新日期/Last Update: 2013-05-01