Temporal Database Models Validation and Verification using Mapping Methodology

Authors

  • Nashwan Ahmed Alromema 1-Department of Information System, Faculty of Computing and Information Technology, King Abdulaziz University, Jeddah Saudi Arabia --------------------------------------------------- 2-Department of Software Engineering, Faculty of Computing, Universiti Teknologi Malaysia, Skudai Johor, Malaysia
  • Mohd Shafry Mohd Rahim Department of Software Engineering, Faculty of Computing, Universiti Teknologi Malaysia, Skudai Johor, Malaysia
  • Ibrahim Albidewi Department of Information System, Faculty of Computing and Information Technology, King Abdulaziz University, Jeddah Saudi Arabia

DOI:

https://doi.org/10.21015/vtse.v11i2.445

Abstract

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.

Downloads

Published

2016-12-21

How to Cite

Alromema, N. A., Mohd Rahim, M. S., & Albidewi, I. (2016). Temporal Database Models Validation and Verification using Mapping Methodology. VFAST Transactions on Software Engineering, 4(1), 90–101. https://doi.org/10.21015/vtse.v11i2.445

Issue

Vol. 4 No. 1 (2016): January-December

Section

Articles

License

Authors who publish with this journal agree to the following terms:

  1. Authors retain copyright and grant the journal right of first publication with the work simultaneously licensed under a Creative Commons Attribution License (CC-By) that allows others to share the work with an acknowledgment of the work's authorship and initial publication in this journal.
  2. Authors are able to enter into separate, additional contractual arrangements for the non-exclusive distribution of the journal's published version of the work (e.g., post it to an institutional repository or publish it in a book), with an acknowledgement of its initial publication in this journal.
  3. Authors are permitted and encouraged to post their work online (e.g., in institutional repositories or on their website) prior to and during the submission process, as it can lead to productive exchanges, as well as earlier and greater citation of published work (See The Effect of Open Access).

                                      

This work is licensed under a Creative Commons Attribution  License CC BY