Abstract
Flexible transactions have been proposed as a means to specify the flexible control flow necessitated by advanced database applications. This paper presents a formal flexible transaction scheme which precisely models flexible control flow in distributed transactions. The criteria required to ensure the consistency and reliability of flexible transactions are also precisely defined.
| Original language | English |
|---|---|
| Publication status | Published - 1993 |
| Externally published | Yes |