A comparison of static index pruning methods with temporal queries