基于BCDM的冗余时间变元绑定

基于双时态概念数据模型(BCDM)定义了BCDM中的冗余时间变元,对冗余进行了量化描述,提出一种对时间变元的去冗余绑定思想。介绍了BCDM,并对BCDM中的时间标签进行规范化的组合表达;形式地描述了时间变元在当前事务时间的去冗余绑定操作,并对双时态关系的去冗余绑定操作给出了形式描述;对BC-DM中的时间变元的去冗余操作给出了实现算法,并进行了算法分析。

基于时间变元绑定的双时态索引模型研究

在基于点方法的双时态索引算法基础上,引入了时间变元绑定的形式化描述,扩充了其索引的双时态数据,使由于时间变元绑定而导致数据错误的双时态索引问题得以解决,给出了相应的数据变换和查询变换模型,并指出了其实现方式.

时态数据库中的时间变元及其绑定

时态数据库(TDB)出现于上世纪80年代,TDB中的时间变元反映了数据库时态信息的变化情况,它是TDB时变属性的重要体现.本文对于TDB发展历史中典型模式进行研究,对于历史数据库和双时态数据库中的时间变元进行分析,有针对性地对它们的时间变元进行了绑定操作.对于双时态数据库中的BCDM模型进行了有效时间变元Now和事务时间变元UC的绑定操作,并给出了具体实现.