全序时态模式中时态函数依赖的覆盖问题研究.pdfVIP

第26卷第 12期 计 算 机 应 用 研 究 Vo1．26 No．12 2009年 12月 ApplicationResearchofComputers Dec．2009 全序时态模式中时态函数依赖的覆盖 问题研究 万 静 ，杨洪玉 ，郝忠孝 (1．哈尔滨理工大学计算机科学与技术学院，哈尔滨 150080；2．哈尔滨工业大学 计算机科学与技术学院， 哈 尔滨 150001) 摘 要：与传统的关系数据库中的函数依赖一样，时态数据库中全序时态模块模式下的时态函数依赖也存在着 冗余问题 ，因而有效地消除冗余的时态函数依赖是全序时态函数依赖集化简的基础 。在全序时态模式下提 出全 序无冗余覆盖、全序规范覆盖和全序最小覆盖等概念，同时给出了全序无冗余覆盖、全序规范覆盖集和全序最小 覆盖集的算法及相关定理，并给出了其正确性证明，对其时间复杂度进行 了分析。 关键词：全序时态模块模式；全序无冗余覆盖；全序规范覆盖；全序最小覆盖