A bitemporal relation is a relation with exactly one system supported valid time and exactly one system-supported transaction time. As for valid-time relations and transaction-time relations, there are no restrictions as to how either of these temporal dimensions may be incorporated into the tuples.