论文部分内容阅读
为了有效地进行时态数据库设计，支持多时间粒度的时态函数依赖(TFDs)被用于时态模式的规范化。类似于传统的函数依赖(FDs)，TFD集的成员籍问题是时态模式规范化所要解决的一个关键问题。由于多时间粒度的使用，使得有成员籍问题变得非常复杂。为了有效地解决此问题，分析了TFDs与FDs之间存在的联系和封闭时态类型集的特性．并且基于提出的有限导出时态类型集及其求解算法，提出一个有效地解决TFD集的成员籍问题的算法。