School of Computing

Expressiveness of temporal query languages: On the modelling of intervals, interval relationships and states

R.S. Gomez and J.C. Ausguto

Artificial Intelligence Review, pages 182-196, November 2007 Electronic version available online (http://www.springerlink.com/content/r3347p646152351m).

Abstract

Storing and retrieving time-related information are important, or even critical, tasks on many areas of Computer Science (CS) and in particular for Artificial Intelligence (AI). The expressive power of temporal databases/query languages has been studied from different perspectives, but the kind of temporal information they are able to store and retrieve is not always conveniently addressed. Here we assess a number of temporal query languages with respect to the modelling of time intervals, interval relationships and states, which can be thought of as the building blocks to represent and reason about a large and important class of historic information. To survey the facilities and issues which are particular to certain temporal query languages not only gives an idea about how useful they can be in particular contexts, but also gives an interesting insight in how these issues are, in many cases, ultimately inherent to the database paradigm.

While in the area of AI declarative languages are usually the preferred choice, other areas of CS heavily rely on the extended relational paradigm. This paper, then, will be concerned with the representation of historic information in two well known temporal query languages: {\it Templog} in the context of temporal deductive databases, and {\it TSQL2} in the context of temporal relational databases. We hope the results highlighted here will increase cross-fertilisation between different communities. This article can be related to recent publications drawing the attention towards the different approaches followed by the Databases and AI communities when using time-related concepts.

Download publication 153 kbytes (PDF)

Bibtex Record

@article{2636,
author = {R.S. Gomez and J.C. Ausguto},
title = {Expressiveness of Temporal Query Languages: On the Modelling of Intervals, Interval Relationships and States},
month = {November},
year = {2007},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {Electronic version available online (http://www.springerlink.com/content/r3347p646152351m).
},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2007/2636},
    publication_type = {article},
    submission_id = {19559_1196769548},
    journal = {Artificial Intelligence Review},
    publisher = {Springer Netherlands},
}

School of Computing, University of Kent, Canterbury, Kent, CT2 7NF

Enquiries: +44 (0)1227 824180 or contact us.

Last Updated: 21/03/2014