Title: On the efficient maintenance of temporal integrity in knowledge bases