强全序时态模式中混合依赖集成员籍问题的研究

摘要：

对于TFD和RTMVD混合依赖集约束的强全序时态模式来说,成员籍问题的解决对设计有效的模式分解算法必不可少.由于强全序时态模式中多时间粒度的使用,使其成员籍问题的解决变得更加复杂.为此定义了强全序时态模式下的属性集在给定时态类型上的混合闭包、属性集的混合闭包、属性集在给定时态类型上的混合依赖基、属性集的混合依赖基等概念,给出了求强全序时态模式下属性集的混合闭包、属性集的混合依赖基以及TFD和RTMVD混合依赖集成员籍问题的算法,并对算法的可终止性、正确性进行了证明,对时间复杂性进行了分析.

关键词：多时间粒度、强全序时态模式、混合闭包、混合依赖基、成员籍

所属期刊栏目：46

分类号：TP311(计算技术、计算机技术)

资助基金：黑龙江省自然科学摹金项目F200601

在线出版日期：2009-07-15（万方平台首次上网日期，不代表论文的发表时间）

页数：共8页

页码：1028-1035