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

Research on membership of functional dependency sets in totally-ordered temporal scheme

作　　者：万静[1] 杨洪玉[1] 郝忠孝[1,2] 

机构地区：[1]哈尔滨理工大学计算机科学与技术学院,哈尔滨150080 [2]哈尔滨工业大学计算机科学与技术学院,哈尔滨150001

出　　处：《高技术通讯》2009年第11期1148-1152,共5页Chinese High Technology Letters

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

摘　　要：时态函数依赖(TFD)约束的全序时态模式下,成员籍问题是设计有效模式分解算法的关键。定义了全序时态模式下全序时态函数依赖集有效闭包、属性集在给定时态类型上的闭包、属性集的闭包等概念,根据这些概念,结合全序时态模式自身的特点,提出求全序时态模式下属性集在给定时态类型上的闭包以及时态函数依赖(TFD)集成员籍问题的算法,证明了算法的可终止性和正确性,分析算法的时间复杂性,为时态函数依赖环境下全序时态模式的进一步规范化提供了理论基础。The paper studies the membership problem of functional dependency sets in the totally-ordered temporal scheme because in the totally-ordered temporal scheme constrained with temporal functional dependencies （TFD）, the membership problem is essential to design of effective scheme decomposition algorithms. This paper defines the concepts of totally-ordered temporal functional dependency sets＇ valid closure, attribute sets＇ closure on a certain temporal type and attribute sets＇ closure in a totally-ordered temporal scheme, and based on the concepts, presents the algorithms for attribute sets＇ closure on a certain temporal type and the membership problem of temporal functional dependencies （TFD） in the totally- ordered temporal scheme. The algorithms＇ termination and correction are proved and the algorithms＇ complexities are analyzed. The study provides the theoretical basis for further standardizing the totally-ordered temporal scheme in temporal functional dependencies.

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

分 类 号：TP311.13[自动化与计算机技术—计算机软件与理论] O152[自动化与计算机技术—计算机科学与技术]