republished from the http://www.cs.arizona.edu/people/rts/tsql2.html
Associated with the language specification is a collection of commentaries which discuss design decisions, provide examples, and consider how the language may be implemented. These commentaries were originally proposals to the TSQL2 Language Design Committee. They now serve a different purpose: to provide examples of the constructs, motivate the many decisions made during the language design, and compare TSQL2 with the many other language proposals that have been made over the last fifteen years. It should be emphasized that these commentaries are not part of the TSQL2 language specification per se, but rather supplement and elaborate upon it. The language specification proper is the final word on TSQL2.
The commentaries, along with the language specification, several indexes, and other supporting material, has been published as a book:
The TSQL2 Language Specification as it appears in the TSQL2 book is also available [ps, pdf]. The .pdf files are Adobe PDF; they can be read via the 3.0 reader, accessible at http://www.adobe.com/prodindex/acrobat/readstep.html. The .ps files are postscript files.
The evaluation commentary appears in the book in an abbreviated form; the full commentary is available here [ps, pdf].
The file tl2tsql2.pl is a Prolog program that translates allowed temporal logic to TSQL2. This program was written by Michael Boehlen <firstname.lastname@example.org>. He may be contacted for a paper that describes this translation. This is a rather dated version of that program. Newer versions are available at the TimeCenter software page (specifically the TimeDB and Tiger systems).
The constructs and insights of TSQL2 are being incorporated into the SQL3 language.
Correspondence may be directed to the chair of the TSQL2 Language Design Committee, Richard T.Snodgrass, Department of Computer Science, University of Arizona, Tucson, AZ 85721, email@example.com.Copyright © Sun Mar 14 22:54:04 2010 by Michael Ley (firstname.lastname@example.org)