论文部分内容阅读
时间粒度是所有时态数据所拥有的共同特点。在许多时态数据库应用中，都涉及多时间粒度约束，但是，具有多时间粒度的时态数据库的设计相当复杂，难以实现。而现实世界中的许多应用涉及到的时态类型集都能满足全序关系．由于具有全序时态类型集的全序时态模块模式有着良好的特性，文章提出了全序时态模块模式、时刻关系模式、全序时态模块投影和全序时态BC范式（TO_TBCNF）等概念，并给出了全序时态BC范式的分解算法，对其正确性、可终止性进行了证明，并对时间复杂度进行了分析。