文件名称：论文研究-偏序环境下时态数据库中的TBCNF分解问题研究.pdf
文件大小：181KB
文件格式：PDF
更新时间：2022-08-11 14:20:19
非严格偏序时态类型集,偏序时态模块模式,偏序时态BC范式,多时间粒度
针对偏序时态数据库进行研究，提出了非严格偏序时态类型集、偏序时态模块模式、偏序TFD集的模式投影、偏序时态模块投影和偏序时态BC范式等概念，并给出了避免时态类型间复杂操作的偏序时态BC范式的分解算法，对其正确性、可终止性进行了证明，并对算法的时间复杂度进行了分析。为偏序时态数据库的规范化设计奠定了基础。