偏序时态模式下规范覆盖问题

摘要：

目前有效的多时间粒度时态数据库设计方法多针对全序时态模式,当时态模式的时态类型集为偏序集时,由于涉及时态类型间的最大下界等操作而使其难以实现.针对偏序时态模式的规范覆盖问题进行研究,提出了偏序TFD(时态函数依赖)集有限闭包、偏序模式属性集有限闭包、偏序无冗余覆盖和偏序规范TFD集等概念,解决了偏序TFD成员籍问题;并给出了偏序TFD集的规范覆盖算法,对其正确性进行了证明,对算法的时间复杂度进行了分析.为偏序时态模式的综合范式分解问题研究奠定基础.

关键词：多时间粒度、偏序时态模式、偏序模式属性集有限闭包、偏序TFD集规范覆盖

所属期刊栏目：28

分类号：TP311.13(计算技术、计算机技术)

资助基金：黑龙江省自然科学基金资助项目F201014

在线出版日期：2012-01-14（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：2473-2475