Temporal Database Models Validation and Verification using Mapping Methodology
Nashwan Ahmed Alromema, Mohd Shafry Mohd Rahim, Ibrahim Albidewi · VFAST Transactions on Software Engineering · 2016
The majority of any temporal data model is claimed to be superset of the conventional relational data model as well as it has the ability to be represented in the main temporal data models in literature. In this paper, a complete and formal proof is provided in order to show that the A Tuple Timestamping Historical Relational (TTHR) temporal data model is a consistent extension of conventional relational model, and has the expressive power to be represented in other reference temporal data model and the modeling approaches in relational temporal data model.