Basic Design Principles
A mobile client’s access to cached data
- Immediate access vs. deferred access
A mobile client’s consistency check
- Based on invalidation reports broadcasted by the server
- Lemma 1
Suppose that T1 is executing on a mobile client. If no data item accessed by T1 is invalidated after processing an IR(tsi), the execution involving T1 is serializable up to tsi.
- Based on the assumption that the server keeps invalidation reports transactionally consistent