一个线性递归查询算法的设计与实现

旨在解决在演绎数据库中,如何利用递归规则进行递归查询的问题。介绍了一个线性递归查询算法的基本思想,阐述了该算法的设计与具体实现,包括算法采用的数据结构、程序中各功能模块的功能,对算法进行了分析。

广义左、右线性递归规则组改写

本文从左、右线性递归规则组的定义出发，提出了广义左、右线性递归规则组的定义，放宽了左、右线性递归规则组对递归规则形式的限制，扩展了Ｕｌｌｍａｎ提出的左、右线性递归规则组改写方法的适用范围．本文证明了由广义左、右线性递归规则组向左、右线性递归规则组转换的相容性，并给出了具体的转换算法．