The transaction timeslice operator may be applied to any
relation with a transaction time. It also takes as argument a time
value not exceeding the current time, NOW. It returns the
state of the argument relation that was current at the time specified
by the time argument.