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

• 作者: 万静 杨洪玉 郝忠孝
• 来源期刊: 高技术通讯
• 学科: 工学
• 关键词: 多时间粒度 全序时态模式 时态函数依赖(TFD) 成员籍 属性集在给定时态类型上的闭包
• 年，卷（期）: 2009,（11）
• 所属期刊栏目: 计算机与通信技术
• 页码范围: 1148-1152
• 页数: 5页
• 分类号: TP3
• 字数: 4852字
• 语种: 中文
• DOI: 10.3772/j.issn.1002-0470.2009.11.009

摘要

时态函数依赖(TFD)约束的全序时态模式下, 成员籍问题是设计有效模式分解算法的关键.定义了全序时态模式下全序时态函数依赖集有效闭包、属性集在给定时态类型上的闭包、属性集的闭包等概念,根据这些概念,结合全序时态模式自身的特点,提出求全序时态模式下属性集在给定时态类型上的闭包以及时态函数依赖(TFD)集成员籍问题的算法,证明了算法的可终止性和正确性,分析算法的时间复杂性,为时态函数依赖环境下全序时态模式的进一步规范化提供了理论基础.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	郝忠孝	哈尔滨理工大学计算机科学与技术学院	152	1110	15.0	24.0
3	万静	哈尔滨理工大学计算机科学与技术学院	57	266	10.0	13.0
6	杨洪玉	哈尔滨理工大学计算机科学与技术学院	2	5	2.0	2.0