Title: Managing temporal knowledge in deductive databases