Abstract:
Data broadcast is now a popular data dissemination technology in mobile computing systems. The consistency constraint of mobile transactions in real-time broadcast environments is studied. Firstly, a new notion of correctness called partial serializability is proposed formally. Next, the necessary and sufficient conditions for partial serializability are presented. Then, an effective concurrency control protocol based on this criterion is described. Finally, a series of simulation studies are conducted, and the experimental results show a substantial performance improvement.