具有多值约束的线性递归查询的有效计算
EFFICIENT EVALUATION OF LINEAR RECURSIONS WITH MULTIVALUE BINDING SETS作者机构：郑州大学计算机科学系郑州450052
出 版 物：《计算机学报》 (Chinese Journal of Computers)
年 卷 期：1992年第15卷第12期
页 面：913-919页
核心收录：
学科分类：08[工学] 081202[工学-计算机软件与理论] 0812[工学-计算机科学与技术（可授工学、理学学位）]
基 金：河南省自然科学基金
摘 要：本文给出三个算法,分别用于把给定的右线性、左线性或左-右线性递归程序改写为一组更有效的规则.与Ullman等人的变换算法不同,本文的算法允许查询的初始约束可以是含任意多个约束元组的集合,而不必是单值的;这样,本文的算法不仅可以用于查询的求值,而且也可以用于子目标的处理.变换算法的正确性和变换后规则的有效性也在本文简略讨论.
维普期刊数据库
同方期刊数据库