Temporal Connectives versus Explicit Timestamps in Temporal Query Languages


Some temporal query languages work directly on a timestamp representation of the temporal database, while others provide a more implicit access to the ow of time by means of temporal connectives. We study the diierences in expressive power between these two approaches. We rst consider rst-order logic (i.e., the relational calculus). We show that rst-order… (More)