ARJ解释方法及其目标求解算法的研究
THE STUDY OF ARJ INTERPRETATION METHOD AND OBJECT SOLVING ALGORITHM作者机构：吉林工业大学计算机科学与工程系长春130025
出 版 物：《计算机学报》 (Chinese Journal of Computers)
年 卷 期：1993年第16卷第9期
页 面：675-681页
核心收录：
学科分类：08[工学] 0835[工学-软件工程] 081202[工学-计算机软件与理论] 0812[工学-计算机科学与技术（可授工学、理学学位）]
基 金：国家自然科学基金
摘 要：本文研究了规则相关性理论,给出了“递归时刻、“完成时刻定义及相关性定理,在此基础上提出了一种新的演绎方法——ARJ(AdvancedRelational Join)解释方法。它比RJ解释方法具有更大的优越性,从而有效地提高了逻辑程序设计系统效率。
维普期刊数据库
同方期刊数据库