Title: Using temporal logic and Datalog to query databases evolving in time