树的枚举与树算法复杂性计算

树结构上算法复杂性分析近几年来得到越来越多的注意。Flaiole研究了树上递归下降算法的复杂性分析,办法是为一个形式化的树算法描述语言中的各种构造建立一个复杂性度量表。平行于树上的可加枚举问题,本文作者在文献[3]中引入了所谓“树结构上可加复杂性算法”,得到过一些本质上只能用于递归算法分析的结果。     

数据库中函数依赖集的泛系分析

本文从泛系分析出发对关系数据库理论中函数依赖集的闭包的结构进行了讨论。证明了在函数依赖集与函数依赖集的闭包之间存在着一个集合;函数依赖集的闭包可由该集合直接导出。本文的后半部分讨论了全体最小覆盖集的求解方法。