Later, the binding of the removing on the temporal variables is described formally about CTT Current Transition Time), as well as the analogous binding in the bitemporal relational;

• 形式地描述了时间变元在当前事务时间的去冗余绑定操作，并对双时态关系的去冗余绑定操作给出了形式描述；