The ramification problem in temporal databases: Changing beliefs about the past