属性集的有限闭包和有限依赖基算法

摘要

本文定义了时态类型集的强封闭集、属性集的有限闭包、属性集在给定时态类型上的有限依赖基、属性集的有限依赖基等概念.给出了求属性集的有限闭包和有限依赖基的算法,并对算法的可终止性、正确性进行了证明,对时间复杂度进行了分析.