The ramification problem in temporal databases: Concurrent execution