Concurrency control and recovery in database systems
Concurrency control and recovery in database systems
ACM Transactions on Database Systems (TODS)
Database system issues in nomadic computing
SIGMOD '93 Proceedings of the 1993 ACM SIGMOD international conference on Management of data
Model and verification of a data manager based on ARIES
ACM Transactions on Database Systems (TODS)
Logical logging to extend recovery to new domains
SIGMOD '99 Proceedings of the 1999 ACM SIGMOD international conference on Management of data
Phoenix: making applications robust
SIGMOD '99 Proceedings of the 1999 ACM SIGMOD international conference on Management of data
Specification and implementation of exceptions in workflow management systems
ACM Transactions on Database Systems (TODS)
Transaction Processing: Concepts and Techniques
Transaction Processing: Concepts and Techniques
Mobile Computing and Databases-A Survey
IEEE Transactions on Knowledge and Data Engineering
Implementing Atomicity in Two Systems: Techniques, Tradeoffs, and Experience
IEEE Transactions on Software Engineering
Failure Handling and Coordinated Execution of Concurrent Workflows
ICDE '98 Proceedings of the Fourteenth International Conference on Data Engineering
On the Correctness of a Transaction Model for Mobile Computing
DEXA '98 Proceedings of the 9th International Conference on Database and Expert Systems Applications
Achieving Consistency in Mobile Databases through Localization in PRO-MOTION
DEXA '99 Proceedings of the 10th International Workshop on Database & Expert Systems Applications
Message Logging in Mobile Computing
FTCS '99 Proceedings of the Twenty-Ninth Annual International Symposium on Fault-Tolerant Computing
Supporting semantics-based transaction processing in mobile database applications
SRDS '95 Proceedings of the 14TH Symposium on Reliable Distributed Systems
A Transaction Model for Mobile Computing
IDEAS '98 Proceedings of the 1998 International Symposium on Database Engineering & Applications
Guaranteeing Recoverability in Electronic Commerce
WECWIS '01 Proceedings of the Third International Workshop on Advanced Issues of E-Commerce and Web-Based Information Systems (WECWIS '01)
Recoverable Mobile Environments: Design and Trade-off Analysis
Recoverable Mobile Environments: Design and Trade-off Analysis
Collaborative backup for dependable mobile applications
MPAC '04 Proceedings of the 2nd workshop on Middleware for pervasive and ad-hoc computing
Recovery of mobile internet transactions: algorithm, implementation and analysis
Proceedings of the 4th ACM international workshop on Data engineering for wireless and mobile access
Performance evaluation of protocols for group-oriented mobile services
Mobile Networks and Applications
International Journal of Network Management
A middleware framework for managing transactions in group-oriented mobile commerce services
Decision Support Systems
Supporting wireless web page access in mobile environments using mobile agents
ISPA'05 Proceedings of the Third international conference on Parallel and Distributed Processing and Applications
HPCC'05 Proceedings of the First international conference on High Performance Computing and Communications
Hi-index | 14.98 |
Mobile systems increasingly are being used for production-grade data-centered applications which require system support for transactional properties. For mobile applications, transactions can hide, to some extent, the infrastructure intrinsic to mobile systems, such as disconnection from the network, dozing, and storage limitations. In this paper, we introduce a framework to understand, specify, and reason about recovery support for transactional functionality, based on the notion of guarantees (promises one subsystem makes to another) and protocols (prescriptions for correct behavior). We apply our framework to a simple mobile system scenario, yielding an abstract specification that exposes the role of each component in achieving specific transactional semantics support, such as the redo-ability of committed updates that might be lost due to a failure; it also reveals unstated assumptions necessary for the correctness of recovery support. We also show how to reason about alternative ways of obtaining the desired transactional support and the requirements on the components to support recovery and transactions.