Incorporating Transaction Semantics to Reduce Reprocessing Overhead in Replicated Mobile Data Applications