Efficient Checking of temporal integrity constraints using bounded history encoding