To add time support to the relational model, both first normal form (1
NF) and non-1NF data models have been proposed. Each has associated ad
vantages and disadvantages. For example, remaining within 1NF when tim
e support is added may introduce data redundancy. On the other hand, w
ell-established storage organization and query evaluation techniques r
equire atomic attribute values, and are thus intended for 1NF models;
utilizing a non-1NF model may degrade performance. This paper describe
s a new temporal data model designed with the single purpose of captur
ing the time-dependent semantics of data. Here, tuples of bitemporal r
elations are stamped with sets of two-dimensional chronons in transact
ion-time/valid-time space. We use the notion of snapshot equivalence t
o map temporal relation instances and temporal operators of one existi
ng model to equivalent instances and operators of another. We examine
five previously proposed schemes for representing bitemporal data: two
are tuple-timestamped 1NF representations, one is a backlog relation
composed of 1NF timestamped change requests, and two are non-1NF attri
bute value-timestamped representations. The mappings between these mod
els are possible using mappings to and from the new conceptual model.
The framework of well-behaved mappings between models, with the new co
nceptual model at the center, illustrates how it is possible to use di
fferent models for display and storage purposes in a temporal database
system. Some models provide rich structure and are useful for display
of temporal data, while other models provide regular structure useful
for storing temporal data. The equivalence mappings effectively move
the distinction between the investigated data models from a semantic b
asis to a display-related or a physical, performance-relevant basis, t
hereby allowing the exploitation of different data models by using eac
h for the task(s) for which they are best suited.