Abstract
Autonomous multidatabases, Computer Aided Design (CAD) databases, and Object Oriented Databases have requirements which traditional transactions cannot meet. Users of these advanced applications are more sophisticated than users envisioned for On Line Transaction Processing (OLTP) applications a few decades ago. The need to relax the properties of complex database transactions is urgent. Frameworks for flexible transaction systems are needed. This paper is a step towards this objective. This paper addresses the formalization of a new transaction model called Flex transactions, along with execution control and analysis protocols. The algorithm is formalized through the use of Predicate Transition Nets (PTN) and reachability trees.
Original language | English |
---|---|
Pages (from-to) | 171-183 |
Number of pages | 13 |
Journal | Information Systems |
Volume | 17 |
Issue number | 2 |
DOIs | |
Publication status | Published - Mar 1992 |
Externally published | Yes |
Keywords
- Multidatabases
- distributed databases
- flexible transaction management
- heterogeneous databases
- transaction models