全序时态模式中时态函数依赖的覆盖问题研究  

Study on covering problem of temporal functional dependencies intotally-ordered temporal scheme

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

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

出　　处：《计算机应用研究》2009年第12期4516-4519,共4页Application Research of Computers

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

摘　　要：与传统的关系数据库中的函数依赖一样,时态数据库中全序时态模块模式下的时态函数依赖也存在着冗余问题,因而有效地消除冗余的时态函数依赖是全序时态函数依赖集化简的基础。在全序时态模式下提出全序无冗余覆盖、全序规范覆盖和全序最小覆盖等概念,同时给出了全序无冗余覆盖、全序规范覆盖集和全序最小覆盖集的算法及相关定理,并给出了其正确性证明,对其时间复杂度进行了分析。As in the traditional relational database, there also exists redundant problem of functional dependencies in temporal database with totally-ordered temporal scheme. Effective elimination of redundant temporal functional dependencies （TFDs） is the foundation of simplification of totally-ordered TFDs set. This paper put forwards the concepts of totally-ordered no-redundant covering, totally-ordered canonical covering, totally-ordered minimal covering and so on, and also presented the relevant theorems and algorithms for them. Also gave the proof for the algorithms＇ correction, termination and the time complexity analysis.

关 键 词：全序时态模块模式 全序无冗余覆盖 全序规范覆盖 全序最小覆盖 

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