| Previous | Table of Contents | Next |
Define a persistent datum variable T, managed as part of the model.
i. On model creation set T to the current time.
ii. During model update suspend query service.
iii. On completion of model update set T to the current time.
iv. When current_version() is invoked return T.