Temporal Representation and Reasoning, International Syposium on (2005)
June 23, 2005 to June 25, 2005
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/TIME.2005.35
Nicole Bidoit , L.R.I. UMR 8623 CNRS
Matthieu Objois , L.R.I. UMR 8623 CNRS
We investigate the expressive power of implicit temporal query languages. The initial motivation was refining the results of  and enrich them with comparison to µTL . 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 [1, 11].
Nicole Bidoit, Matthieu Objois, "Temporal Query Languages Expressive Power: ?TL versus T-WHILE", Temporal Representation and Reasoning, International Syposium on, vol. 00, no. , pp. 74-82, 2005, doi:10.1109/TIME.2005.35