DefinePK

DefinePK hosts the largest index of Pakistani journals, research articles, news headlines, and videos. It also offers chapter-level book search.

Select Collection

Temporal Database Models Validation and Verification using Mapping Methodology

Article Information

Get PDF View Article
Login to Add in Library

Title: Temporal Database Models Validation and Verification using Mapping Methodology

Authors: Nashwan Ahmed Alromema, Mohd Shafry Mohd Rahim, Ibrahim Albidewi

Journal: VFAST Transactions on Software Engineering

HEC Recognition History
Category From To
Y 2024-10-01 2025-12-31
Y 2023-07-01 2024-09-30
Y 2022-07-01 2023-06-30
Y 2021-07-01 2022-06-30

Publisher: VFAST-Research Platform

Country: Pakistan

Year: 2016

Volume: 4

Issue: 1

Language: English

DOI: 10.21015/vtse.v11i2.445

Categories
Computer Science (14978) Software Engineering (1373) Database Management Systems (8) Temporal Databases (1) Data Modeling (12)

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.

Paper summary is not available for this article yet.

Loading PDF...

Loading Statistics...