文件名称：论文研究-基于BCDM的冗余时间变元绑定.pdf
文件大小：65KB
文件格式：PDF
更新时间：2022-08-11 16:41:18
BCDM,时间变元,变元绑定
基于双时态概念数据模型(BCDM)定义了BCDM中的冗余时间变元，对冗余进行了量化描述，提出一种对时间变元的去冗余绑定思想。介绍了BCDM，并对BCDM中的时间标签进行规范化的组合表达；形式地描述了时间变元在当前事务时间的去冗余绑定操作，并对双时态关系的去冗余绑定操作给出了形式描述；对BCDM中的时间变元的去冗余操作给出了实现算法，并进行了算法分析。