DocumentCode
3385880
Title
Temporal query languages expressive power: μTL vs. T-WHILE
Author
Bidoit, Nicole ; Objois, Matthieu
Author_Institution
Lab. de Recherche en Informatique, Univ. Paris Sud, Orsay, France
fYear
2005
fDate
23-25 June 2005
Firstpage
74
Lastpage
82
Abstract
We investigate the expressive power of implicit temporal query languages. The initial motivation was refining the results of (S. Abiteboul et al., 1999) and enrich them with comparison to μTL (M.Y. Vardi, 1988). Thus, we address two classes of temporal query languages: μTL-like languages based on TL and T-WHILE-like languages based on WHILE. We provide a two-level hierarchy (w.r t. expressive power) for these temporal query languages. One of the contributions solves an open problem: the relative expressivity of μTL and T-FIXPOINT.
Keywords
query languages; temporal databases; μTL; T-FIXPOINT; T-WHILE; temporal query languages; Cost accounting; Database languages; Logic; Merging; Spatial databases;
fLanguage
English
Publisher
ieee
Conference_Titel
Temporal Representation and Reasoning, 2005. TIME 2005. 12th International Symposium on
ISSN
1530-1311
Print_ISBN
0-7695-2370-6
Type
conf
DOI
10.1109/TIME.2005.35
Filename
1443354
Link To Document