Logical Query Transformation in Bitemporal Databases