全序时态模式下函数依赖集的成员籍问题研究.pdfVIP

高技术通讯 2009年 第 19卷 第 11期：1148～1152 doi：10．3772／j．issn．1002—0470．2009．11．009 全序时态模式下函数依赖集的成员籍 问题研究① 万 静② 杨洪玉 郝忠孝一 (哈尔滨理工大学计算机科学与技术学院 哈尔滨 150080) ( 哈尔滨工业大学计算机科学与技术学院 哈尔滨 150001) 摘 要 时态函数依赖(TFD)约束的全序时态模式下，成员籍问题是设计有效模式分解 算法的关键。定义了全序时态模式下全序时态函数依赖集有效闭包、属性集在给定时态 类型上的闭包、属性集的闭包等概念，根据这些概念，结合全序时态模式 自身的特点，提出 求全序时态模式下属性集在给定时态类型上的闭包 以及时态函数依赖(TFD)集成员籍问 题的算法，证明了算法的可终止性和正确性，分析算法的时间复杂性，为时态函数依赖环 境下全序时态模式的进一步规范化提供 了理论基础。 关键词 多时间粒度，全序时态模式，时态函数依赖(TFD)，成员籍，属性集在给定时态类