page 1  (27 pages)
2to next section

Evaluating and Enhancing the

Completeness of TSQL2

<_author_search_(michael h. b?ohlen)>Michael H. B?ohlen1

<_author_search_(christian s. jensen)>Christian S. Jensen2

<_author_search_(richard t. snodgrass)>Richard T. Snodgrass1

TR 95-05

June 28, 1995


The question of what is a well-designed temporal data model and query language is a difficult, but also an important one. The consensus temporal query language TSQL2 attempts to take advantage of the accumulated knowledge gained from designing and studying many of the earlier models and languages. In this sense, TSQL2 represents a constructive answer to this question. Others have provided analytical answers by developing criteria, formulated as completeness properties, for what is a good model and language.

This paper applies important existing completeness notions to TSQL2 in order to evaluate the design of TSQL2. It is shown that TSQL2 satisfies only a subset of these completeness notions. In response to this, a minimally modified version of TSQL2, termed Applied TSQL2, is proposed; this new language satisfies the notions of temporal semi-completeness and completeness which are not satisfied by TSQL2. An outline of the formal semantics for Applied TSQL2 is given.

1Department of Computer Science
University of Arizona
Tucson, AZ 85721
fboehlen, [email protected]
2Department of Mathematics and Computer Science
Aalborg University
Fredrik Bajers Vej 7E
DK{9220 Aalborg O, DENMARK
[email protected]