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

摘要：

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

关键词：多时间粒度、全序时态模式、时态函数依赖(TFD)、成员籍、属性集在给定时态类型上的闭包

所属期刊栏目：19

分类号：TP3;TP1

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

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

页数：共5页

页码：1148-1152