具有多时间粒度的时态多值依赖及时态模式分解方法研究

编号 zgly0000498464

文献类型 期刊论文

文献题名 具有多时间粒度的时态多值依赖及时态模式分解方法研究

作者 郝忠孝  李艳娟 

作者单位 哈尔滨理工大学计算机与控制学院  齐齐哈尔大学计算机系  东北林业大学计算机科学与技术学院 

母体文献 计算机研究与发展 

年卷期 2007,44(5)

页码 853-859

年份 2007 

分类号 TP311 

关键词 时态数据库  时态函数依赖  时态多值依赖  时态第四范式  多时间粒度 

文摘内容 一个好的数据库逻辑设计目标是消除数据冗余以及插入、删除和更新异常。对于时态数据库。通过具有多时间粒度的时态函数依赖约束对时态数据库进行规范化已有大量研究。基于时态函数依赖和多值依赖理论提出了多时间粒度约束的时态多值依赖(TMVD)等概念, 并给出了时态多值依赖的推理规则, 对其有效性、完备性进行了证明。由于包含有限个TMVD的TMVD集通常蕴含着无限个TMVD, 给出了TMVD的有限推理规则, 对其有效性、完备性进行了证明。最后, 基于时态多值依赖集提出了时态第四范式, 并给出了时态模式的T4NF的无损分解算法, 对算法的可终止性、正确性进行了证明, 并对时间复杂度进行了分析。