Using Temporal Logic and Datalog to Query Databases Evolving in Time

Whilst the greatest effort has been made to ensure the quality of this text, due to the historical nature of this content, in some rare cases there may be minor issues with legibility. In this paper, we study a query language about databases evolving in (infinite) time. The syntax of the query language is based on a predicate temporal logic. The semantics of the language is defined with infinite s...