论文部分内容阅读
在时态数据库中存在着与时态多值依赖相关的存储冗余、更新异常等问题。但由于时态多值依赖的复杂性，使得根据时态多值依赖所进行的范式分解并不能总保持无损联接，为此对强全序时态模式中时态多值依赖与无损分解的相关性进行了深入研究，给出了规则的时态多值依赖（RTMVD）和属性集的时间粒度等概念，并给出了RTMVD的一套有效的推理规则，针对强全序时态模式中时态多值依赖与无损分解的相关性给出了相关定理，解决了规则的时态多值依赖环境下时态模式在多粒度上的无损分解问题，为规则时态多值依赖环境下时态模式的进一步规范化奠定了基础