I-serializability: Generalized correctness for transaction-based environments

✍ Scribed by Jürgen Ebert; Gottfried Vossen

• Book ID: 104137459
• Publisher: Elsevier Science
• Year: 1997
• Tongue: English
• Weight: 707 KB
• Volume: 63
• Category: Article
• ISSN: 0020-0190
• DOI: 10.1016/s0020-0190(97)00124-5

✦ Synopsis

Motivated by shortcomings of classical serializability as a correct criterion in recent transaction-based environments (such as multidatabases or management of transactional workflows), we introduce and study a new notion of serializability which takes explicitly given invarianta into account. Invariants are used to express constraints which have to be preserved by database transactions. However, a distinction is made between IucaZ invariants respected by individual transactions, and global ones maintained by entire schedules. The ideal situation is that a serializable schedule, which preserves local constraints via its equivalence to a serial schedule, also respects the global constraints. For some sample scenarios, we exhibit sufficient conditions under which this is the case. @ 1997 Elsevier Science B.V.