PL EN


2007 | 11(24) | 85-93
Article title

QUERYING TEMPORAL DATABASE WITH THE LANGUAGE OF FIRST-ORDER TEMPORAL LOGIC

Authors
Selected contents from this journal
Title variants
Languages of publication
EN
Abstracts
EN
Most databases store time-varying information. Existing database systems (e.g. relational database system) do not provide means to store and query such information in a direct way. The research area of temporal databases aims to provide a model of database system in order to manage time-varying data in an efficient and simple way. The paper concentrates on one of the aspects of databases, namely, a query language. The formal definition of a relational database model and one of the temporal database models are presented. Next, the definition of a query language for temporal database is shown. The language is a certain modification of the language of first order temporal logic which is an extension of the language of first order classical logic with new (temporal) connectives. These connectives enable to form queries about 'the course of events' in a natural, intuitive way. One does not need to use variables to refer to time, hence the transcript of a query is shorter and less complicated. A few of examples of queries, formed in the defined language, are presented at the end of the paper.
Year
Issue
Pages
85-93
Physical description
Document type
ARTICLE
Contributors
author
  • Mariusz Giero, Uniwersytet w Bialymstoku, ul. M. Sklodowskiej-Curie 14, 15-097 Bialystok, Poland
References
Document Type
Publication order reference
Identifiers
CEJSH db identifier
09PLAAAA059618
YADDA identifier
bwmeta1.element.2c83d647-cf43-31e9-8bc8-07028ba77e9a
JavaScript is turned off in your web browser. Turn it on to take full advantage of this site, then refresh the page.