Transaction Processing in Mobile Environments