Title: Temporal reasoning in deductive databases