PL EN


Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników
2007 | 11(24) | 85-93
Tytuł artykułu

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

Autorzy
Wybrane pełne teksty z tego czasopisma
Warianty tytułu
Języki publikacji
EN
Abstrakty
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.
Słowa kluczowe
Rocznik
Numer
Strony
85-93
Opis fizyczny
Rodzaj publikacji
ARTICLE
Twórcy
  • Mariusz Giero, Uniwersytet w Bialymstoku, ul. M. Sklodowskiej-Curie 14, 15-097 Bialystok, Poland
Bibliografia
Typ dokumentu
Bibliografia
Identyfikatory
CEJSH db identifier
09PLAAAA059618
Identyfikator YADDA
bwmeta1.element.2c83d647-cf43-31e9-8bc8-07028ba77e9a
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.