论文研究 偏序环境下时态数据库中的TBCNF分解问题研究.pdf

针对偏序时态数据库进行研究，提出了非严格偏序时态类型集、偏序时态模块模式、偏序TFD集的模式投影、偏序时态模块投影和偏序时态BC范式等概念，并给出了避免时态类型间复杂操作的偏序时态BC范式的分解算法，对其正确性、可终止性进行了证明，并对算法的时间复杂度进行了分析。为偏序时态数据库的规范化设计奠定了基础。